Keyphrases
- modal logic
- conditional logic
- inference rules
- temporal logic
- theorem proving
- decision procedures
- theorem prover
- first order logic
- epistemic logic
- higher order
- general logic programs
- classical logic
- horn clauses
- situation calculus
- model theoretic
- dynamic logic
- default logic
- nonmonotonic logics
- prime implicates
- model checking
- action theories
- logic programs
- modal operators
- automated theorem proving
- proof search
- explanation based generalization
- machine learning