Controlling recursive inference
- 1 December 1986
- journal article
- research article
- Published by Elsevier in Artificial Intelligence
- Vol. 30 (3) , 343-389
- https://doi.org/10.1016/0004-3702(86)90003-2
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- The use of design descriptions in automated diagnosisArtificial Intelligence, 1984
- On compiling queries in recursive first-order databasesJournal of the ACM, 1984
- On recursive axioms in deductive databasesInformation Systems, 1983
- The epistemology of a rule-based expert system —a framework for explanationArtificial Intelligence, 1983
- Deleting Repeated Goals in the Problem Reduction FormatJournal of the ACM, 1981
- Meta-rules: Reasoning about controlArtificial Intelligence, 1980
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967