Neural-Symbolic Cognitive Reasoning - d’Avila Garcez, Artur S.; Lamb, Luís C.; Gabbay, Dov M. (Springer Berlin Heidelberg, 2009)