Neural-symbolic learning systems foudations and applications - D'Avila Garcez, Artur S. 1970- (Springer, 2002)