Artur d'Avila Garcez (born 1970) is a researcher in the field ofcomputational logic andneural computation, in particularhybrid systems with application insoftware verification andinformation extraction. His contributions include neural-symbolic learning systems and nonclassical models of computation combining robust learning and reasoning. He is a Professor of Computer Science atCity, University London.
Garcez is co-author ofNeural-Symbolic Learning Systems[1] andNeural-Symbolic Cognitive Reasoning.[2] He is an editor of theJournal of Logic and Computation,Oxford University Press and associate member ofBehavioral and Brain Sciences,Cambridge University Press. He is listed in Marquis Who's Who in the World and Marquis Who's Who in Science and Engineering.
Garcez received his PhD fromImperial College London in 2000 under the supervision ofDov Gabbay.[3] The title of his thesis isNonmonotonic Theory Refinement in Artificial Neural Networks.
| International | |
|---|---|
| National | |
| Academics | |
| People | |
| Other | |
 | This article on a computer specialist of the United Kingdom is astub. You can help Wikipedia byexpanding it. |
