Дов Габбай

Израильский логик (родился в 1945 г.)

Дов М. Габбай ( / ɡ ə ˈ b eɪ / ; родился 26 октября 1945 года) — израильский логик. Он является почётным профессором логики имени Августа Де Моргана в Группе логики , языка и вычислений , Департамента компьютерных наук , Королевского колледжа Лондона .

Работа

Габбай является автором более четырехсот пятидесяти исследовательских работ и более тридцати исследовательских монографий. Он является редактором нескольких международных журналов, а также многих справочных работ и руководств по логике, включая Handbook of Philosophical Logic (совместно с Францем Гюнтнером ), Handbook of Logic in Computer Science (совместно с Сэмсоном Абрамски и Т.С.Э. Майбаумом ) и Handbook of Logic in Artificial Intelligence and Logic Programming (совместно с К.Дж. Хоггером и Дж.А. Робинсоном ).

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

Он является председателем и основателем нескольких международных конференций, руководителем Европейского фонда логики, языка и информации и президентом Международной логической группы IGPL. Он является основателем и сопрезидентом Международной федерации вычислительной логики. ^{[2] [3]} Он также является одним из четырех основателей и многолетним членом совета FoLLI, Ассоциации логики, языка и информации, из которой он сейчас вышел на пенсию. Он остается пожизненным членом.

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

Регулярные должности

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

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

• Сэмсон Абрамски , Дов М. Габбей , Т.С.Э. Майбаум. Справочник по логике в информатике, тома 1-5. Clarendom Press, Оксфорд, 1992–2000.
• Артур С. д'Авила Гарсес , Луис К. Ламб, Дов Габбай. Нейро-символическое когнитивное мышление. Спрингер, 2009. ISBN  978-3540732457.
• Майкл Д. Фишер, Дов М. Габбей, Луис Вила (ред.). Справочник по временным рассуждениям в искусственном интеллекте. Elsevier, 2005.
• Дов М. Габбей: Теоретические основы немонотонных рассуждений в экспертных системах. В: Apt KR (ред.) Логики и модели параллельных систем. Серия NATO ASI (Серия F: Компьютерные и системные науки), т. 13. Springer, Берлин, Гейдельберг, стр. 439–457, 1985.
• Дов М. Габбей (ред.). Что такое логическая система? Исследования по логике и вычислениям, Oxford University Press, 1994.
• Дов М. Габбей. Маркированные дедуктивные системы, т. 1. Clarendon Press, Оксфорд, 1996. ISBN 9780198538332 
• Дов М. Габбей. Логика волокнистых структур. Clarendon Press, Оксфорд, 1998. ISBN 9780191590108 
• Дов М. Габбей, Ян Ходкинсон, Марк Рейнольдс: Временная логика: математические основы и вычислительные аспекты, т. 1. Clarendon Press, Оксфорд, 1994. ISBN 978-0198537694 
• Дов М. Габбай, Аги Куруц, Фрэнк Вольтер, Михаил Захарьящев: Многомерные модальные логики: теория и приложения. Северная Голландия, 2003.
• Дов М. Габбай, Амир Пнуэли , Сахарон Шелах , Джонатан Стави. О временном анализе справедливости. POPL'80: Труды 7-го ежегодного симпозиума SIGPLAN-SIGACT ACM по принципам языков программирования, январь 1980 г., стр. 163–173, ACM Press.
• Дов М. Габбей и Джон Вудс . Актуальность повестки дня: исследование формальной прагматики. Северная Голландия, 2003.
• Рут М. Кемпсон , Вильфрид Мейер-Виол, Дов М. Габбей: Динамический синтаксис: поток понимания языка Архивировано 27 мая 2019 г. в Wayback Machine . Блэквелл, 2000. ISBN 978-0-631-17612-1 

Ссылки

1. Дов Габбай в проекте «Генеалогия математики»
2. "Официальный сайт". 25 января 2019 г. Получено 26 декабря 2020 г.
3. [1] ^{[ мертвая ссылка ]}
4. "College Publications - О нас". www.collegepublications.co.uk .
5. Сергей Артемов, Артур д'Авила Гарсес, Луис К. Лэмб, Говард Барринджер и Джон Вудс (2005). Мы им покажем! Эссе в честь Дова Габбея. Том 1, Том 2. Лондон: Международная федерация вычислительной логики, College Publications. ISBN 9781904987123.{{cite book}}: CS1 maint: несколько имен: список авторов ( ссылка )

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

• Домашняя страница