Is There a Logic of Provability for Nonmonotonic Reasoning?
Gianni AmatiFiora PirriPublished in: KR (1996)
Keyphrases
- nonmonotonic reasoning
- logic programming
- commonsense reasoning
- nonmonotonic logics
- conditional logic
- proof theoretic
- abductive reasoning
- autoepistemic logic
- defeasible logic
- nonmonotonic inference
- default reasoning
- belief revision
- default logic
- logic programs
- classical logic
- modal logic
- knowledge representation
- truth maintenance systems
- extended logic programs
- minimal models
- possibility theory
- defeasible reasoning
- argumentation systems
- reasoning tasks
- causal inference
- inheritance reasoning
- knowledge base
- knowledge representation and reasoning
- answer set programming
- deductive databases
- data model
- linear logic
- logical framework
- fixpoint
- propositional logic
- high level
- artificial intelligence