Keyphrases
- truth maintenance systems
- nonmonotonic reasoning
- constraint propagation
- default logic
- inference mechanism
- symbolic reasoning
- autoepistemic logic
- knowledge representation
- temporal reasoning
- propositional logic
- knowledge base
- belief revision
- default reasoning
- fixed point
- constraint satisfaction problems
- logic programming
- symbolic representation
- cognitive model
- general purpose