In recent years, Artificial Intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on 'the big picture' -

This volume constitutes the proceedings of the 2nd International Joint C- ference on Automated Reasoning (IJCAR 2004) held July 4–8, 2004 in Cork, Ireland. IJ

This collection of essays examines the key achievements and likely developments in the area of automated reasoning. In keeping with the group ethos, Automated R

Constitutes the proceedings of the 5th International Conference on Mathematical Knowledge Management, MKM 2006, held in Wokingham. This book includes 22 full pa

This interdisciplinary volume introduces new theories and ideas on creativity from the perspectives of science and art. Featuring contributions from leading res