Rule Calculus: Semantics, Axioms and Applications

DOI10.1007/978-3-540-87803-2_34zbMath1178.68573OpenAlexW1761396053MaRDI QIDQ3532483

No author found.

Publication date: 27 October 2008

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Conditional entailment: bridging two approaches to default reasoning.
• A logic for default reasoning
• Yet some more complexity results for default logic
• Inductive Logic Programming: Issues, results and the challenge of Learning Language in Logic
• Complexity Results for Nonmonotonic Logics
• Characterization of strongly equivalent logic programs in intermediate logics
• A sequent calculus for skeptical Default Logic
• Logic Programming and Nonmonotonic Reasoning
• General Default Logic
• Propositional theories are strongly equivalent to logic programs
• Logic Programming and Nonmonotonic Reasoning
• Strongly equivalent logic programs