Alternative foundations for Reiter's default logic

DOI10.1016/S0004-3702(00)00060-6zbMath0952.68135MaRDI QIDQ1589575

T. Linke, Torsten Schaub

Publication date: 12 December 2000

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

zbMATH Keywords

consistencyautomated reasoningknowledge representationdefault logicnonmonotonic reasoningblock graphargumentation

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (4)

Alternative approaches to default logic ⋮ A new default theories compilation for MSP-entailment ⋮ Seminormalizing a default theory ⋮ Alternative foundations for Reiter's default logic

Uses Software

• Datalog

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Graph theoretical structures in logic programs and default theories
• Formalizing nonmonotonic reasoning systems
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Cumulative default logic: In defense of nonmonotonic inference rules
• A graph-theoretic approach to default logic
• Default theories that always have extensions
• Alternative approaches to default logic
• Tableau-based characterization and theorem proving for default logic
• Is intractability of nonmonotonic reasoning a real drawback?
• An abstract, argumentation-theoretic approach to default reasoning
• Compiling specificity into approaches to nonmonotonic reasoning
• Alternative foundations for Reiter's default logic
• A new methodology for query answering in default logics via structure-oriented theorem proving
• Solutions of irreflexive relations
• The Pure Logic of Necessitation
• Complexity Results for Nonmonotonic Logics
• A sequent calculus for skeptical Default Logic
• Sequent calculi for default and autoepistemic logics
• Computing argumentation in logic programming
• Analytic tableaux for default logics
• Reasoning with stratified default theories
• A query answering algorithm for Lukaszewicz' general open default theory
• A Computing Procedure for Quantification Theory

This page was built for publication: Alternative foundations for Reiter's default logic