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

Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers

  • Mehdi Dastani
  • Amal El Fallah Segrouchni
  • João Leite
  • Paolo Torroni
Conference proceedings LADS 2009

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

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

Table of contents

  1. Front Matter
  2. Agent Architectures

    1. Konstantin Vikhorev, Natasha Alechina, Brian Logan
      Pages 1-15
    2. Tayfun Gokmen Halaç, Övünç Çetin, Erdem Eser Ekinci, Rıza Cenk Erdur, Oğuz Dikenelli
      Pages 16-34
  3. Agent Programming Languages and Methodologies

    1. Muhammad Adnan Hashmi, Amal El Fallah Seghrouchni
      Pages 55-71
    2. Mahdi Zargayouna, Flavien Balbo, Serge Haddad
      Pages 72-91
    3. Juan Manuel Serrano, Sergio Saugar
      Pages 92-111
  4. Social Interaction Models

    1. Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli
      Pages 128-152
  5. Development Tools for Multi-agent Systems

    1. Dinh Doan Van Bien, David Lillis, Rem W. Collier
      Pages 153-167
  6. Applications

    1. Maaike Harbers, Karel van den Bosch, John-Jules Meyer
      Pages 168-182
  7. Back Matter

About these proceedings

Introduction

This book contains the proceedings of the Second International Workshop on Languages, Methodologies and Development Tools for Multi-agent Systems (LADS 2009), which took place during September 7–9, 2009 in Turin, Italy. As in its 2007 edition, this workshop was a part of MALLOW, a federation of workshops on Multi-Agent Logics, Languages, and Organizations. The LADS 2009 workshop addressed both theoretical and practical issues related to developing and deploying multi-agent systems. It constituted a rich forum where leading researchers from both academia and industry could share their experiencesonformalapproaches,programminglanguages,methodologies, tools andtechniques supporting the developmentanddeploymentof multi-agent systems.Fromatheoreticalpointofview,LADS2009aimedataddressingissues related to theories, methodologies, models and approaches that are needed to facilitate the development of multi-agent systems ensuring their predictability andveri?cation.Formaldeclarativemodelsandapproacheshavethe potentialof o?ering solutions for the speci?cation and design of multi-agent systems. From a practical point of view, LADS 2009 aimed at stimulating research and d- cussion on how multi-agent system speci?cations and designs can be e?ectively implemented and tested. This book is the result of a strict selection and review process. From 14 papers originally submitted to LADS 2009, and after 2 rounds of reviews, we selected 10 high-quality papers covering important topics related to multi-agent programming technology, such as: agent architectures, programming languages andmethodologies,socialinteractionmodels,developmenttoolsandapplications of multi-agent systems.

Keywords

AOP Languages LA Multi-agent system accessibility relations agent reasoning ambient intelligence declarative languages electronic contracting electronic institutions grid computing model checking multi-agent pervasive computing security sema

Editors and affiliations

  • Mehdi Dastani
    • 1
  • Amal El Fallah Segrouchni
    • 2
  • João Leite
    • 3
  • Paolo Torroni
    • 4
  1. 1.Intelligent Systems GroupUtrecht UniversityUtrechtThe Netherlands
  2. 2.LIP6University Pierre and Marie CurieParisFrance
  3. 3.Departamento de InformáticaUniversidade Nova de LisboaCaparicaPortugal
  4. 4.DEISUniversity of BolognaBolognaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-13338-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-13337-4
  • Online ISBN 978-3-642-13338-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book