Well-Founded and Partial Stable Semantics Logical Aspects

DOI10.1007/978-3-642-03351-3_1zbMath1248.68128OpenAlexW158764709MaRDI QIDQ3392936

No author found.

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

well-founded semanticsequilibrium logicpartial stable modelspartial equilibrium logic

Mathematics Subject Classification ID

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

Related Items (1)

The Došen square under construction: a tale of four modalities

Cites Work

• Unnamed Item
• Unnamed Item
• Equilibrium logic
• Characterizations of the disjunctive well-founded semantics: Confluent calculi and iterated GCWA
• Static semantics for normal and disjunctive logic programs
• Well-founded and stationary models of logic programs
• Partial equilibrium logic
• The Semantics of Predicate Logic as a Programming Language
• The well-founded semantics for general logic programs
• Autoepistemic logics as a unifying framework for the semantics of logic programs
• Characterizations of the disjunctive stable semantics by partial evaluation
• The Semantics of First Degree Entailment
• Semantical characterizations and complexity of equivalences in answer set programming
• Logics in Artificial Intelligence
• Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic
• Strongly equivalent logic programs

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