XRay: A prolog technology theorem prover for default reasoning: A system description

DOI10.1007/3-540-61511-3_93zbMath1412.68258OpenAlexW1601714479MaRDI QIDQ4647525

Pascal Nicolas, Torsten Schaub, Stefan Brüning

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 in artificial intelligence (68T27) Logic programming (68N17)

Related Items (1)

Prolog technology for default reasoning: proof theory and compilation techniques

Uses Software

• SETHEO
• GraphBase
• xray

Cites Work

• Compiling a default reasoning system into Prolog
• A logic for default reasoning
• A Prolog technology theorem prover: A new exposition and implementation in Prolog
• Alternative approaches to default logic
• Computing with default logic
• Default reasoning by deductive planning
• A new methodology for query answering in default logics via structure-oriented theorem proving
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: XRay: A prolog technology theorem prover for default reasoning: A system description