Graphical Theorem Proving: An Approach to Reasoning with the Help of Diagrams.
Dave Barker-PlummerSidney C. BailinPublished in: ECAI (1992)
Keyphrases
- theorem proving
- automated reasoning
- proof procedure
- logical inference
- graphical representation
- proof planning
- automated theorem proving
- theorem prover
- graphical representations
- decision procedures
- automated deduction
- first order logic
- inference rules
- parallel search
- term rewriting
- automatic programming
- reasoning tasks
- combinatorial search
- predicate calculus
- consequence finding
- geometry theorem proving
- knowledge representation and reasoning
- distributed search
- proof search
- computer algebra systems
- knowledge base
- logical framework
- uml class diagrams
- knowledge representation
- diagrammatic reasoning
- probabilistic logic
- default reasoning
- probabilistic reasoning
- search algorithm