Дов Габбай

редактировать
Дов М Габбай
Родился(1945-10-23) 23 октября 1945 года (возраст 75)
ОбразованиеБакалавр наук (Математика и физика) 1966, Еврейский университет, Иерусалим. M.Sc. (Логика) 1967, Еврейский университет. Ph.D. (Логика) 1969, Еврейский университет
Известныйтеоремой Габбая о разделении, основы немонотонных рассуждений в экспертных системах
НаградыИностранный член Королевского общества Канады (FRSC). Член Фонда Александра фон Гумбольдта (FAvH). Член Королевского общества of Arts (FRSA). Docteur Honoris Causa, Université Paul Sabatier, Тулуза III. Doctor Honoris Causa, Университет Агдера, Норвегия
Научная карьера
ПоляИнформатика. Математика. Философия. Логика
УчрежденияКоролевский колледж Лондона. Университет Бар-Илан. Люксембургский университет. Манчестерский университет. Имперский колледж Лондона. Université Paul Sabatier. Академический колледж Ашкелона
Диссертация Неклассическая логика (1969)
Докторант Азриэль Леви. Майкл О. Рабин

Дов М. Габбай (; родился 23 октября 1945 г.) - израильский логик. Он Огастес Де Морган Профессор Заслуженный из Логики в Группе Логики, Язык и Вычисления, факультет информатики, Королевский колледж Лондона.

Содержание
  • 1 Работа
  • 2 Обычные должности
  • 3 Избранные труды
  • 4 Ссылки
  • 5 Внешние ссылки
Работа

Габбай является автором более четырехсот пятидесяти научных работ и более тридцати научных монографий. Он является редактором нескольких международных журналов и многих справочных работ и справочников по логике, включая Справочник по философской логикеФранцем Гюнтнером ), Справочник по логике в компьютере. ScienceСамсоном Абрамски и TSE Maibaum ) и Справочник по логике в искусственном интеллекте и логическом программировании (с CJ Hogger и Дж. А. Робинсон ).

Он известен своими новаторскими работами по логике в информатике и искусственном интеллекте, особенно по применению (исполняемого) темпоральной логики в информатике [1], в частности формальная проверка, логические основы немонотонных рассуждений и искусственного интеллекта, введение логики расслоения и теории помеченных дедуктивных систем.

. Председатель и основатель нескольких международных конференций, исполнительный директор Европейского фонда логики, языка и информации и президент International IGPL Logic Group. Он является основателем и со-президентом (UK Charity, Number 1112512). Он также является одним из четырех основателей и на протяжении многих лет членом совета FoLLI, Ассоциации логики, языка и информации, из которой он сейчас на пенсии. Он остается пожизненным членом.

Он вместе с Джейн Сперр является соучредителем College Publications, некоммерческого начинающего академического издательства, намеревающегося конкурировать с крупными дорогими издателями. по доступным ценам, не требуя передачи авторских прав от авторов. Двухтомник Festschrift в его честь был опубликован в 2005 г. издательством College Publications

Regular Positions

1968–1970 гг. Инструктор, Еврейский университет Иерусалима. 1970–1973 Доцент философии Стэнфордский университет. 1973–1975 Доцент философии Стэнфордского университета. 1975–1977 Доцент, Университет Бар-Илан. 1977–1983 гг. Леди Дэвис, профессор логики, университет Бар-Илан. 1983–1998 гг. Профессор вычислительной техники, Имперский колледж науки, технологии и медицины, Лондон. 1998 г. - настоящее время Профессор кафедры Вычислительная техника, профессор философии, профессор логики Августа де Моргана, Королевский колледж, Лондон. 2009 г. - по настоящее время Специальный профессор Университета Бар-Илан. 2015 г. - по настоящее время Профессор логики, Академический колледж Ашкелона

Избранные труды
Ссылки
Внешние ссылки
Последняя правка сделана 2021-05-18 14:31:46
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте