Logic Programming as an Inference Engine for Non-Monotonic Reasoning
Final rept. 15 Sep 89-14 Sep 91,
TEXAS UNIV AT EL PASO DEPT OF MATHEMATICAL SCIENCES
Pagination or Media Count:
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.
- Computer Programming and Software