Twelve Definitions of a Stable Model

DOI10.1007/978-3-540-89982-2_8zbMath1185.68166OpenAlexW1494751716MaRDI QIDQ5504644

Vladimir Lifschitz

Publication date: 22 January 2009

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-89982-2_8

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (14)

Well-Supported Semantics for Logic Programs with Generalized Rules ⋮ Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty ⋮ RASP and ASP as a fragment of linear logic ⋮ Grounded fixpoints and their applications in knowledge representation ⋮ Unnamed Item ⋮ Stable models and circumscription ⋮ Thirteen Definitions of a Stable Model ⋮ Determining inference semantics for disjunctive logic programs ⋮ The Seventh Answer Set Programming Competition: Design and Results ⋮ Abstraction for non-ground answer set programs ⋮ Answer Set Programming: A Primer ⋮ Extensional Semantics for Higher-Order Logic Programs with Negation ⋮ Combining Nonmonotonic Knowledge Bases with External Sources ⋮ Quo Vadis Answer Set Programming?

Uses Software

• ASSAT
• Smodels

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• From answer set logic programming to circumscription via logic of GK
• ASSAT: computing answer sets of a logic program by SAT solvers
• Semantical considerations on nonmonotonic logic
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Non-monotonic logic. I
• Nested expressions in logic programs
• Nonmonotonic Logic II
• Tight, consistent, and computable completions for unrestricted logic programs
• The Semantics of Predicate Logic as a Programming Language
• The well-founded semantics for general logic programs
• Rules as actions: A situation calculus semantics for logic programs
• Weight constraints as nested expressions
• Logics in Artificial Intelligence
• Logic Programming and Nonmonotonic Reasoning
• Strongly equivalent logic programs

This page was built for publication: Twelve Definitions of a Stable Model