Declarative Agent Languages and Technologies IX: 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers

✍ Scribed by Wiebe van der Hoek (auth.), Chiaki Sakama, Sebastian Sardina, Wamberto Vasconcelos, Michael Winikoff (eds.)

Publisher: Springer-Verlag Berlin Heidelberg
Year: 2012
Tongue: English
Leaves: 162
Series: Lecture Notes in Computer Science 7169 : Lecture Notes in Artificial Intelligence
Edition: 1
Category: Library

⬇ Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis

This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies, DALT 2011, held in Taipei, Taiwan, in May 2011. The volume contains 6 revised selected presented at DALT 2011, 7 best papers from the DALT series over the years, explaining how the research developed and how it influenced and impacted the community, the state-of-the-art and subsequent work, and two invited papers from the DALT Spring School, which took place in April 2011.

✦ Table of Contents

Front Matter....Pages -
Control and Delegation....Pages 1-2
Plan Indexing for State-Based Plans....Pages 3-15
An Integrated Formal Framework for Reasoning about Goal Interactions....Pages 16-32
Probing Attacks on Multi-Agent Systems Using Electronic Institutions....Pages 33-50
Detecting Conflicts in Commitments....Pages 51-66
Formalizing Commitments Using Action Languages....Pages 67-83
Lightweight Coordination Calculus for Agent Systems: Retrospective and Prospective....Pages 84-89
The Evolution of Interoperability....Pages 90-94
1000 Years of Coo-BDI....Pages 95-101
A Distributed Architecture for Norm-Aware Agent Societies: A Retrospective....Pages 102-110
Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages....Pages 111-116
Specifying and Enforcing Norms in Artificial Institutions: A Retrospective Review....Pages 117-119
A Retrospective on the Reactive Event Calculus and Commitment Modeling Language....Pages 120-127
Web Service Composition via Organisation-Based (Re)Planning....Pages 128-148
Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verification....Pages 149-151
Back Matter....Pages -

✦ Subjects

Artificial Intelligence (incl. Robotics); Models and Principles; Computer Communication Networks; Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs

📜 SIMILAR VOLUMES

Declarative Agent Languages and Technolo

📁 Declarative Agent Languages and Technologies IX: 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers

✍ Wiebe van der Hoek (auth.), Chiaki Sakama, Sebastian Sardina, Wamberto Vasconcel 📂 Library 📅 2012 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies, DALT 2011, held in Taipei, Taiwan, in May 2011. The volume contains 6 revised selected presented at DALT 2011, 7 best papers from the DALT series over

Declarative Agent Languages and Technolo

📁 Declarative Agent Languages and Technologies VIII: 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers

✍ John Thangarajah, James Harland, David Morley, Neil Yorke-Smith (auth.), Andrea 📂 Library 📅 2011 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Declarative Agent Languages and Technologies, DALT 2010, held in Toronto, Canada, on May 10, 2010, as a satellite workshop of the 9th International Joint Conference on Autonomous Agents an

Declarative Agent Languages and Technolo

📁 Declarative Agent Languages and Technologies VIII: 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers

✍ John Thangarajah, James Harland, David Morley, Neil Yorke-Smith (auth.), Andrea 📂 Library 📅 2011 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Programming Multi-Agent Systems: 9th Int

📁 Programming Multi-Agent Systems: 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers

✍ Shakil M. Khan, Yves Lespérance (auth.), Louise Dennis, Olivier Boissier, Rafael 📂 Library 📅 2012 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Fast-track conference proceedings State-of-the-art research Up-to-date results

Argumentation in Multi-Agent Systems: 8t

📁 Argumentation in Multi-Agent Systems: 8th International Workshop, ArgMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers

✍ Cristian Gratie, Adina Magda Florea (auth.), Peter McBurney, Simon Parsons, Iyad 📂 Library 📅 2012 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book constitutes the thoroughly reviewed post-proceedings of the 8th International Workshop on Argumentation in Multi-Agent Systems, ArgMas 2011, held in Taipei, Taiwan in May 2011 in association with the 10th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2011)

Declarative Agent Languages and Technolo

📁 Declarative Agent Languages and Technologies VII: 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers

✍ João Leite (auth.), Matteo Baldoni, Jamal Bentahar, M. Birna van Riemsdijk, John 📂 Library 📅 2010 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Declarative Agent Languages and Technologies, DALT 2009, held in Budapest, Hungary, on May 11, 2009, as a satellite workshop of the 8th International Joint Conference on Autonomous Agen