Nonmonotonic Reasoning and Logic Programs.
Heinrich HerrePublished in: Nonmonotonic and Inductive Logic (1990)
Keyphrases
- nonmonotonic reasoning
- logic programs
- logic programming
- default reasoning
- answer set programming
- answer sets
- default logic
- stable models
- extended logic programs
- fixpoint
- defeasible reasoning
- conditional logic
- abductive reasoning
- computational properties
- deductive databases
- autoepistemic logic
- answer set semantics
- normal logic programs
- horn clauses
- reasoning tasks
- constraint logic programming
- possibility theory
- knowledge representation and reasoning
- classical logic
- defeasible logic
- background knowledge
- minimal models
- nonmonotonic logics
- probabilistic reasoning
- default theories
- expert systems
- object oriented