DALT 2010

   page       attach   
Call for Papers / TXT Program / TXT Logo
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