From systems to logic in the early development of nonmonotonic reasoning.
Erik SandewallPublished in: Artif. Intell. (2011)
Keyphrases
- nonmonotonic reasoning
- logic programming
- commonsense reasoning
- truth maintenance systems
- nonmonotonic logics
- autoepistemic logic
- defeasible logic
- proof theoretic
- default logic
- conditional logic
- abductive reasoning
- default reasoning
- classical logic
- nonmonotonic inference
- modal logic
- logic programs
- distributed systems
- inheritance reasoning
- fixpoint
- possibility theory
- artificial intelligence
- reasoning tasks
- automated reasoning
- general purpose
- database systems
- knowledge base