Артур д'Авила Гарсес
Артур д'Авила Гарсес (1970 г.р.) — исследователь в области вычислительной логики и нейронных вычислений , в частности гибридных систем с применением в верификации программного обеспечения и извлечении информации . Его вклад включает в себя нейронно-символические системы обучения и неклассические модели вычислений, сочетающие надежное обучение и рассуждение. Он является профессором компьютерных наук в Сити Лондонском университете .
Гарсез — соавтор книги « Нейро-символические системы обучения». [1] и нервно-символическое когнитивное мышление . [2] Он является редактором журнала логики и вычислений издательства Оксфордского университета и ассоциированным членом отделения поведенческих наук и наук о мозге издательства Кембриджского университета . Он указан в журналах «Маркиз «Кто есть кто в мире»» и «Маркиз «Кто есть кто в науке и технике».
Гарсес получил докторскую степень в Имперском колледже Лондона в 2000 году под руководством Дова Габбая . [3] Название его диссертации — «Уточнение немонотонной теории в искусственных нейронных сетях» .
Ссылки
[ редактировать ]- ^ Д'Авила Гарсез, Артур С.; Брода, Крыся; Габбай, Дов М. (2002). Нейросимволические системы обучения: основы и приложения . Перспективы нейронных вычислений. Спрингер. ISBN 978-1-85233-512-0 .
- ^ Д'Авила Гарсез, Артур С.; Лэмб, Луис К.; Габбай, Дов М. (2009). Нейросимволическое когнитивное мышление . Когнитивные технологии. Спрингер. ISBN 978-3-540-73245-7 .
- ^ Артур д'Авила Гарсес в проекте «Математическая генеалогия» .
Внешние ссылки
[ редактировать ]- Домашняя страница
- Публикации , перечисленные в DBLP
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
 | Эта статья о компьютерном специалисте из Соединенного Королевства незавершена . Вы можете помочь Википедии, расширив ее . |