Programme

19.00-10.30: Agent Programming and Beliefs (Chair: Matteo Baldoni)

Beliefs in Agent Implementation Laurens Winkelhagen, Mehdi Dastani, and Jan Broersen Modelling Uncertainty in Agent Programming Johan Kwisthout and Mehdi Dastani Complete Axiomatizations of Finite Syntactic Epistemic States Thomas Agotnes and Michal Walicki

10.30-11.00: Coffee Break

11.00-12.30: Architectures and Logic Programming (Chair: Paolo Torroni)

An Architecture for Rational Agents John Lloyd and Tim Sears A Multi-agent Platform using Ordered Choice Logic Programming Marina De Vos, Tom Crick, Julian Padget, Martin Brain, Owen Cliffe, and Jonathan Needham A Distributed Architecture for Norm-Aware Agent Societies Andrés Garcia-Camino, Juan A. Rodríguez-Aguilar, Carles Sierra, and Wamberto Vasconcelos

12.30-13.30: Lunch Break

13.30-15.00: Knowledge Representation and Reasoning (Chair: Ulle Endriss)

Specifying, Validating and Generating an Agent Behaviour Using a Goal Decomposition Tree Gaële Simon, Bruno Mermet, Dominique Fournier, and Marianne Flouret Resource-bounded Belief Revision and Contraction Natasha Alechina, Mark Jago, and Brian Logan Agent-Oriented Programming with Underlying Ontological Reasoning Alvaro F. Moreira, Renata Vieira, Rafael H. Bordini, and Jomi Hübner

15.00-15.30: Coffee Break

15.30-17.00: Coordination and Constraints (Chair: Andrea Omicini)

An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents Kaiyu Wan and Vasu Alagar Distributed Multi-Criteria Coordination in Multi-Agent Systems Emma Bowring, Milind Tambe and Makoto Yokoo Graph-Based Bounds on k-optimal Joint-action Sets for Multiple Agents Jonathan P. Pearce, Rajiv T. Maheswaran, and Milind Tambe

17.00-17.15: Closing Remarks