DALT 2005: Utrecht, The Netherlands

Agent Programming and Beliefs

Architectures and Logic Programming

Knowledge Representation and Reasoning

Coordination and Model Checking

a service of Schloss Dagstuhl - Leibniz Center for Informatics