Дов Габбай

Материал из Циклопедии
Перейти к: навигация, поиск

Дов Габбай

DovGabbay.jpg
Дата рождения 23 октября 1945 года













Бернард Дов Габбай (англ. Bernard Dov Gabbay) — израильский логик[1].

[править] Биография

Родился 23 октября 1945 года.

В 1966 году получил степень бакалавра по математике и физике в Еврейском университете в Иерусалиме.

В 1967 году получил степень магистра логики в Еврейском университете в Иерусалиме.

В 1968—1970 годах — преподаватель Еврейского университета в Иерусалиме.

В 1969 году получил докторскую степень по логике в Еврейском университете в Иерусалиме.

В 1970—1975 годах — преподаватель Стэнфордского университета.

В 1975—1983 годах — преподаватель Университета им. Бар-Илана.

В 1983—1998 годах — профессор вычислительной техники в Имперском колледже Лондона.

С 1998 года — профессор компьютерных наук, профессор философии, профессор логики в Королевском колледже Лондона.

С 2009 года — профессор Университета им. Бар-Илана.

С 2015 года — профессор логики Ашкелонского академического колледжа.

Является автором более 450 научных статей и более 30 научных монографий.

[править] Труды

  • Fisher, Michael David; Gabbay, Dov M.; Vila, Lluis (2005), Handbook of Temporal Reasoning in Artificial Intelligence, Foundations of Artificial Intelligence, 1, Elsevier, p. 150, ISBN 9780080533360.
  • Model Theory for Intuitionsitic logic, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, Bd. 18, S. 49–54, 1972.
  • Investigations in Modal and Tense Logics with Applications, Synthese, Bd. 92, D. Reidel, 1976.
  • mit A. Garcez und K. Broda: Neural-Symbolic Learning Systems: Foundations and Applications, Springer Verlag, 2002.
  • mit A. Kurucz, F. Wolter und M. Zakhryaschev: Many Dimensional Modal Logics, Elsevier, Studies in Logic, 2003.

[править] Источники

Персональные инструменты
Пространства имён

Варианты
Действия
Навигация
Инструменты