Valencia, Spain, 4 June 2012

About DALT
Call for Papers
Important Dates
Committees
Submission
Accepted Papers
Programme
Registration
Location
Contact
  

Accepted Papers

The Programme Committee has selected 6 papers for presentation at the workshop:

  • A Generalized Commitment Machine for 2CL Protocols and its Implementation
    Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Elisa Marengo, and Viviana Patti
  • Solving Fuzzy Distributed CSPs: An Approach with Naming Games
    Stefano Bistarelli, Giorgio Gosti, and Francesco Santini
  • Commitment Protocol Generation
    Akin Gunay, Michael Winikoff and Pinar Yolum
  • Automatic Generation of Self-Monitoring MASs from Multiparty Global Session Types
    Viviana Mascardi, Davide Ancona, and Sophia Drossopoulou
  • Goal-based Qualitative Preference Systems
    Wietske Visser, Koen Hindriks, and Catholijn Jonker
  • SAT-based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems
    Bozena Wozna-Szczesniak and Andrzej Zbrzezny

The Programme Committee has selected 3 short position papers for presentation at the workshop:

  • Semantic Web and Declarative Agent Languages and Technologies: Current and Future Trends
    Viviana Mascardi, James Hendler and Laura Papaleo
  • Designing and Implementing a Framework for BDI-style Communicating Agents in Haskell
    Riccardo Traverso and Alessandro Solimando
  • Some Thoughts about Commitment Protocols
    Matteo Baldoni and Cristina Baroglio