Budapest, Hungary, May 2009

Programme

Each presentation should be no longer than 20 minutes, 5 minutes are for questions and discussion.

19.00-9.15: Welcome

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