Logic Programming as an Inference Engine for Non-Monotonic Reasoning
- 11 November 1991
- report
- Published by Defense Technical Information Center (DTIC)
Abstract
Ten papers were published and two additional papers were accepted for publication. Moreover, four (4) papers are currently under preparation, including joint papers with W. Drabent, H. Przymusinska, L. Pereira and D.S. Warren. Significant progress has been made towards both theoretical and algorithmic foundations of a non-monotonic reasoning system based on logic programming. An implementation of such a system, limited to circumscriptive theories, has been also completed.Keywords
This publication has 0 references indexed in Scilit: