This book contains the proceedings of the ?rst international workshop on l- guages, methodologies and development tools for multi-agent systems (LADS 2007), which took place on 4-6 September 2007 in Durham, UK. This workshop was part of MALLOW 2007, a federation of workshops on Multi-Agent Logics, Languages, and Organisations. The LADS 2007 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,LADS2007aimedataddressingissues 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 2007 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 32 papers originally submitted to LADS 2007, and after 2 rounds of reviews, we selected 15 high-quality papers covering important topics related to multi-agent programming technology, such as: theories, methodologies, techniques and pr- ciples of multi-agent systems. The book also contains an invited paper, in which Dave Robertson reports on the aims and achievements of the OpenKnowledge project.
This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Languages, Methodologies and Development Tools for Multi-Agent Systems, LADS 2007, held in Durham, UK, in September 2007. The workshop was part of MALLOW 2007, a federation of workshops on Multi-Agent Logics, Languages, and Organizations.
The 15 revised full papers, presented together with 1 invited paper reporting the aims and achievements of the OpenKnowledge project, were carefully reviewed and selected from 32 submissions. The papers are organized in topical sections on agent reasoning and semantics, declarative languages and technologies, methodologies and design, and development frameworks.