Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDALT 2011: Taipei, Taiwan
- Chiaki Sakama, Sebastian Sardiña, Wamberto Weber Vasconcelos, Michael Winikoff:
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
Best of DALT
- 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
DALT Spring School 2011
- 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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-19 19:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
