Keyphrases
- default theories
- proof procedure
- theorem proving
- default logic
- propositional logic
- first order logic
- predicate calculus
- theorem prover
- default reasoning
- model theoretic
- nonmonotonic reasoning
- answer set programming
- decision procedures
- database
- classical logic
- programming language
- belief revision
- logic programming
- probabilistic reasoning
- logic programs