On Fairness in Distributed Automated Deduction.
Maria Paola BonacinaJieh HsiangPublished in: STACS (1993)
Keyphrases
- automated deduction
- theorem proving
- distributed systems
- theorem prover
- cooperative
- peer to peer
- logic programming
- multi agent
- deductive databases
- distributed environment
- fault tolerant
- database
- computer networks
- programming language
- multi agent systems
- inference rules
- data mining
- data sets
- distributed computing
- communication overhead
- distributed architecture
- real time