Hector Geffner AI at 50: From Programs to Solvers - Models and Techniques for General Intelligence. 4 2008 CCIA http://dx.doi.org/10.3233/978-1-58603-925-7-4 conf/ccia/2008 db/conf/ccia/ccia2008.html#Geffner08