A multi-agent framework for distributed theorem proving.
Chih-Hung WuPublished in: Expert Syst. Appl. (2005)
Keyphrases
- theorem proving
- distributed search
- first order logic
- theorem prover
- automated reasoning
- decision procedures
- parallel search
- automated deduction
- distributed systems
- inference rules
- consequence finding
- proof procedure
- logical inference
- term rewriting
- proof planning
- automatic programming
- combinatorial search
- distributed environment
- geometry theorem proving
- automated theorem proving
- formal model
- multi agent
- predicate calculus
- timed automata
- peer to peer
- mathematical knowledge
- probabilistic model
- equational theories