Well-Founded and Partial Stable Semantics Logical Aspects

DOI10.1007/978-3-642-03351-3_1MaRDI QIDQ3392936zbMATH OpenOpenAlexFDO

Authors

Publication date 18 August 2009

Published in Computer Science - Theory and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-03351-3_1

zbMATH Keywords

equilibrium logicpartial equilibrium logicpartial stable modelswell-founded semantics

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 6290314
• Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic
• The well-founded semantics for general logic programs
• On the Logic and Computation of Partial Equilibrium Models
• On the relations between stable and well-founded semantics of logic programs

Cites work

• Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic
• Autoepistemic logics as a unifying framework for the semantics of logic programs
• Characterizations of the disjunctive stable semantics by partial evaluation
• Characterizations of the disjunctive well-founded semantics: Confluent calculi and iterated GCWA
• Equilibrium logic
• scientific article; zbMATH DE number 4016857 (Why is no real title available?)
• scientific article; zbMATH DE number 25192 (Why is no real title available?)
• Logics in Artificial Intelligence
• Partial equilibrium logic
• Semantical characterizations and complexity of equivalences in answer set programming
• Static semantics for normal and disjunctive logic programs
• Strongly equivalent logic programs
• The Semantics of First Degree Entailment
• The Semantics of Predicate Logic as a Programming Language
• The well-founded semantics for general logic programs
• Well-founded and stationary models of logic programs

Cited in

(7)

• The Došen square under construction: a tale of four modalities
• Equivalence of well-founded and stable semantics
• Characterizations of the stable semantics by partial evaluation
• Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic
• scientific article; zbMATH DE number 970713 (Why is no real title available?)
• A tutorial on the well-founded semantics
• Combining intuitionistic connectives and Routley negation

This page was built for publication: Well-Founded and Partial Stable Semantics Logical Aspects

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3392936)