Nonmonotonic Reasoning is Sometimes Simpler!
Grigori SchwarzMiroslaw TruszczynskiPublished in: J. Log. Comput. (1996)
Keyphrases
- nonmonotonic reasoning
- logic programming
- default reasoning
- belief revision
- default logic
- commonsense reasoning
- defeasible reasoning
- nonmonotonic inference
- conditional logic
- abductive reasoning
- possibility theory
- nonmonotonic logics
- inheritance reasoning
- defeasible logic
- proof theoretic
- fixpoint
- logic programs
- causal inference
- extended logic programs
- databases
- autoepistemic logic
- case based reasoning
- deductive databases
- truth maintenance systems
- software engineering
- bayesian networks