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
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

  • DOI
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-22722-6
  • Online ISBN 978-3-642-22723-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences