Prolog technology for default reasoning: proof theory and compilation techniques
From MaRDI portal
(Redirected from Publication:1275596)
automated reasoningdefault reasoningdefault logicmodel eliminationmodel-based consistency checkingPTTP
Recommendations
Cites work
- scientific article; zbMATH DE number 437527 (Why is no real title available?)
- scientific article; zbMATH DE number 4164169 (Why is no real title available?)
- scientific article; zbMATH DE number 4166904 (Why is no real title available?)
- scientific article; zbMATH DE number 4075021 (Why is no real title available?)
- scientific article; zbMATH DE number 3731310 (Why is no real title available?)
- scientific article; zbMATH DE number 48763 (Why is no real title available?)
- scientific article; zbMATH DE number 140388 (Why is no real title available?)
- scientific article; zbMATH DE number 3467028 (Why is no real title available?)
- scientific article; zbMATH DE number 3559512 (Why is no real title available?)
- scientific article; zbMATH DE number 3568056 (Why is no real title available?)
- scientific article; zbMATH DE number 408775 (Why is no real title available?)
- scientific article; zbMATH DE number 408781 (Why is no real title available?)
- scientific article; zbMATH DE number 1269576 (Why is no real title available?)
- scientific article; zbMATH DE number 478394 (Why is no real title available?)
- scientific article; zbMATH DE number 592370 (Why is no real title available?)
- scientific article; zbMATH DE number 2079046 (Why is no real title available?)
- scientific article; zbMATH DE number 194631 (Why is no real title available?)
- scientific article; zbMATH DE number 194809 (Why is no real title available?)
- scientific article; zbMATH DE number 770147 (Why is no real title available?)
- scientific article; zbMATH DE number 3415409 (Why is no real title available?)
- A Computing Procedure for Quantification Theory
- A Prolog technology theorem prover: A new exposition and implementation in Prolog
- A circumscriptive theorem prover
- A decision method for nonmonotonic reasoning based on autoepistemic reasoning
- A logic for default reasoning
- A logical framework for default reasoning
- A new methodology for query answering in default logics via structure-oriented theorem proving
- A proof theoretical approach to default reasoning I: tableaux for default logic
- A sequent calculus for skeptical Default Logic
- A tableaux-based theorem prover for a decidable subset of default logic
- Alternative approaches to default logic
- An algorithm to compute circumscription
- Analytic tableaux for default logics
- Basis property in \(L_{p}(0, 1)\) of the system of eigenfunctions corresponding to a problem with a spectral parameter in the boundary condition
- Compiling a default reasoning system into Prolog
- Complexity Results for Nonmonotonic Logics
- Controlled integration of the cut rule into connection tableau calculi
- Cumulative default logic: In defense of nonmonotonic inference rules
- Default reasoning by deductive planning
- Mechanical Theorem-Proving by Model Elimination
- Model elimination without contrapositives
- On cumulative default logics
- Refutation graphs
- SETHEO: A high-performance theorem prover
- Sequent calculi for default and autoepistemic logics
- Tableau-based characterization and theorem proving for default logic
- Towards a classification of defaults logics
- \(\mathsf{XRay}\): a Prolog technology theorem prover for default reasoning: a system description
- \textsf{Ko\(_{\mathsf{M}}\)eT}
Cited in
(4)- A Prolog technology theorem prover: Implementation by an extended Prolog compiler
- Compiling a default reasoning system into Prolog
- Investigating the mapping between default logic and inconsistency-tolerant semantics
- \(\mathsf{XRay}\): a Prolog technology theorem prover for default reasoning: a system description
This page was built for publication: Prolog technology for default reasoning: proof theory and compilation techniques
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1275596)
