000 | 04652nam a22005895i 4500 | ||
---|---|---|---|
001 | 978-3-642-13338-1 | ||
003 | DE-He213 | ||
005 | 20201213201800.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 | _aQ334-342 | |
050 | 4 | _aTJ210.2-211.495 | |
072 | 7 |
_aUYQ _2bicssc |
|
072 | 7 |
_aTJFM1 _2bicssc |
|
072 | 7 |
_aCOM004000 _2bisacsh |
|
082 | 0 | 4 |
_a006.3 _223 |
100 | 1 |
_aDastani, Mehdi. _eeditor. |
|
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 Segrouchni, João Leite, Paolo Torroni. |
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2010. |
|
300 |
_aX, 183p. _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 Computer Science, _x0302-9743 ; _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 | _aComputer science. | |
650 | 0 | _aMonoclonal antibodies. | |
650 | 0 | _aInformation systems. | |
650 | 0 | _aArtificial intelligence. | |
650 | 0 | _aComputer simulation. | |
650 | 1 | 4 | _aComputer Science. |
650 | 2 | 4 | _aArtificial Intelligence (incl. Robotics). |
650 | 2 | 4 | _aSimulation and Modeling. |
650 | 2 | 4 | _aModels and Principles. |
650 | 2 | 4 | _aInformation Systems Applications (incl.Internet). |
650 | 2 | 4 | _aAntibodies. |
700 | 1 |
_aEl Fallah Segrouchni, Amal. _eeditor. |
|
700 | 1 |
_aLeite, João. _eeditor. |
|
700 | 1 |
_aTorroni, Paolo. _eeditor. |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783642133374 |
830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v6039 |
|
856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-642-13338-1 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-LNC | ||
950 | _aComputer Science (Springer-11645) | ||
999 |
_c16746 _d16746 |