A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules

DOI10.1007/978-3-319-24312-2_2zbMath1471.03015OpenAlexW2235995182MaRDI QIDQ3455758

Carlos G. López Pombo, Valentin Cassano, Thomas S. E. Maibaum

Publication date: 11 December 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-24312-2_2

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

A tableaux calculus for default intuitionistic logic

Cites Work

• Unnamed Item
• A logic for default reasoning
• Analytic tableaux for default logics
• A proof theoretical approach to default reasoning I: tableaux for default logic

This page was built for publication: A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules