XRay is a theorem prover for default logics. Its deductive power is primarily due to our approach of integrating default reasoning into existing model elimination based provers using the well-known PTTP approach. We conceived and integrated a number of enhancements, such as lemma handling, regularity-based truncations of underlying search spaces and a model-based approach to consistency checking.
CITATION STYLE
Schaub, T., Brüning, S., & Nicolas, P. (1996). XRay: A prolog technology theorem prover for default reasoning: A system description. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1104, pp. 293–297). Springer Verlag. https://doi.org/10.1007/3-540-61511-3_93
Mendeley helps you to discover research relevant for your work.