SGAI Conf. 2004: Cambridge, UK

Best Application Paper

Synthesis and Prediction

Scheduling and Search

Diagnosis and Monitoring

Classification and Design

Analysis and Evaluation

a service of Schloss Dagstuhl - Leibniz Center for Informatics