Keyphrases
- theorem prover
- automated reasoning
- theorem proving
- event calculus
- automated theorem proving
- term rewriting
- inference rules
- first order logic
- automated deduction
- computer algebra
- formal semantics
- formal proof
- higher order logic
- boolean algebra
- proof search
- mathematical knowledge
- artificial intelligence
- computer algebra systems
- timed automata
- natural deduction
- situation calculus
- proof planning
- probabilistic model
- active learning
- evolutionary algorithm