DALT 2005: Utrecht, The Netherlands

Agent Programming and Beliefs

Architectures and Logic Programming

Knowledge Representation and Reasoning

Coordination and Model Checking