Planning for Distributed Theorem Proving: The Teamwork Approach.
Jörg DenzingerMartin KronenburgPublished in: KI (1996)
Keyphrases
- theorem proving
- multi agent
- first order logic
- automated reasoning
- theorem prover
- forward chaining
- inference rules
- automated deduction
- distributed search
- automatic programming
- consequence finding
- proof planning
- term rewriting
- parallel search
- decision procedures
- geometry theorem proving
- automated theorem proving
- proof procedure
- logical inference
- combinatorial search
- predicate calculus
- distributed environment
- peer to peer
- timed automata
- training set
- knowledge representation
- data mining
- intelligent agents
- heuristic search