Neural Symbolic Learning Systems Foundations And Applications Author Artur Sdavilla Garcez Oct 2002