On the Relationship Between Logic Programming and Nonmonotonic Reasoning.
Teodor C. PrzymusinskiPublished in: AAAI (1988)
Keyphrases
- nonmonotonic reasoning
- logic programming
- logic programs
- default reasoning
- default logic
- deductive databases
- conditional logic
- possibility theory
- knowledge base
- extended logic programs
- nonmonotonic logics
- answer sets
- knowledge representation and reasoning
- defeasible reasoning
- stable models
- programming language
- answer set programming
- knowledge representation
- defeasible logic
- abductive reasoning
- truth maintenance systems
- reasoning tasks
- autoepistemic logic
- database
- classical logic
- database systems
- constraint logic programming
- natural language
- normal logic programs
- default theories
- expert systems
- fixpoint