DALT

Keyphrases

Publications

volume 7784, 2013

Declarative Agent Languages and Technologies X - 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers DALT 7784 (2013)

2012

Akin Günay, Michael Winikoff, Pinar Yolum
Commitment Protocol Generation. DALT (2012)
Stefano Bistarelli, Giorgio Gosti, Francesco Santini
Solving Fuzzy Distributed CSPs: An Approach with Naming Games. DALT (2012)
Matteo Baldoni, Cristina Baroglio
Some Thoughts about Commitment Protocols - (Position Paper). DALT (2012)
Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Elisa Marengo, Viviana Patti
A Generalized Commitment Machine for 2CL Protocols and Its Implementation. DALT (2012)
Davide Ancona, Sophia Drossopoulou, Viviana Mascardi
Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason. DALT (2012)
Bozena Wozna-Szczesniak, Andrzej Zbrzezny
SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems. DALT (2012)
Alessandro Solimando, Riccardo Traverso
Designing and Implementing a Framework for BDI-Style Communicating Agents in Haskell - (Position Paper). DALT (2012)
Wietske Visser, Koen V. Hindriks, Catholijn M. Jonker
Goal-Based Qualitative Preference Systems. DALT (2012)
Viviana Mascardi, James A. Hendler, Laura Papaleo
Semantic Web and Declarative Agent Languages and Technologies: Current and Future Trends - (Position Paper). DALT (2012)
Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh
Handling Change in Normative Specifications. DALT (2012)
Luke Trodd, James Harland, John Thangarajah
Agent Deliberation via Forward and Backward Chaining in Linear Logic. DALT (2012)
Federico Bergenti, Giovanni Caire, Danilo Gotta
Latest Developments of WADE to Support User-Centric Business Processes. DALT (2012)
Pere Pardo, Mehrnoosh Sadrzadeh
Strong Planning in the Logics of Communication and Change. DALT (2012)

volume 7169, 2012

Declarative Agent Languages and Technologies IX - 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers DALT 7169 (2012)

2011

volume 6619, 2011

Declarative Agent Languages and Technologies VIII - 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers DALT 6619 (2011)

2010

volume 5948, 2010

Declarative Agent Languages and Technologies VII, 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers DALT 5948 (2010)

2009

volume 5397, 2009

Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers DALT 5397 (2009)