The papers in this volume are the refereed technical papers presented at AI2003, the Twenty-third SGAI International Conference on theory, practical and application of Artificial Intelligence, held in Cambridge in December 2003. 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 Satisfaction and Scheduling,...