Attribute Global Types for Dynamic Checking of Protocols in Logic-based Multiagent Systems.

Viviana Mascardi Davide Ancona

Published in: Theory Pract. Log. Program. (2013)

Keyphrases

multiagent systems
multi agent
autonomous agents
distributed artificial intelligence
interaction protocols
multiagent architecture
open environments
multiagent planning
multiagent reinforcement learning
learning in multi agent systems
multi agent systems
agent technology
coalition formation