| 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 |
