Cargando…
Languages, Methodologies, and Development Tools for Multi-Agent Systems Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers /
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 work...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2010.
|
| Edición: | 1st ed. 2010. |
| Colección: | Lecture Notes in Artificial Intelligence,
6039 |
| Temas: | |
| Acceso en línea: | Texto Completo |
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-642-13338-1 | ||
| 003 | DE-He213 | ||
| 005 | 20221012194112.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 100608s2010 gw | s |||| 0|eng d | ||
| 020 | |a 9783642133381 |9 978-3-642-13338-1 | ||
| 024 | 7 | |a 10.1007/978-3-642-13338-1 |2 doi | |
| 050 | 4 | |a QR180-189.5 | |
| 072 | 7 | |a MJCM |2 bicssc | |
| 072 | 7 | |a MED044000 |2 bisacsh | |
| 072 | 7 | |a MJCM |2 thema | |
| 082 | 0 | 4 | |a 571.96 |2 23 |
| 082 | 0 | 4 | |a 616.079 |2 23 |
| 245 | 1 | 0 | |a Languages, Methodologies, and Development Tools for Multi-Agent Systems |h [electronic resource] : |b Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers / |c edited by Mehdi Dastani, Amal El Fallah Seghrouchni, Joao Leite, Paolo Torroni. |
| 250 | |a 1st ed. 2010. | ||
| 264 | 1 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg : |b Imprint: Springer, |c 2010. | |
| 300 | |a X, 183 p. 40 illus. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Lecture Notes in Artificial Intelligence, |x 2945-9141 ; |v 6039 | |
| 505 | 0 | |a Agent Architectures -- The ARTS Real-Time Agent Architecture -- Reducing Agent Plans to Workflows -- Agent Programming Languages and Methodologies -- Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent System Programming -- Temporal Planning in Dynamic Environments for P-CLAIM Agents -- Data Driven Language for Agents Secure Interaction -- Programming Social Middleware through Social Interaction Types -- Social Interaction Models -- Detecting Exceptions in Commitment Protocols: Discovering Hidden States -- Verifiable Semantic Model for Agent Interactions Using Social Commitments -- Development Tools for Multi-agent Systems -- Call Graph Profiling for Multi Agent Systems -- Applications -- A Methodology for Developing Self-explaining Agents for Virtual Training. | |
| 520 | |a 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. | ||
| 650 | 0 | |a Immunology. | |
| 650 | 0 | |a Artificial intelligence. | |
| 650 | 0 | |a Computer programming. | |
| 650 | 0 | |a Computer simulation. | |
| 650 | 0 | |a Computer science. | |
| 650 | 0 | |a Application software. | |
| 650 | 1 | 4 | |a Immunology. |
| 650 | 2 | 4 | |a Artificial Intelligence. |
| 650 | 2 | 4 | |a Programming Techniques. |
| 650 | 2 | 4 | |a Computer Modelling. |
| 650 | 2 | 4 | |a Models of Computation. |
| 650 | 2 | 4 | |a Computer and Information Systems Applications. |
| 700 | 1 | |a Dastani, Mehdi. |e editor. |0 (orcid)0000-0002-4641-4087 |1 https://orcid.org/0000-0002-4641-4087 |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a El Fallah Seghrouchni, Amal. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Leite, Joao. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Torroni, Paolo. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783642133374 |
| 776 | 0 | 8 | |i Printed edition: |z 9783642133398 |
| 830 | 0 | |a Lecture Notes in Artificial Intelligence, |x 2945-9141 ; |v 6039 | |
| 856 | 4 | 0 | |u https://doi.uam.elogim.com/10.1007/978-3-642-13338-1 |z Texto Completo |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 912 | |a ZDB-2-LNC | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||