Plans and Planning in Mathematical Proofs.
Yacin HamamiRebecca Lea MorrisPublished in: Rev. Symb. Log. (2021)
Keyphrases
- mathematical proofs
- planning problems
- plan generation
- plan execution
- planning domains
- automated planning
- planning systems
- planning process
- plan recognition
- plan quality
- planning tasks
- optimal plans
- partial order planning
- plan repair
- macro actions
- ai planning
- state space
- classical planning
- theorem prover
- planning under uncertainty
- multiagent planning
- heuristic search
- reactive planning
- action sequences
- initial state
- case based planning
- control rules
- cognitive processes
- partial plans
- deterministic domains
- search algorithm
- reinforcement learning
- artificial neural networks
- sensing actions
- dynamic environments
- temporal planning
- domain independent
- belief space