XRay: a Prolog technology theorem prover for default reasoning: a system description

DOI10.1007/3-540-61511-3_93MaRDI QIDQ4647525zbMATH OpenOpenAlexFDO

Authors Torsten Schaub, Stefan Brüning, Pascal Nicolas

Publication date 15 January 2019

Published in Automated Deduction — Cade-13 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61511-3_93

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• DARR- a theorem prover for constrained and rational default logics
• Prolog technology for default reasoning: proof theory and compilation techniques
• A circumscriptive theorem prover
• Tableau-based characterization and theorem proving for default logic
• scientific article; zbMATH DE number 140378

Cites work

• A logic for default reasoning
• A new methodology for query answering in default logics via structure-oriented theorem proving
• A Prolog technology theorem prover: A new exposition and implementation in Prolog
• Alternative approaches to default logic
• Compiling a default reasoning system into Prolog
• Computing with default logic
• Default reasoning by deductive planning
• scientific article; zbMATH DE number 437527 (Why is no real title available?)
• scientific article; zbMATH DE number 3568056 (Why is no real title available?)
• scientific article; zbMATH DE number 194631 (Why is no real title available?)

Cited in

(1)

• Prolog technology for default reasoning: proof theory and compilation techniques

Describes a project that uses

Uses Software

• SETHEO
• xray
• GraphBase

This page was built for publication: \(\mathsf{XRay}\): a Prolog technology theorem prover for default reasoning: a system description

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