Keyphrases
- classical planning
- theorem proving
- planning problems
- heuristic search
- state space
- automated reasoning
- decision procedures
- inference rules
- theorem prover
- automated deduction
- first order logic
- term rewriting
- planning graph
- automatic programming
- consequence finding
- parallel search
- automated theorem proving
- logical inference
- proof procedure
- distributed search
- combinatorial search
- proof planning
- machine learning
- search algorithm
- planning systems
- proof search