Neural-symbolic learning systemsArtur S. D'Avila Garcez, Krysia B. Broda, Dov M. Gabbay · First published 2002Open the Tome