A Framework to Specify and Evaluate Coordination in MAS with Logic.

XinJun Mao Ji Wang Eric S. K. Yu

Published in: IAT (2004)

Keyphrases

multi agent systems
multi agent
multiagent systems
cooperative
main contribution
conceptual framework
database
machine learning
probabilistic model
theoretical framework
modal logic
logical framework
cognitive agents
predicate logic