Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Artur_d'Avila_Garcez> ?p ?o. }
Showing items 1 to 68 of
68
with 100 items per page.
- Artur_d'Avila_Garcez abstract "Artur 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 Reader in 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. His Erdős number is 3.".
- Artur_d'Avila_Garcez birthDate "1970".
- Artur_d'Avila_Garcez birthPlace Brazil.
- Artur_d'Avila_Garcez birthPlace Rio_de_Janeiro.
- Artur_d'Avila_Garcez birthYear "1970".
- Artur_d'Avila_Garcez viafId "5207660".
- Artur_d'Avila_Garcez wikiPageExternalLink Garcez:Artur_S=_d=Avila.html.
- Artur_d'Avila_Garcez wikiPageExternalLink ~aag.
- Artur_d'Avila_Garcez wikiPageID "28099363".
- Artur_d'Avila_Garcez wikiPageRevisionID "524163377".
- Artur_d'Avila_Garcez dateOfBirth "1970".
- Artur_d'Avila_Garcez hasPhotoCollection Artur_d'Avila_Garcez.
- Artur_d'Avila_Garcez name "Artur S. d'Avila Garcez".
- Artur_d'Avila_Garcez placeOfBirth Brazil.
- Artur_d'Avila_Garcez placeOfBirth Rio_de_Janeiro.
- Artur_d'Avila_Garcez shortDescription "UK Computer Scientist".
- Artur_d'Avila_Garcez description "UK Computer Scientist".
- Artur_d'Avila_Garcez description "UK Computer Scientist".
- Artur_d'Avila_Garcez subject Category:1970_births.
- Artur_d'Avila_Garcez subject Category:Academics_of_City_University_London.
- Artur_d'Avila_Garcez subject Category:Alumni_of_Imperial_College_London.
- Artur_d'Avila_Garcez subject Category:Artificial_intelligence_researchers.
- Artur_d'Avila_Garcez subject Category:Cognitive_scientists.
- Artur_d'Avila_Garcez subject Category:Living_people.
- Artur_d'Avila_Garcez subject Category:People_from_Rio_de_Janeiro_(city).
- Artur_d'Avila_Garcez type Academician109759069.
- Artur_d'Avila_Garcez type AcademicsOfCityUniversityLondon.
- Artur_d'Avila_Garcez type Adult109605289.
- Artur_d'Avila_Garcez type AlumniOfImperialCollegeLondon.
- Artur_d'Avila_Garcez type Alumnus109786338.
- Artur_d'Avila_Garcez type ArtificialIntelligenceResearchers.
- Artur_d'Avila_Garcez type CausalAgent100007347.
- Artur_d'Avila_Garcez type CognitiveScientist109934647.
- Artur_d'Avila_Garcez type CognitiveScientists.
- Artur_d'Avila_Garcez type Educator110045713.
- Artur_d'Avila_Garcez type Intellectual109621545.
- Artur_d'Avila_Garcez type LivingPeople.
- Artur_d'Avila_Garcez type LivingThing100004258.
- Artur_d'Avila_Garcez type Object100002684.
- Artur_d'Avila_Garcez type Organism100004475.
- Artur_d'Avila_Garcez type PeopleFromRioDeJaneiro(city).
- Artur_d'Avila_Garcez type Person100007846.
- Artur_d'Avila_Garcez type PhysicalEntity100001930.
- Artur_d'Avila_Garcez type Professional110480253.
- Artur_d'Avila_Garcez type ResearchWorker110523076.
- Artur_d'Avila_Garcez type Scholar110557854.
- Artur_d'Avila_Garcez type Scientist110560637.
- Artur_d'Avila_Garcez type Whole100003553.
- Artur_d'Avila_Garcez type YagoLegalActor.
- Artur_d'Avila_Garcez type YagoLegalActorGeo.
- Artur_d'Avila_Garcez type Agent.
- Artur_d'Avila_Garcez type Person.
- Artur_d'Avila_Garcez type Person.
- Artur_d'Avila_Garcez type Q215627.
- Artur_d'Avila_Garcez type Q5.
- Artur_d'Avila_Garcez type Agent.
- Artur_d'Avila_Garcez type NaturalPerson.
- Artur_d'Avila_Garcez type Thing.
- Artur_d'Avila_Garcez type Person.
- Artur_d'Avila_Garcez comment "Artur 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 Reader in Computer Science at City University London.".
- Artur_d'Avila_Garcez label "Artur d'Avila Garcez".
- Artur_d'Avila_Garcez sameAs m.0cmblsn.
- Artur_d'Avila_Garcez sameAs Q4801683.
- Artur_d'Avila_Garcez sameAs Q4801683.
- Artur_d'Avila_Garcez sameAs Artur_d'Avila_Garcez.
- Artur_d'Avila_Garcez wasDerivedFrom Artur_d'Avila_Garcez?oldid=524163377.
- Artur_d'Avila_Garcez isPrimaryTopicOf Artur_d'Avila_Garcez.
- Artur_d'Avila_Garcez name "Artur S. d'Avila Garcez".