| 000 | 05223nam a22006615i 4500 | ||
|---|---|---|---|
| 001 | 978-3-642-13338-1 | ||
| 003 | DE-He213 | ||
| 005 | 20240730203246.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 100608s2010 gw | s |||| 0|eng d | ||
| 020 |
_a9783642133381 _9978-3-642-13338-1 |
||
| 024 | 7 |
_a10.1007/978-3-642-13338-1 _2doi |
|
| 050 | 4 | _aQR180-189.5 | |
| 072 | 7 |
_aMJCM _2bicssc |
|
| 072 | 7 |
_aMED044000 _2bisacsh |
|
| 072 | 7 |
_aMJCM _2thema |
|
| 082 | 0 | 4 |
_a571.96 _223 |
| 082 | 0 | 4 |
_a616.079 _223 |
| 245 | 1 | 0 |
_aLanguages, Methodologies, and Development Tools for Multi-Agent Systems _h[electronic resource] : _bSecond International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers / _cedited by Mehdi Dastani, Amal El Fallah Seghrouchni, Joao Leite, Paolo Torroni. |
| 250 | _a1st ed. 2010. | ||
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2010. |
|
| 300 |
_aX, 183 p. 40 illus. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aLecture Notes in Artificial Intelligence, _x2945-9141 ; _v6039 |
|
| 505 | 0 | _aAgent 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 | _aThis 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 |
_aImmunology. _910726 |
|
| 650 | 0 |
_aArtificial intelligence. _93407 |
|
| 650 | 0 |
_aComputer programming. _94169 |
|
| 650 | 0 |
_aComputer simulation. _95106 |
|
| 650 | 0 |
_aComputer science. _99832 |
|
| 650 | 0 |
_aApplication software. _9175128 |
|
| 650 | 1 | 4 |
_aImmunology. _910726 |
| 650 | 2 | 4 |
_aArtificial Intelligence. _93407 |
| 650 | 2 | 4 |
_aProgramming Techniques. _9175129 |
| 650 | 2 | 4 |
_aComputer Modelling. _9175130 |
| 650 | 2 | 4 |
_aModels of Computation. _931806 |
| 650 | 2 | 4 |
_aComputer and Information Systems Applications. _9175131 |
| 700 | 1 |
_aDastani, Mehdi. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9175132 |
|
| 700 | 1 |
_aEl Fallah Seghrouchni, Amal. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9175133 |
|
| 700 | 1 |
_aLeite, Joao. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9175134 |
|
| 700 | 1 |
_aTorroni, Paolo. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9175135 |
|
| 710 | 2 |
_aSpringerLink (Online service) _9175136 |
|
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642133374 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642133398 |
| 830 | 0 |
_aLecture Notes in Artificial Intelligence, _x2945-9141 ; _v6039 _9175137 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-642-13338-1 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cELN | ||
| 999 |
_c97414 _d97414 |
||