Artur d'Avila Garcez (nacido en 1970) es un investigador en el campo de la lógica computacional y la computación neuronal , en particular en sistemas híbridos con aplicación en la verificación de software y la extracción de información . Sus contribuciones incluyen sistemas de aprendizaje neuronal-simbólico y modelos no clásicos de computación que combinan aprendizaje robusto y razonamiento. Es profesor de Ciencias de la Computación en la City, University London .
Garcez es coautor de Neural-Symbolic Learning Systems [1] y Neural-Symbolic Cognitive Reasoning [2] . Es editor del Journal of Logic and Computation , Oxford University Press y miembro asociado de Behavioral and Brain Sciences , Cambridge University Press . Está incluido en Marquis Who's Who in the World y Marquis Who's Who in Science and Engineering.
Garcez recibió su doctorado en el Imperial College de Londres en 2000 bajo la supervisión de Dov Gabbay . [3] El título de su tesis es Refinamiento de la teoría no monotónica en redes neuronales artificiales .