Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

The Seventeen Provers of the World Foreword by Dana S. Scott

Knowledge Discovery in Inductive Databases 4th International Workshop, KDID 2005, Porto, Portugal, October 3, 2005, Revised Selected and Invited Papers

Research in Computational Molecular Biology 10th Annual International Conference, RECOMB 2006, Venice, Italy, April 2-5, 2006. Proceedings

Advances in Information Retrieval 28th European Conference on IR Research, ECIR 2006, London, UK, April 10-12, 2006. Proceedings

Engineering Self-Organising Systems Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers

Multi-Agent-Based Simulation VI International Workshop, MABS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers

Technologies for E-Learning and Digital Entertainment First International Conference, Edutainment 2006, Hangzhou, China, April 16-19, 2006. Proceedings

Machine Learning Challenges. Evaluating Predictive Uncertainty, Visual Object Classification, and Recognising Tectual Entailment First PASCAL Machine Learning Challenges Workshop, MLCW 2005, Southampton, UK, April 11-13, 2005, Revised Selected Papers

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings

Software Engineering for Multi-Agent Systems IV Research Issues and Practical Applications

Advances in Machine Learning and Cybernetics 4th International Conference, ICMLC 2005, Guangzhou, China, August 18-21, 2005, Revised Selected Papers