Proceedings

The Proceedings of CAI 2007 have been published by Springer in LNCS series as volume number 4728. It is also available via SpringerLink.