Artura d’Avila Garceza

Artur d'Avila Garcez (ur. 1970) jest badaczem w dziedzinie logiki obliczeniowej i obliczeń neuronowych , w szczególności systemów hybrydowych mających zastosowanie w weryfikacji oprogramowania i ekstrakcji informacji . Jego wkład obejmuje neuronowo-symboliczne systemy uczenia się i nieklasyczne modele obliczeniowe łączące solidne uczenie się i rozumowanie. Jest profesorem informatyki w City, University London .

   Garcez jest współautorem Neural-Symbolic Learning Systems (Springer, 2002, ISBN 978-1-85233-512-0 ) i Neural-Symbolic Cognitive Reasoning (Springer, 2009, ISBN 978-3-540-73245-7 ). Jest redaktorem Journal of Logic and Computation , Oxford University Press oraz członkiem stowarzyszonym Behavioural and Brain Sciences , Cambridge University Press . Jest wymieniony w Marquis Who's Who in the World i Marquis Who's Who in Science and Engineering.

Garcez uzyskał stopień doktora w Imperial College London w 2000 roku pod kierunkiem Dova Gabbay'a . Tytuł jego pracy magisterskiej to „ Udoskonalanie teorii niemonotonicznej w sztucznych sieciach neuronowych ”.

Linki zewnętrzne

• Strona główna
• Publikacje , które są wymienione w DBLP