Logic Programming as an Inference Engine for Non-Monotonic Reasoning

摘要

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.