Gregor Leban Jure Zabkar Ivan Bratko An Experiment in Robot Discovery with ILP. 77-90 2008 ILP http://dx.doi.org/10.1007/978-3-540-85928-4_10 conf/ilp/2008 db/conf/ilp/ilp2008.html#LebanZB08