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

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dalt/Hoek11
- ask others
Wiebe van der Hoek: Control and Delegation. 1-2
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dalt/Dennis11
- ask others
Louise A. Dennis: Plan Indexing for State-Based Plans. 3-15
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dalt/Winikoff11
- ask others
Michael Winikoff: An Integrated Formal Framework for Reasoning about Goal Interactions. 16-32
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dalt/BijaniRA11
- ask others
Shahriar Bijani, David Robertson, David Aspinall: Probing Attacks on Multi-Agent Systems Using Electronic Institutions. 33-50
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dalt/GunayY11
- ask others
Akin Günay, Pinar Yolum: Detecting Conflicts in Commitments. 51-66
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dalt/SonPS11
- ask others
Tran Cao Son, Enrico Pontelli, Chiaki Sakama: Formalizing Commitments Using Action Languages. 67-83

Best of DALT

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dalt/Robertson11
- ask others
David Robertson: Lightweight Coordination Calculus for Agent Systems: Retrospective and Prospective. 84-89
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dalt/ChopraS11
- ask others
Amit K. Chopra, Munindar P. Singh: The Evolution of Interoperability. 90-94
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dalt/MascardiA11
- ask others
Viviana Mascardi, Davide Ancona: 1000 Years of Coo-BDI. 95-101
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dalt/Garcia-CaminoRSV11
- ask others
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
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dalt/MoreiraVB11
- ask others
Á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
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dalt/FornaraC11
- ask others
Nicoletta Fornara, Marco Colombetti: Specifying and Enforcing Norms in Artificial Institutions: A Retrospective Review. 117-119
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dalt/TorroniCMM11
- ask others
Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali: A Retrospective on the Reactive Event Calculus and Commitment Modeling Language. 120-127

DALT Spring School 2011

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dalt/CorsarCV11
- ask others
David Corsar, Alison Chorley, Wamberto Weber Vasconcelos: Web Service Composition via Organisation-Based (Re)Planning. 128-148
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dalt/Bordini11
- ask others
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