The Use of Proof Plans for Normalization.
Alan BundyPublished in: Automated Reasoning: Essays in Honor of Woody Bledsoe (1991)
Keyphrases
- normalization method
- linear logic
- plan recognition
- planning problems
- theorem prover
- databases
- theorem proving
- plan execution
- proof planning
- real time
- partial order planning
- automated theorem proving
- automated planning
- plan generation
- classical planning
- partially ordered
- artificial intelligence
- planning domains
- state space
- preprocessing
- optimal solution
- social networks
- efficiency gains