Programme

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

You can download the workshop proceedings from here

18:30-8:40: Welcome & Workshop Overview

18: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: Invited Talk & Panel Discussion (Chair: TBA)

10:30-11:30 Invited Talk: Coordination as Practical Logic Programming Prof. Dave S. Robertson, School of Informatics, The University of Edinburgh Abstract: It is possible to design formal languages that, for multi-agent coordination, play a role similar to Prolog in conventional programming. I will talk about experiences in developing one such language: the Lightweight Coordination Calculus (LCC). Like Prolog, LCC can be understood in an abstract sense as a declarative language (with the advantages of clarity and device-independence that this provides). Like Prolog, real programming in LCC requires engineering decisions based on an imperative understanding of what the behaviours of the LCC specification will be. This familiar tension between declarative and imperative understanding creates some unfamiliar issues when tackling multi-agent coordination problems. I shall explain how we addressed these issues in the context of the European OpenKnowledge project (www.openk.org) in a style oriented to the practical programmer. I shall also summarise some of the mistakes I've made when translating what I knew of declarative programming into distributed and open computational environments. 11:30-12:00 Panel Discussion: Declarative approaches to agents and multi-agent systems: what you always wanted to know but were too afraid to ask 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