Neural-Symbolic Cognitive Reasoning door Artur S. D'Avila Garcez & Luis C. Lamb