Programme

19.00-10.30: Norms and Interaction (Chair: Ulle Endriss)

A Foundational Ontology of Organizations and Roles Guido Boella and Leendert van der Torre Agreeing on Defeasible Commitments Ioan Alfred Letia and Adrian Groza A Functional Program for Agents, Actions, and Deontic Specifications Adam Wyner When Agents Communicate Hypotheses in Critical Situations Gauvain Bourgne, Nicolas Maudet and Suzanne Pinson

10.30-11.00: Coffee Break

11.00-12.30: Agent-Oriented Programming (Chair: Cristina Baroglio)

JADL: An Agent Description Language for Smart Agents Thomas Konnerth, Benjamin Hirsch and Sahin Albayrak A Collaborative Framework to Realize Virtual Enterprises Using 3APL Gobinath Narayanasamy, Joe Cecil and Tran Cao Son Using Dynamic Logic Programming to Obtain Agents with Declarative Goals: Preliminary Report Vivek Nigam and João Leite Programming Declarative Goals Using Plan Patterns Jomi Hübner, Rafael Bordini and Michael Wooldridge

12.30-14.00: Lunch Break

14.00-15.30: Invited Talk (Chair: Matteo Baldoni)

Understanding Policies in Commitment Protocols Munindar P. Singh

15.30-16.00: Coffee Break

16.00-17.30: Modelling of and Reasoning about Agents (Chair: Chiaki Sakama)

A Fibred Tableau Calculus for BDI Logics Vineet Padmanabhan and Guido Governatori A Modelling Framework for Generic Agent Interaction Protocols Jose Ghislain Quenum, Samir Aknine, Jean-Pierre Briot and Shinichi Honiden Plan Generation and Plan Execution in Agent Programming M. Birna van Riemsdijk and Mehdi Dastani Automating Belief Revision for AgentSpeak Natasha Alechina, Rafael Bordini, Jomi Hübner, Mark Jago and Brian Logan

17.30-17.45: Closing Remarks