Coordination: Reo, Nets, and Logic.

Published in: FMCO (2007)

Keyphrases

logic programming
automated reasoning
multi agent
information sharing
information exchange
cooperative
logical framework
max sum algorithm
deontic logic
multi agent systems
virtual enterprise
multi valued
probability theory
set theory
predicate logic
proof theory
distributed agents
machine learning