Prolog technology for default reasoning: proof theory and compilation techniques

DOI10.1016/S0004-3702(98)00092-7zbMath0909.68161OpenAlexW4248795502MaRDI QIDQ1275596

Torsten Schaub, Stefan Brüning

Publication date: 12 January 1999

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0004-3702(98)00092-7

zbMATH Keywords

automated reasoningdefault logicdefault reasoningmodel eliminationmodel-based consistency checkingPTTP

Mathematics Subject Classification ID

Related Items

Investigating the Mapping between Default Logic and Inconsistency-Tolerant Semantics

Uses Software

• SETHEO
• GraphBase
• SCOTT
• Datalog
• PROTEIN
• KoMeT

Cites Work

• 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
• 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

This page was built for publication: Prolog technology for default reasoning: proof theory and compilation techniques