Operational semantics of multiagent interactions.

Juan Manuel Serrano Sergio Saugar

Published in: AAMAS (2007)

Keyphrases

operational semantics
interaction protocols
multi agent
formal semantics
cooperative
mental states
model theoretic
multiagent systems
agent programming
declarative semantics
activity diagrams
denotational semantics
autonomous agents
multi agent systems
data model
database systems
databases