| Description |
1 online resource (xii, 151 pages) |
| Series |
Lecture notes in artificial intelligence ; 7169 |
|
Lecture notes in computer science, 0302-9743 |
|
LNCS sublibrary. SL 7, Artificial intelligence |
|
Lecture notes in computer science. Lecture notes in artificial intelligence ; 7169
|
|
Lecture notes in computer science.
|
|
LNCS sublibrary. SL 7, Artificial intelligence.
|
| Contents |
Control and Delegation / Wiebe van der Hoek -- Plan Indexing for State-Based Plans / Louise A. Dennis -- An Integrated Formal Framework for Reasoning about Goal Interactions / Michael Winikoff -- Probing Attacks on Multi-Agent Systems Using Electronic Institutions / Shahriar Bijani, David Robertson and David Aspinall -- Detecting Conflicts in Commitments / Akın Günay and Pınar Yolum -- Formalizing Commitments Using Action Languages / Tran Cao Son, Enrico Pontelli and Chiaki Sakama -- Lightweight Coordination Calculus for Agent Systems: Retrospective and Prospective / David Robertson -- The Evolution of Interoperability / Amit K. Chopra and Munindar P. Singh -- 1000 Years of Coo-BDI / Viviana Mascardi and Davide Ancona -- A Distributed Architecture for Norm-Aware Agent Societies: A Retrospective / Andrés García-Camino, Juan-Antonio Rodríguez-Aguilar, Carles Sierra and Wamberto W. Vasconcelos -- Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages / Álvaro F. Moreira, Renata Vieira and Rafael H. Bordini -- Specifying and Enforcing Norms in Artificial Institutions: A Retrospective Review / Nicoletta Fornara and Marco Colombetti -- A Retrospective on the Reactive Event Calculus and Commitment Modeling Language / Paolo Torroni, Federico Chesani, Paola Mello and Marco Montali -- Web Service Composition via Organisation-Based (Re)Planning / David Corsar, Alison Chorley and Wamberto W. Vasconcelos -- Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verification / Extended Abstract for a Course at DALT Spring School 2011 / Rafael H. Bordini |
| Summary |
Annotation 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 |
| Analysis |
Computer science |
|
Computer Communication Networks |
|
Software engineering |
|
Logic design |
|
Artificial intelligence |
|
Models and Principles |
|
Programming Languages, Compilers, Interpreters |
|
Logics and Meanings of Programs |
| Bibliography |
Includes bibliographical references and author index |
| Notes |
English |
| Subject |
Intelligent agents (Computer software) -- Congresses
|
|
Declarative programming languages -- Congresses
|
|
Informatique.
|
|
Declarative programming languages
|
|
Intelligent agents (Computer software)
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Sakama, Chiaki
|
| LC no. |
2012933973 |
| ISBN |
9783642291135 |
|
3642291139 |
|
3642291120 |
|
9783642291128 |
|
