Stable classes and operator pairs for disjunctive programs

DOI10.1007/3-540-59487-6_26zbMath1496.68087OpenAlexW1599565878MaRDI QIDQ5101462

Jürgen Kalinski

Publication date: 30 August 2022

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-59487-6_26

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantical considerations on nonmonotonic logic
• Inferring negative information from disjunctive databases
• Stable and extension class theory for logic programs and default logics
• Dualities between alternative semantics for logic programming and nonmonotonic reasoning
• A fixpoint semantics for disjunctive logic programs
• The Semantics of Predicate Logic as a Programming Language
• The family of stable models
• Autoepistemic logic
• The well-founded semantics for general logic programs

This page was built for publication: Stable classes and operator pairs for disjunctive programs