Inserire una breve descrizione delle modifiche fatte
Minor changes are by default collapsed in the page history.
No changes
The page does not exist yet.
Failed to load changes
Version by on
Leave Collaboration
Are you sure you want to leave the realtime collaboration and continue editing alone? The changes you save while editing alone will lead to merge conflicts with the changes auto-saved by the realtime editing session.
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 )
Matteo Baldoni • Louise Dennis • Viviana Mascardi • Wamberto Vasconcelos
— membro del comitato direttivo
Matteo Baldoni • Andrea Omicini • M. Birna van Riemsdijk • Tran Cao Son • Paolo Torroni • Pınar Yolum • Michael Winikoff
— membro del pc
Thomas Ågotnes • Marco Alberti • Natasha Alechina • Cristina Baroglio • Rafael Bordini • Jan Broersen • Federico Chesani • Flavio Correa Da Silva • Marina De Vos • Francesco Donini • James Harland • Andreas Herzig • Koen Hindriks • Shinichi Honiden • João Leite • Yves Lésperance • Nicolas Maudet • John-Jules Meyer • Peter Novák • Fabio Patrizi • Enrico Pontelli • David Pym • Alessandro Ricci • Michael Rovatsos • Guillermo Ricardo Simari • Tran Cao Son
