Artur d'Avila Garcez (born 1970) is a researcher in the field of
computational logic and
neural computation
Neural computation is the information processing performed by networks of neurons. Neural computation is affiliated with the philosophical tradition known as Computational theory of mind, also referred to as computationalism, which advances the th ...
, in particular
hybrid systems with application in
software verification Software verification is a discipline of software engineering whose goal is to assure that software fully satisfies all the expected requirements.
Broad scope and classification
A broad definition of verification makes it equivalent to software t ...
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.
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
The ''Journal of Logic and Computation'' is a peer-reviewed academic journal focused on logic and computing. It was established in 1990 and is published by Oxford University Press under licence from Professor Dov Gabbay
Dov M. Gabbay (; born Oc ...
,
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
Dov M. Gabbay (; born October 23, 1945) is an Israeli logician. He is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London.
Work
Gabbay has authore ...
.
[.] The title of his thesis is ''Nonmonotonic Theory Refinement in Artificial Neural Networks''.
References
External links
Homepage
which are listed at DBLP
Garcez, Artur S. d'Avila
Garcez, Artur S. d'Avila
Garcez, Artur S. d'Avila
Garcez, Artur S. d'Avila
Garcez, Artur S. d'Avila
Garcez, Artur S. d'Avila
Garcez, Artur S. d'Avila
{{UK-compu-bio-stub