Robert A. Kowalski The Logical Way to Be Artificially Intelligent. 1-22 2005 conf/clima/2005 CLIMA http://dx.doi.org/10.1007/11750734_1 db/conf/clima/climaVI2005.html#Kowalski05