Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics

DOI10.1007/S10472-005-1808-3zbMath1099.68107OpenAlexW2136737640MaRDI QIDQ1776197

Robert Saxon Milnikel

Publication date: 20 May 2005

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-005-1808-3

zbMATH Keywords

autoepistemic logicsequent calculusdefault logicstable models

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (1)

On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP

Cites Work

• Decidability and definability with circumscription
• Reasoning with infinite stable models
• Semantical considerations on nonmonotonic logic
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Non-monotonic logic. I
• A theory of nonmonotonic rule systems I
• The complexity of predicate default logic over a countable domain
• Explicit Provability and Constructive Semantics
• The Stable Models of a Predicate Logic Program
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics