Keyphrases
- theorem proving
- plan generation
- planning problems
- highly dynamic environments
- plan recognition
- significant improvement
- theorem prover
- automated theorem proving
- partially ordered
- artificial intelligence
- learning algorithm
- real time
- search engine
- databases
- planning process
- initial state
- inference rules
- database
- expert systems
- search algorithm
- decision trees
- clustering algorithm