programma / txt
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 )
