© 2011

Languages, Methodologies, and Development Tools for Multi-Agent Systems

Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papers

  • Mehdi Dastani
  • Amal El Fallah Seghrouchni
  • Jomi Hübner
  • João Leite


  • Up-to-date results

  • Fast-track conference proceedings

  • State-of-the-art research

Conference proceedings LADS 2010

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6822)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 6822)

Table of contents

  1. Front Matter
  2. Huib Aldewereld, Virginia Dignum
    Pages 1-18
  3. Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet
    Pages 19-38
  4. Kai Jander, Lars Braubach, Alexander Pokahr, Winfried Lamersdorf
    Pages 39-55
  5. David Lillis, Rem W. Collier
    Pages 56-75
  6. Andrea Santi, Marco Guidi, Alessandro Ricci
    Pages 95-114
  7. Patricia Shaw, Rafael H. Bordini
    Pages 115-135
  8. Hans van Ditmarsch, Tiago de Lima, Emiliano Lorini
    Pages 136-151
  9. Back Matter

About these proceedings


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.


Web services constraints model checking semantic Web ubiquitous computing

Editors and affiliations

  • Mehdi Dastani
    • 1
  • Amal El Fallah Seghrouchni
    • 2
  • Jomi Hübner
    • 3
  • João Leite
    • 4
  1. 1.Intelligent Systems GroupUtrecht UniversityUtrechtThe Netherlands
  2. 2.LIP6 – University Pierre and Marie CurieParisFrance
  3. 3.Department of Automation and Systems EngineeringFederal University of Santa CatarinaFlorianópolisBrazil
  4. 4.Faculdade de Ciências e Tecnologia, Departamento de Informática, CENTRIA, Quinta da TorreUniversidade Nova de Lisboa,CaparicaPortugal

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences