Interpreted systems and Kripke models for multiagent systems from a categorical perspective.

Published in: Theor. Comput. Sci. (2004)

Keyphrases

multiagent systems
multi agent
decentralized control
distributed artificial intelligence
design methodologies
autonomous agents
logic programs
distributed systems
coalition formation
agent based systems
multiagent architecture