A proof theoretical approach to default reasoning I: tableaux for default logic

DOI10.1093/logcom/6.2.205zbMath0859.03027OpenAlexW2016171120MaRDI QIDQ4880541

Luigia Carlucci Aiello, Giambattista Amati, Fiora Pirri, Dov M. Gabbay

Publication date: 7 April 1997

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/1bfa635615dfbdc9afbf44abae6353c3b846ae22

zbMATH Keywords

default logicdefault reasoningsemantic tableauxabsence of contrary information

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (11)

A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules ⋮ Defaults as restrictions on classical Hilbert-style proofs ⋮ Abduction as deductive saturation: a proof-theoretic inquiry ⋮ A sequent calculus for skeptical Default Logic ⋮ Proof complexity of propositional default logic ⋮ Sequent calculi for default and autoepistemic logics ⋮ Proof Complexity of Non-classical Logics ⋮ A tableaux calculus for default intuitionistic logic ⋮ Prolog technology for default reasoning: proof theory and compilation techniques ⋮ Seminormalizing a default theory ⋮ A uniform tableaux method for nonmonotonic modal logics

This page was built for publication: A proof theoretical approach to default reasoning I: tableaux for default logic