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.
2012
2012
On the existence of dyons and dyonic black holes in Einstein–Yang–Mills theory
We study dyonic soliton and black hole solutions of the Einstein–Yang–Mills equations in asymptotically anti-de Sitter space. We… 
2009
2009
Answer Set vs Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems From Real-Time Parallel Programs
An automated design approach for multiprocessor systems on FPGAs is presented which customizes architectures for parallel… 
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… 
2007
2007
Robust stability analysis of competitive neural networks with different time-scales under perturbations
2006
2006
Towards a Unified Theory of Policy-Based Routing
We use the term policy-based routing to refer collec- tively to the Stable Paths Problem, Sobrinho's Routing Algebras, and to… 
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… 
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)