DALT 2012

 Declarative Agent Languages and Technologies (DALT 2012)

Valencia, Spain, 4 June 2012

About DALT

Committees

Submission

Location

Contact

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

last modified on

Wednesday, 23-May-2012 07:53:36 CEST
( baldoni )