This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Languages, Methodologies, and Development Tools for Multi-Agent Systems, LADS 2010, held in Lyon, France, in August/September 2010, as part of MALLOW, a federation of workshops on Multi-Agent Logics, Languages, and Organizations. The 8 revised full papers presented were carefully selected during two rounds of reviews from 11 initial submissions. The papers address issues related to theories, methodologies, models and approaches that are needed to facilitate the development of multi-agent systems ensuring their predictablity and verification.He treats belief revision more in the traditional AGM sense than in the dynamic epistemic modal sense. ... with a protocol, a sequence of planned actions that may also involve factual changeabut not the local change as in our case; he also does not employ choice modalities. ... Information and Computation 204(11), 1620a1662 (2006) 4. van Benthem, J., Liu, F.: Dynamic logic of preference upgrade.
|Title||:||Languages, Methodologies, and Development Tools for Multi-Agent Systems|
|Author||:||Mehdi Dastani, Amal El Fallah Seghrouchni, Jomi Hübner, Joao Leite|
|Publisher||:||Springer Science & Business Media - 2011-09-06|