Keyphrases
- truth maintenance systems
- nonmonotonic reasoning
- constraint propagation
- default logic
- autoepistemic logic
- consequence finding
- information processing
- inference mechanism
- propositional logic
- knowledge acquisition
- reason maintenance
- artificial intelligence
- temporal reasoning
- belief revision
- computational model
- default reasoning
- high level
- knowledge base