Artur d'Avila Garcez (born 1970) is a researcher in the field of

computational logic Computational logic is the use of logic to perform or reason about computation. It bears a similar relationship to computer science and engineering as mathematical logic bears to mathematics and as philosophical logic bears to philosophy. It is s ...

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 A hybrid system is a dynamical system that exhibits both continuous and discrete dynamic behavior – a system that can both ''flow'' (described by a differential equation) and ''jump'' (described by a state machine or automaton). Often, the t ...

with application in software verification and

information extraction Information extraction (IE) is the task of automatically extracting structured information from unstructured and/or semi-structured machine-readable documents and other electronically represented sources. In most of the cases this activity concer ...

. 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,

Oxford University Press Oxford University Press (OUP) is the university press of the University of Oxford. It is the largest university press in the world, and its printing history dates back to the 1480s. Having been officially granted the legal right to print books ...

and associate member of

Behavioral and Brain Sciences ''Behavioral and Brain Sciences'' is a bimonthly peer-reviewed scientific journal of Open Peer Commentary established in 1978 by Stevan Harnad and published by Cambridge University Press. It is modeled on the journal ''Current Anthropology'' (whic ...

Cambridge University Press Cambridge University Press is the university press of the University of Cambridge. Granted letters patent by King Henry VIII in 1534, it is the oldest university press in the world. It is also the King's Printer. Cambridge University Pre ...

. 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 Imperial College London (legally Imperial College of Science, Technology and Medicine) is a public research university in London, United Kingdom. Its history began with Prince Albert, consort of Queen Victoria, who developed his vision for a cu ...

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 auth ...

.. The title of his thesis is ''Nonmonotonic Theory Refinement in Artificial Neural Networks''.

References

External links

Homepage
which are listed at

DBLP DBLP is a computer science bibliography website. Starting in 1993 at Universität Trier in Germany, it grew from a small collection of HTML files and became an organization hosting a database and logic programming bibliography site. Since Novem ...

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