


default search action
DALT 2012: Valencia, Spain
- Matteo Baldoni, Louise A. Dennis, Viviana Mascardi, Wamberto Weber Vasconcelos:

Declarative Agent Languages and Technologies X - 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7784, Springer 2013, ISBN 978-3-642-37889-8
Invited Papers
- Duangtida Athakravi, Domenico Corapi, Alessandra Russo

, Marina De Vos
, Julian A. Padget
, Ken Satoh:
Handling Change in Normative Specifications. 1-19 - Federico Bergenti

, Giovanni Caire, Danilo Gotta:
Latest Developments of WADE to Support User-Centric Business Processes. 20-36 - Pere Pardo

, Mehrnoosh Sadrzadeh
:
Strong Planning in the Logics of Communication and Change. 37-56 - Luke Trodd, James Harland

, John Thangarajah
:
Agent Deliberation via Forward and Backward Chaining in Linear Logic. 57-75
Contributed Papers
- Davide Ancona, Sophia Drossopoulou, Viviana Mascardi:

Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason. 76-95 - Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Elisa Marengo

, Viviana Patti:
A Generalized Commitment Machine for 2CL Protocols and Its Implementation. 96-115 - Stefano Bistarelli

, Giorgio Gosti
, Francesco Santini
:
Solving Fuzzy Distributed CSPs: An Approach with Naming Games. 116-135 - Akin Günay, Michael Winikoff, Pinar Yolum

:
Commitment Protocol Generation. 136-152 - Wietske Visser, Koen V. Hindriks

, Catholijn M. Jonker:
Goal-Based Qualitative Preference Systems. 153-169 - Bozena Wozna-Szczesniak

, Andrzej Zbrzezny
:
SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems. 170-189
Position Papers
- Matteo Baldoni, Cristina Baroglio:

Some Thoughts about Commitment Protocols - (Position Paper). 190-196 - Viviana Mascardi, James A. Hendler

, Laura Papaleo
:
Semantic Web and Declarative Agent Languages and Technologies: Current and Future Trends - (Position Paper). 197-202 - Alessandro Solimando, Riccardo Traverso:

Designing and Implementing a Framework for BDI-Style Communicating Agents in Haskell - (Position Paper). 203-207

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














