Hector Geffner Inference and Learning in Planning. 2 2009 ALT http://dx.doi.org/10.1007/978-3-642-04414-4_2 conf/alt/2009 db/conf/alt/alt2009.html#Geffner09