Analytic tableaux for default logics

DOI10.1080/11663081.1996.10510867zbMath0838.03023OpenAlexW2005225332MaRDI QIDQ4868235

Vincent Risch

Publication date: 27 May 1996

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.1996.10510867

zbMATH Keywords

extensionstableaudefault logics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Related Items (5)

A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules ⋮ Abduction as deductive saturation: a proof-theoretic inquiry ⋮ Prolog technology for default reasoning: proof theory and compilation techniques ⋮ A query answering algorithm for Lukaszewicz' general open default theory ⋮ Alternative foundations for Reiter's default logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic for default reasoning
• Cumulative default logic: In defense of nonmonotonic inference rules
• Tableau-based characterization and theorem proving for default logic
• Complexity Results for Nonmonotonic Logics
• A Machine-Oriented Logic Based on the Resolution Principle

This page was built for publication: Analytic tableaux for default logics