DALT 2011: Taipei, Taiwan

Chiaki Sakama, Sebastian Sardiña, Wamberto Vasconcelos, Michael Winikoff (Eds.): Declarative Agent Languages and Technologies IX - 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers. Lecture Notes in Computer Science 7169 Springer 2012, ISBN 978-3-642-29112-8

DALT 2011 Papers

Wiebe van der Hoek:
Control and Delegation. 1-2
Louise A. Dennis:
Plan Indexing for State-Based Plans. 3-15
Michael Winikoff:
An Integrated Formal Framework for Reasoning about Goal Interactions. 16-32
Shahriar Bijani, David Robertson, David Aspinall:
Probing Attacks on Multi-Agent Systems Using Electronic Institutions. 33-50
Akin Günay, Pinar Yolum:
Detecting Conflicts in Commitments. 51-66
Tran Cao Son, Enrico Pontelli, Chiaki Sakama:
Formalizing Commitments Using Action Languages. 67-83

David Robertson:
Lightweight Coordination Calculus for Agent Systems: Retrospective and Prospective. 84-89
Amit K. Chopra, Munindar P. Singh:
The Evolution of Interoperability. 90-94
Viviana Mascardi, Davide Ancona:
1000 Years of Coo-BDI. 95-101
Andrés García-Camino, Juan A. Rodríguez-Aguilar, Carles Sierra, Wamberto Weber Vasconcelos:
A Distributed Architecture for Norm-Aware Agent Societies: A Retrospective. 102-110
Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini:
Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages. 111-116
Nicoletta Fornara, Marco Colombetti:
Specifying and Enforcing Norms in Artificial Institutions: A Retrospective Review. 117-119
Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali:
A Retrospective on the Reactive Event Calculus and Commitment Modeling Language. 120-127

David Corsar, Alison Chorley, Wamberto Weber Vasconcelos:
Web Service Composition via Organisation-Based (Re)Planning. 128-148
Rafael H. Bordini:
Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verification - Extended Abstract for a Course at DALT Spring School 2011. 149-151

Last update Wed May 22 23:13:53 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page