Distributed Deduction by Clause-Diffusion: Distributed Contraction and the Aquarius Prover.

Maria Paola Bonacina Jieh Hsiang

Published in: J. Symb. Comput. (1995)

Keyphrases

distributed systems
cooperative
multi agent
theorem prover
distributed environment
fault tolerant
mobile agents
theorem proving
agent technology
image processing
description logics
peer to peer
lightweight
computer networks
distributed data
communication overhead