DALT 2009

 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/