Compiling a default reasoning system into Prolog
- 1 April 1991
- journal article
- Published by Springer Nature in New Generation Computing
- Vol. 9 (1) , 3-38
- https://doi.org/10.1007/bf03037149
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Eliminating the fixed predicates from a circumscriptionArtificial Intelligence, 1989
- A circumscriptive theorem proverArtificial Intelligence, 1989
- Foundations of Logic ProgrammingPublished by Springer Nature ,1987
- APPLYING THEORY FORMATION TO THE PLANNING PROBLEMPublished by Elsevier ,1987
- Theorist: A Logical Reasoning System for Defaults and DiagnosisPublished by Springer Nature ,1987
- An assumption-based TMSArtificial Intelligence, 1986
- Applications of circumscription to formalizing common-sense knowledgeArtificial Intelligence, 1986
- Negation and quantifiers in NU-PrologPublished by Springer Nature ,1986
- A truth maintenance systemArtificial Intelligence, 1979
- The semantics of induction and the possibility of complete systems of inductive inferenceArtificial Intelligence, 1970