Sciweavers

AAI
2006
89views more  AAI 2006»
13 years 7 months ago
Compliance verification of agent interaction: a logic-based software tool
In open societies of agents, where agents are autonomous and heterogeneous, it is not realistic to assume that agents will always act so as to comply to interaction protocols. Thu...
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fed...