program / txt
Declarative Agent Languages and Technologies (DALT 2010)
Declarative Agent Languages and Technologies (DALT'2010)
Toronto, Canada, May 2010
Declarative Agent Languages and Technologies (DALT'2010)
About DALT
Important
Dates
Committees
Submission
Accepted
Papers
Location
Contact
Each presentation should be no longer than 20 minutes, 5
minutes
are for questions and discussion.
1 8:30-8:40:
Welcome & Workshop Overview
1 8:40-10:00:
BDI and Rational Agents
(Chair: Sebastian Sardina)
8:40-9:05
Operational Behaviour for Executing, Suspending, and Aborting Goals
in BDI Agent Systems
John Thangarajah,
James Harland, David Morley, and Neil Yorke-Smith
9:05-9:30
Towards a Rational Agent Programming Language with Prioritized Goals
Shakil M. Khan and
Yves Lesparance
9:30-9:55
BDI Agents with Objectives and Preferences
Aniruddha Dasgupta
and Aditya K. Ghose
10:00-10:30: Coffee Break
10:30-12:00: Morning
Session 2 (Chair: TBA)
10:30-11:30
Invited Talk
Speaker
11:30-12:00
Panel Discussion
Members
12:00-13:30: Lunch Break
13:30-15:00: Communication, Coordination and Negotiation
(Chair: Andrea Omicini)
15:30-15:55
Query-driven Coordination of Multiple Answer Sets
Gauvain Bourgne and
Katsumi Inoue
15:55-16:20
Commitment-based Protocols with Behavioral Rules and Correctness
Properties of MAS
Matteo Baldoni,
Cristina Baroglio, and Elisa Marengo
16:20-16:45
A Deduction System for Meaning Negotiation
Elisa Burato, Matteo
Cristani, and Luca Vigano
16:45-17:00
Discussion
15:00-15:30: Coffee Break
15:30-17:00: Social Aspects and Control Systems
(Chair: Wamberto Vasconcelos)
15:30-15:55
Declarative Abstractions for Agent Based Hybrid Control Systems
Louise A. Dennis,
Michael Fisher, Nicholas K. Lincoln, Alexei Lisitsa, and Sandor M. Veres
15:55-16:20
A Rule based Approach to Group Recommender Systems
Vineet Padmanabhan,
Siva Krishna, Arun K. Pujari, Abdul Sattar, and Guido Governatori
16:20-16:45
Executing Specifications of Social Reasoning Agents
Iain Wallace and
Michael Rovatsos
16:45-17:00
Discussion
17:00-17:15: Final remarks,
discussion and closing