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 2009)
Budapest, Hungary, May 2009
About DALT
Committees
Submission
Location
Contact
Each presentation should be no longer than 20 minutes, 5 minutes
are for questions and discussion.
1 9.00-9.15: Welcome
1 9.15-10:30: Communication (Chair: Jamal Bentahar)
Correctness Properties for Multiagent Systems
Munindar P. Singh and Amit K. Chopra
Social Commitments in Time: Satisfied or Compensated (preliminary report)
Paolo Torroni, Federico Chesani, Paola Mello, and Marco Montali
Unifying the Intentional and Institutional Semantics of Speech Acts
Carole Adam, Andreas Herzig, Dominique Longin, and Vincent Louis
10.30-11.00: Coffee Break
11.05-12.20: Verification and Logic (Chair: M. Birna van Riemsdijk)
Verifying Dribble Agents
Doan Thu Trang, Brian Logan, and Natasha Alechina
Tableaux for Acceptance Logic
Mathijs de Boer, Andreas Herzig, Tiago de Lima, and Emiliano Lorini
Prioritized Goals and Subgoals in a Logical Account of Goal Change - A Preliminary Report
Shakil M. Khan and Yves Lespérance
12.20-14.00: Lunch Break
14.00-14.25: Trust (Chair: Matteo Baldoni)
Microscopic Analysis of Edge Creation Process in Trust-based Social Networks
Babak Khosravifar, Maziar Gomrokchi, and Jamal Bentahar
14.30-15.30: Invited Talk (Chair: Matteo Baldoni)
Playing with Rules
João Leite
15.30-16.00: Coffee Break
16.00-16.50: Description Logic (Chair: TBA)
Computing Utility from Weighted Description Logic Preference Formulas
Azzurra Ragone, Tommaso Di Noia, Francesco M. Donini, Eugenio Di Sciascio, and Michael P. Wellman
Ontology and Time Evolution of Obligations and Prohibitions using Semantic Web Technology
Nicoletta Fornara and Marco Colombetti
16.50-17.40: Agent Reasoning and Programming (Chair: João Leite)
Explaining and Predicting the Behavior of BDI-Based Agents in Games
Michal P. Sindlar, Medhi M. Dastani, Frank Dignum, and John-Jules Ch. Meyer
Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming
Tran Cao Son and Chiaki Sakama
17.40-18.00: Final remarks, discussion and closing
last modified on
Sunday, 10-May-2009 09:38:11 CEST
( baldoni )
the image of Széchenyi Lánchíd, Budapest,
in the logo comes from the website http://www.scitech.mtesz.hu/
