CHAIRMAN’S REPORT Presented at the ECCAI General Assembly on 30 August 2006 at ECAI-2006, Riva del Garda, Italy. Founded in 1982, ECCAI currently represents 26 European societies for Artificial Intelligence and is now

First Page		Document Content
Academia Luis Moniz Pereira Bernhard Nebel Austin Tate Alan Bundy Institute of Electrical and Electronics Engineers European Conference on Artificial Intelligence Artificial intelligence Fellows of the British Computer Society European Coordinating Committee for Artificial Intelligence		CHAIRMAN’S REPORT Presented at the ECCAI General Assembly on 30 August 2006 at ECAI-2006, Riva del Garda, Italy. Founded in 1982, ECCAI currently represents 26 European societies for Artificial Intelligence and is now Add to Reading List Source URL: www.eccai.org Download Document from Source Website File Size: 27,85 KB Share Document on Facebook

	Planning and Patching Proofs: Exercise Solutions Lucas Dixon and Alan Bundy August 26, 2010 1 DocID: 1xU8w - View Document
	Planning and Patching Proofs: Exercises Lucas Dixon and Alan Bundy August 26, 2010 1 DocID: 1xTsR - View Document
	Planning as Deductive Synthesis in Intuitionistic Linear Logic Lucas Dixon, Alan Smaill, and Alan Bundy {L.Dixon, A.Smaill, A.Bundy}@ed.ac.uk University of Edinburgh, Informatics, UK DocID: 1t0fv - View Document
	Best-First Rippling Moa Johansson, Alan Bundy, and Lucas Dixon School of Informatics, University of Edinburgh, Appleton Tower, Crichton St, Edinburgh EH8 9LE, UK {moa.johansson, a.bundy, lucas.dixon}@ed.ac.uk DocID: 1svvy - View Document
	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Conjecture Synthesis for Inductive Theories Moa Johansson · Lucas Dixon · Alan Bundy DocID: 1sdVx - View Document