DALT 2005: Utrecht, The Netherlands

Refine list

showing all ?? records

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