Thirteen Definitions of a Stable Model
From MaRDI portal
Publication:3586017
Recommendations
- Twelve Definitions of a Stable Model
- scientific article; zbMATH DE number 800808
- Stable models and circumscription
- The family of stable models
- Sixty Years of Stable Models
- A stability theory for model systems
- A description of autostable models
- scientific article; zbMATH DE number 1877044
- On stability in finite models
- Publication:4507831
Cites work
- scientific article; zbMATH DE number 4199654 (Why is no real title available?)
- scientific article; zbMATH DE number 25193 (Why is no real title available?)
- scientific article; zbMATH DE number 4128783 (Why is no real title available?)
- scientific article; zbMATH DE number 1368933 (Why is no real title available?)
- scientific article; zbMATH DE number 2085248 (Why is no real title available?)
- scientific article; zbMATH DE number 1820675 (Why is no real title available?)
- scientific article; zbMATH DE number 3359806 (Why is no real title available?)
- scientific article; zbMATH DE number 4185010 (Why is no real title available?)
- A logic for default reasoning
- A rational reconstruction of nonmonotonic truth maintenance systems
- ASSAT: computing answer sets of a logic program by SAT solvers
- Circumscription - a form of non-monotonic reasoning
- Diagnostic reasoning with A-Prolog
- Extending the Smodels system with cardinality and weight constraints
- From answer set logic programming to circumscription via logic of GK
- Logic Programming and Nonmonotonic Reasoning
- Logic programs with stable model semantics as a constraint programming paradigm
- Logics in Artificial Intelligence
- Nested expressions in logic programs
- Non-monotonic logic. I
- Nonmonotonic Logic II
- Rules as actions: A situation calculus semantics for logic programs
- Semantical considerations on nonmonotonic logic
- Stable models and difference logic
- Strongly equivalent logic programs
- The Semantics of Predicate Logic as a Programming Language
- The well-founded semantics for general logic programs
- Tight, consistent, and computable completions for unrestricted logic programs
- Twelve Definitions of a Stable Model
- Weight constraints as nested expressions
Cited in
(24)- Capturing equilibrium models in modal logic
- scientific article; zbMATH DE number 7453100 (Why is no real title available?)
- The Modal Logic of Equilibrium Models
- Evaluating epistemic negation in answer set programming
- Stable models and circumscription
- Epistemic logic programs: a study of some properties
- On the minimality of stable models
- A simple fixed point characterization of three-valued stable model semantics
- A multiparametric view on answer set programming
- Stable models and difference logic
- Characterizing and extending answer set semantics using possibility theory
- Temporal equilibrium logic: a survey
- Iteratively-supported formulas and strongly supported models for Kleene answer set programs (extended abstract)
- First-order stable model semantics with intensional functions
- scientific article; zbMATH DE number 1890625 (Why is no real title available?)
- Signed dual tableaux for Kleene answer set programs
- scientific article; zbMATH DE number 1877044 (Why is no real title available?)
- FLP answer set semantics without circular justifications for general logic programs
- Answering the ``why in answer set programming -- a survey of explanation approaches
- Stability, supportedness, minimality and Kleene answer set programs
- The family of stable models
- Semantics for conditional literals via the SM operator
- Twelve Definitions of a Stable Model
- Epistemic logic programs: a study of some properties
This page was built for publication: Thirteen Definitions of a Stable Model
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3586017)
