Proof Plans for the Correction of False Conjectures.
Raúl MonroyAlan BundyAndrew IrelandPublished in: LPAR (1994)
Keyphrases
- theorem prover
- geometry theorem proving
- theorem proving
- plan generation
- partially ordered
- proof planning
- automated theorem proving
- planning problems
- mathematical proofs
- highly dynamic environments
- plan recognition
- planning domains
- data mining
- cost model
- linear logic
- automated planning
- information retrieval
- error detection
- plan execution
- initial state
- databases
- inductive inference
- error correction
- domain independent