About: Artur d'Avila Garcez     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatAlumniOfImperialCollegeLondon, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon
http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FArtur_d%27Avila_Garcez&invfp=IFP_OFF&sas=SAME_AS_OFF

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.

AttributesValues
rdf:type
rdfs:label
  • Artur d'Avila Garcez (en)
rdfs:comment
  • 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. (en)
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Link from a Wikipage to an external page
sameAs
dbp:wikiPageUsesTemplate
has abstract
  • 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 is co-author of Neural-Symbolic Learning Systems (Springer, 2002, ISBN 978-1-85233-512-0) and Neural-Symbolic Cognitive Reasoning (Springer, 2009, ISBN 978-3-540-73245-7). 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. (en)
gold:hypernym
schema:sameAs
prov:wasDerivedFrom
page length (characters) of wiki page
foaf:isPrimaryTopicOf
is Link from a Wikipage to another Wikipage of
is Wikipage redirect of
is foaf:primaryTopic of
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 67 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software