Logic Programming as an Inference Engine for Non-Monotonic Reasoning

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 11, 1991
Accession Number
ADA244418

Entities

People

  • Teodor C. Przymusinski

Organizations

  • University of Texas at El Paso

Tags

Communities of Interest

  • Human Systems
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Applied Computer Science
  • Artificial Intelligence
  • Computer Programming
  • Computer Science
  • Cooperation
  • Databases
  • Inference Engines
  • Intelligent Systems
  • Psychological Phenomena And Processes
  • Reasoning
  • Scientists
  • Semantics
  • Standards
  • Stationary
  • Students
  • Universities

Readers

  • Artificial Intelligence
  • Technical Research and Report Writing.

Technology Areas

  • AI & ML