System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving.
Andreas FrankeMichael KohlhasePublished in: CADE (1999)
Keyphrases
- automated theorem proving
- communication overhead
- theorem proving
- communication cost
- computer networks
- spatially distributed
- theorem prover
- hierarchical architecture
- fully distributed
- distributed systems
- distributed control
- high level
- intelligent agents
- distributed computation
- distributed environment
- concurrent processes
- cooperative
- open systems
- distributed network
- communication networks
- global knowledge
- multi agent
- multi party
- logic programs
- peer to peer
- cyber physical systems
- expert systems