Languages, Methodologies, and Development Tools for Multi-Agent Systems [electronic resource] : Third International Workshop, LADS 2010, Lyon, France, August 30--September 1, 2010, Revised Selected Papers /
LADS 2010Corporate Author
LADS 2010(2010 :Lyon, France)
Dastani, Mehdi.editor.(orcid)0000-0002-4641-4087https://orcid.org/0000-0002-4641-4087edt
El Fallah Seghrouchni, Amal.editor.
Hübner, Jomi.editor.
Leite, Joao.editor.
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.
Bibliographic Level Mode of Issuance: Monograph
Includes bibliographical references and index.
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.
Artificial intelligence.
Computer simulation.
Computers.
Application software.
Computer programming.
Computer logic.
Artificial Intelligence.
Simulation and Modeling.
Models and Principles.
Information Systems Applications (incl. Internet).
Programming Techniques.
Logics and Meanings of Programs.

Lecture Notes in Computer Science