Keyphrases
- goal directed
- theorem prover
- automated reasoning
- theorem proving
- automated theorem proving
- inference rules
- first order logic
- term rewriting
- computer algebra
- higher order logic
- autonomous robots
- timed automata
- formal proof
- automated planning
- formal semantics
- natural deduction
- boolean algebra
- mathematical knowledge
- computer algebra systems
- autonomous learning
- mobile robot
- proof search
- genetic algorithm
- vision system
- machine learning