Keyphrases
- modal logic
- theorem prover
- inference rules
- conditional logic
- higher order logic
- first order logic
- theorem proving
- horn clauses
- decision procedures
- temporal logic
- natural deduction
- nonmonotonic logics
- epistemic logic
- model theoretic
- classical logic
- general logic programs
- propositional logic
- explanation based generalization
- formal semantics
- dynamic logic
- default logic
- inductive logic programming
- autoepistemic logic
- sequent calculus
- higher order
- probabilistic reasoning
- belief revision
- model checking
- abductive reasoning
- natural language
- modal operators
- incomplete information
- fixpoint
- default reasoning