Дов Габбай - Dov Gabbay

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

Дов М. Gabbay ( / ɡ ə б / , родился 23 октября 1945) является израильский логик. Он Огастес де Морган , профессор почётный из логики в группе логики , языке и вычислений , факультет компьютерных наук , Королевский колледж в Лондоне .

Работа

Габбей является автором более четырехсот пятидесяти научных работ и более тридцати исследовательских монографий. Он является редактором нескольких международных журналов, а также многих справочных работ и справочников по логике, включая Справочник по философской логике Францем Гентнером ), Справочник по логике в компьютерных науках] Самсоном Абрамски и Т.С.Э. Майбаумом ) и Справочник логики в искусственном интеллекте и логическом программировании (совместно с CJ Hogger и JA Robinson ).

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

Он является председателем и основателем нескольких международных конференций, руководителем Европейского фонда логики, языка и информации и президентом международной группы IGPL Logic Group. Он является основателем и совместным президентом Международной федерации вычислительной логики. Он также является одним из четырех основателей и на протяжении многих лет членом совета FoLLI, Ассоциации логики, языка и информации, из которой он сейчас на пенсии. Он остается пожизненным членом.

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

Обычные должности

Избранные произведения

Рекомендации

внешние ссылки