Goal Oriented Equational Theorem Proving Using Team Work.
Jörg DenzingerMatthias FuchsPublished in: KI (1994)
Keyphrases
- theorem proving
- goal oriented
- first order logic
- theorem prover
- decision procedures
- automated deduction
- inference rules
- automated reasoning
- automatic programming
- requirements analysis
- parallel search
- proof procedure
- automated theorem proving
- logical inference
- requirements engineering
- predicate calculus
- distributed search
- equational theories
- term rewriting
- consequence finding
- artificial intelligence
- geometry theorem proving
- combinatorial search
- proof search
- proof planning
- software engineering
- knowledge base