Keyphrases
- assumption based truth maintenance
- logic programming language
- truth maintenance systems
- logic programming
- constraint logic programming
- inference rules
- situation calculus
- nonmonotonic reasoning
- belief revision
- autoepistemic logic
- deductive databases
- machine learning
- logic programs
- general purpose
- special case
- knowledge acquisition
- default logic
- linear programming
- object oriented
- relational databases
- bayesian networks