A tableaux-based theorem prover for a decidable subset of default logic
From MaRDI portal
Recommendations
- Tableau-based characterization and theorem proving for default logic
- Analytic Tableaux for KLM Preferential and Cumulative Logics
- Analytic tableaux for default logics
- A proof theoretical approach to default reasoning I: tableaux for default logic
- A propositional tableaux based proof calculus for reasoning with default rules
Cites work
- A logic for default reasoning
- scientific article; zbMATH DE number 4049142 (Why is no real title available?)
- scientific article; zbMATH DE number 4089520 (Why is no real title available?)
- scientific article; zbMATH DE number 3274715 (Why is no real title available?)
- Saturation, nonmonotonic reasoning and the closed-world assumption
Cited in
(12)- Prolog technology for default reasoning: proof theory and compilation techniques
- On the relative merits of path dissolution and the method of analytic tableaux
- Cumulative default logic: Finite characterization, algorithms, and complexity
- Tableau-based characterization and theorem proving for default logic
- Alternative foundations for Reiter's default logic
- A propositional tableaux based proof calculus for reasoning with default rules
- scientific article; zbMATH DE number 1507186 (Why is no real title available?)
- Skeptical query-answering in Constrained Default Logic
- Analytic tableaux for default logics
- A uniform tableaux method for nonmonotonic modal logics
- DARR- a theorem prover for constrained and rational default logics
- A proof method for closed normal default theories
This page was built for publication: A tableaux-based theorem prover for a decidable subset of default logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6488558)
