Marcus Hutter Rocco A. Servedio Eiji Takimoto Editors' Introduction. 1-8 2007 conf/alt/2007 ALT http://dx.doi.org/10.1007/978-3-540-75225-7_1 db/conf/alt/alt2007.html#HutterST07