The papers in this volume are the refereed technical papers presented at AI2005, the Twenty-fiftth SGAI International Conference on theory, practical and application of Artificial Intelligence, held in Cambridge in December 2005. The papers in this volume present new and innovative developments in the field, divided into sections on Machine Learning, Knowledge Representation and Reasoning, Knowledge Acquisition, Constraint...