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 los 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 de computación no clásicos que combinan aprendizaje y razonamiento sólidos. Es profesor de Ciencias de la Computación en la City University de Londres .
Garcez es coautor de Sistemas de aprendizaje neuronal-simbólico [1] y Razonamiento cognitivo neuronal-simbólico . [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 en el mundo y Marquis Who's Who en ciencia e ingeniería.
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 monótona en redes neuronales artificiales .