Valencia, Spain, 4 June 2012

About DALT
Call for Papers
Important Dates
Accepted Papers


DALT 2012 Workshop Notes (Download, 3.9 MByte)

9.00-9.10: Welcome
9.10-10:20: Protocols
  • 9.10-9.40: A Generalized Commitment Machine for 2CL Protocols and its Implementation
    Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Elisa Marengo, and Viviana Patti
  • 9.40-10.10: Commitment Protocol Generation
    Akin Gunay, Michael Winikoff and Pinar Yolum
  • 10.10-10.20: Questions (speakers to one another)
10.20-10.50: Coffee Break
10.50-13.00: Invited Speaker and Discussion Panel
  • 10.50-11.50: Group Announcement Logic
    Thomas Ågotnes
  • 11.50-12.00: Break
  • 12.00-13.00: Discussion Panel
13.00-14.20: Lunch Break
14.20-16.00: Distributed Problem Solving
  • 14.20-14.50: Solving Fuzzy Distributed CSPs: An Approach with Naming Games
    Stefano Bistarelli, Giorgio Gosti, and Francesco Santini
  • 14.50-15.20: SAT-based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems
    Bozena Wozna-Szczesniak and Andrzej Zbrzezny
  • 15.20-15.50: Goal-based Qualitative Preference Systems
    Wietske Visser, Koen Hindriks, and Catholijn Jonker
  • 15.50-16.00: Questions (speakers to one another)
16.00-16.30: Coffee Break
16.30-18.30: One final paper and the position papers
  • 16.30-17.00: Automatic Generation of Self-Monitoring MASs from Multiparty Global Session Types in Jason
    Viviana Mascardi, Davide Ancona, and Sophia Drossopoulou
  • 17.00-17.20: Semantic Web and Declarative Agent Languages and Technologies: Current and Future Trends
    Viviana Mascardi, James Hendler and Laura Papaleo
  • 17.20-17.40: Designing and Implementing a Framework for BDI-style Communicating Agents in Haskell
    Riccardo Traverso and Alessandro Solimando
  • 17.40-18.00: Some Thoughts about Commitment Protocols
    Matteo Baldoni and Cristina Baroglio
  • 18.00-18.20: Discussion Panel (on position papers)
18.20-18.30: Final remarks, discussion and closing