Prolog technology for default reasoning: proof theory and compilation techniques
From MaRDI portal
Publication:1275596
DOI10.1016/S0004-3702(98)00092-7zbMath0909.68161MaRDI QIDQ1275596
Torsten Schaub, Stefan Brüning
Publication date: 12 January 1999
Published in: Artificial Intelligence (Search for Journal in Brave)
automated reasoning; default logic; default reasoning; model elimination; model-based consistency checking; PTTP
Uses Software
Cites Work
- Compiling a default reasoning system into Prolog
- A logical framework for default reasoning
- An algorithm to compute circumscription
- A circumscriptive theorem prover
- A logic for default reasoning
- Cumulative default logic: In defense of nonmonotonic inference rules
- SETHEO: A high-performance theorem prover
- A Prolog technology theorem prover: A new exposition and implementation in Prolog
- Refutation graphs
- On cumulative default logics
- Alternative approaches to default logic
- Controlled integration of the cut rule into connection tableau calculi
- Tableau-based characterization and theorem proving for default logic
- A decision method for nonmonotonic reasoning based on autoepistemic reasoning
- Default reasoning by deductive planning
- A new methodology for query answering in default logics via structure-oriented theorem proving
- Basis property in \(L_{p}(0, 1)\) of the system of eigenfunctions corresponding to a problem with a spectral parameter in the boundary condition
- Complexity Results for Nonmonotonic Logics
- Towards a classification of defaults logics
- A sequent calculus for skeptical Default Logic
- Sequent calculi for default and autoepistemic logics
- XRay: A prolog technology theorem prover for default reasoning: A system description
- Analytic tableaux for default logics
- A proof theoretical approach to default reasoning I: tableaux for default logic
- Model elimination without contrapositives
- KoMeT
- Mechanical Theorem-Proving by Model Elimination
- A Computing Procedure for Quantification Theory
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item