Includes papers - presented at AI-2007, the Twenty-seventh SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, held in Cambridge in December 2007 - that are divided into sections on Synthesis and Prediction, Scheduling and Search, Diagnosis and Monitoring, and Analysis and Evaluation.