DALT 2005

 Declarative Agent Languages and Technologies (DALT 2005)

Post-proceedings

Committees

Submission

Location

Contact

1 9.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

last modified on

Wednesday, 20-Jul-2005 18:56:50 BST
( ue )