Neural-symbolic cognitive reasoning - D'Avila Garcez, Artur S. 1970- (Cognitive technologies, 2009)