Keyphrases
- truth maintenance systems
- truth maintenance
- default logic
- constraint propagation
- inference mechanism
- nonmonotonic reasoning
- propositional logic
- symbolic reasoning
- autoepistemic logic
- belief revision
- knowledge base
- temporal reasoning
- knowledge representation
- special case
- temporal constraints
- qualitative and quantitative
- multistage
- knowledge acquisition
- logic programs
- description logics
- software engineering
- object oriented