Nonmonotonic Reasoning with Well Founded Semantics.
Luís Moniz PereiraJoaquim Nunes AparícioJosé Júlio AlferesPublished in: ICLP (1991)
Keyphrases
- nonmonotonic reasoning
- logic programming
- defeasible logic
- fixpoint
- logic programs
- default reasoning
- commonsense reasoning
- deductive databases
- default logic
- conditional logic
- nonmonotonic inference
- normal logic programs
- nonmonotonic logics
- belief revision
- knowledge representation
- defeasible reasoning
- answer sets
- programming language
- knowledge base
- extended logic programs
- causal inference
- autoepistemic logic
- possibility theory
- abductive reasoning
- answer set programming
- proof theoretic
- machine learning
- minimal models
- stable models
- inheritance reasoning