TY - RPRT TI - Neural-Symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning AU - Artur d'Avila Garcez AU - Marco Gori AU - Luis C. Lamb AU - Luciano Serafini AU - Michael Spranger AU - Son N. Tran PY - 2019 UR - https://arxiv.org/abs/1905.06088 ID - 1905.06088 ER -