DISCOUNT: A SYstem for Distributed Equational Deduction.
Jürgen AvenhausJörg DenzingerMatthias FuchsPublished in: RTA (1995)
Keyphrases
- sensor networks
- theorem proving
- cooperative
- multi agent
- distributed systems
- lightweight
- theorem prover
- databases
- distributed network
- peer to peer
- distributed environment
- fault tolerant
- case study
- distributed computing
- peer to peer networks
- mobile agents
- knowledge representation
- distributed database systems
- distributed learning
- data sets