Formalization and Verification of Interaction Protocols.

Federico Chesani

Published in: ICLP (2005)

Keyphrases

interaction protocols
multi agent
multiagent systems
agent systems
multi agent systems
operational semantics
model checking
agent communication
agent communication language
knowledge representation
communicative acts
database systems
data model
mobile robot