Accession Number:

ADA244418

Title:

Logic Programming as an Inference Engine for Non-Monotonic Reasoning

Descriptive Note:

Final rept. 15 Sep 89-14 Sep 91,

Corporate Author:

TEXAS UNIV AT EL PASO DEPT OF MATHEMATICAL SCIENCES

Personal Author(s):

Report Date:

1991-11-11

Pagination or Media Count:

12.0

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE