Artur d'Avila Garcez

{{short description|British computer scientist}} {{Use dmy dates|date=September 2019}} '''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''<ref>{{Cite book |last=D'Avila Garcez |first=Artur S. |title=Neural-symbolic learning systems: foundations and applications |last2=Broda |first2=Krysia |last3=Gabbay |first3=Dov M. |date=2002 |publisher=Springer |isbn=978-1-85233-512-0 |series=Perspectives in neural computing}}</ref> and ''Neural-Symbolic Cognitive Reasoning''.<ref>{{Cite book |last=D'Avila Garcez |first=Artur S. |title=Neural-symbolic cognitive reasoning |last2=Lamb |first2=Luis C. |last3=Gabbay |first3=Dov M. |date=2009 |publisher=Springer |isbn=978-3-540-73245-7 |series=Cognitive technologies}}</ref> 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]].<ref>{{MathGenealogy | id=95664}}.</ref> The title of his thesis is ''Nonmonotonic Theory Refinement in Artificial Neural Networks''.

==References== {{reflist}}

==External links== *[http://www.soi.city.ac.uk/~aag Homepage] *[http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/Garcez:Artur_S=_d=Avila.html Publications] which are listed at [[DBLP]]

{{DEFAULTSORT:Garcez, Artur}} [[Category:British artificial intelligence researchers|Garcez, Artur S. d'Avila]] [[Category:British cognitive scientists|Garcez, Artur S. d'Avila]] [[Category:Alumni of Imperial College London|Garcez, Artur S. d'Avila]] [[Category:1970 births|Garcez, Artur S. d'Avila]] [[Category:Living people|Garcez, Artur S. d'Avila]] [[Category:Scientists from Rio de Janeiro (city)|Garcez, Artur S. d'Avila]] [[Category:Academics of City, University of London|Garcez, Artur S. d'Avila]]