Artur d'Avila Garcez
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. 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.
Link from a Wikipage to another Wikipage
primaryTopic
Artur d'Avila Garcez
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. 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.
has abstract
Artur d'Avila Garcez (born 197 ...... in Artificial Neural Networks.
@en
Link from a Wikipage to an external page
Wikipage page ID
28,099,363
page length (characters) of wiki page
Wikipage revision ID
968,990,835
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
hypernym
sameAs
comment
Artur d'Avila Garcez (born 197 ...... in Artificial Neural Networks.
@en
label
Artur d'Avila Garcez
@en