Distributed Deduction by Clause-Diffusion: The Aquarius Prover.
Maria Paola BonacinaJieh HsiangPublished in: DISCO (1993)
Keyphrases
- theorem prover
- theorem proving
- automated theorem proving
- cooperative
- distributed systems
- computer networks
- information diffusion
- first order logic
- computing environments
- inference rules
- fault tolerant
- computer algebra
- anisotropic diffusion
- neural network
- distributed environment
- peer to peer
- denoising
- social networks