The Use of Proof Planning for Co-operative Theorem Proving.
Helen LoweAlan BundyDuncan McLeanPublished in: J. Symb. Comput. (1998)
Keyphrases
- proof planning
- theorem proving
- cooperative
- theorem prover
- first order logic
- automated reasoning
- decision procedures
- parallel search
- inference rules
- term rewriting
- multi agent
- building intelligent
- proof procedure
- proof search
- concept formation
- predicate calculus
- geometry theorem proving
- multi agent systems
- consequence finding