Skip to search formSkip to main contentSkip to account menu

Stable model semantics

Known as: Answer set, Answer set semantics, Stable model 
The concept of a stable model, or answer set, is used to define a declarative semantics for logic programs with negation as failure. This is one of… 
Wikipedia (opens in a new tab)

Related topics

Related topics

23 relations
Answer set programmingAutoepistemic logicClosed-world assumptionDLV

Broader (1)

Logic programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Inspecting and Preferring Abductive Models
This book consists of various contributions in conjunction with the keywords "reasoning" and "intelligent systems", which widely… 
2008
2008
On the Reliability of Clustering Stability in the Large Sample Regime
where θ, θ′ ∈ Θ are the solutions returned by Ak(S1), Ak(S2), and S1, S2 are random samples, each of size m, drawn i.i.d from the… 
2004
2004
Enhancing answer set programming with templates
The work aims at extending Answer Set Programming (ASP) with the possibility of quickly introducing new predefined constructs and… 
2003
2003
Robustly stable feedback min-max model predictive control
This paper is concerned with the practical real-time implementability of robustly stable model predictive control (MPC) when… 
2001
2001
Ultrasound image denoising via maximum a posteriori estimation of wavelet coefficients
Speckle noise removal by means of digital image processors could improve the diagnostic potential of medical ultrasound. This… 
Highly Cited
1999
Highly Cited
1999
Stability of adaptive and non-adaptive packet routing policies in adversarial queueing networks
We investigate the stability of packet routing policies in adversarial queueing networks. We provide a simple classification of… 
1994
1994
Constraint Solving by Narrowing in Combined Algebraic Domains
Narrowing is a way to integrate function evaluation and equality deenition into logic programming. Here we show how this can be… 
Highly Cited
1993
Highly Cited
1993
Robustness and Perturbation Analysis of a Class of Nonlinear Systems with Applications to Neural Networks
We study robustness properties of a large class of nonlinear systems, by addressing the following question: given a nonlinear… 
Highly Cited
1989
Highly Cited
1989
Time-varying feedback for the stabilization of fixed modes in decentralized control systems
  • J. Willems
  • at - Automatisierungstechnik
  • 1989
  • Corpus ID: 34163173
1976
1976
Crossed beam studies of endoergic bimolecular reactions: production of stable trihalogen radicals. [Reactions of F with I, ICl, and HI]
The trihalogens IIF and ClIF and the pseudo-trihalogen HIF have been directly observed as the products of the endoergic… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)