Artur d'Avila Garcez (born 1970) is a researcher in the field of computational logic and neural computation, in particular hybrid systems with application in software verification and information 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 at City University London, City, University London.
Garcez is co-author of ''Neural-Symbolic Learning Systems'' (Springer, 2002, ) and ''Neural-Symbolic Cognitive Reasoning'' (Springer, 2009, ). He is an editor of the Journal of Logic and Computation, Oxford University Press and associate member of Behavioral 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 from Imperial College London in 2000 under the supervision of Dov Gabbay.
[.] The title of his thesis is ''Nonmonotonic Theory Refinement in Artificial Neural Networks''.
References
External links
Homepage
which are listed at DBLP
Artificial intelligence researchers, Garcez, Artur S. d'Avila
British cognitive scientists, Garcez, Artur S. d'Avila
Alumni of Imperial College London, Garcez, Artur S. d'Avila
1970 births, Garcez, Artur S. d'Avila
Living people, Garcez, Artur S. d'Avila
People from Rio de Janeiro (city), Garcez, Artur S. d'Avila
Academics of City, University of London, Garcez, Artur S. d'Avila
{{UK-compu-bio-stub