A propositional tableaux based proof calculus for reasoning with default rules

DOI10.1007/978-3-319-24312-2_2MaRDI QIDQ3455758zbMATH OpenOpenAlexFDO

Authors Valentin Cassano, Carlos Pombo, Tim 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

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

Recommendations

• A proof theoretical approach to default reasoning I: tableaux for default logic
• Tableau-based characterization and theorem proving for default logic
• DARR- a theorem prover for constrained and rational default logics
• A tableaux calculus for default intuitionistic logic
• A tableaux-based theorem prover for a decidable subset of default logic

Cites work

• A logic for default reasoning
• A proof theoretical approach to default reasoning I: tableaux for default logic
• Analytic tableaux for default logics
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)

Cited in

(6)

• Tableau-based characterization and theorem proving for default logic
• A tableaux calculus for default intuitionistic logic
• Rule Calculus: Semantics, Axioms and Applications
• A framework for using knowledge in tableau proofs
• A proof theoretical approach to default reasoning I: tableaux for default logic
• A tableaux-based theorem prover for a decidable subset of default logic

This page was built for publication: A propositional tableaux based proof calculus for reasoning with default rules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3455758)