Consistency Proofs for Systems of Multi?agent Only Knowing.

Published in: Advances in Modal Logic (2004)

Keyphrases

multi agent
distributed systems
data sets
theorem proving
complex systems
real time
multimedia
cooperative
computer systems
intelligent agents
temporal reasoning
multiple agents