Франц Баадер
Франц Баадер | |
|---|---|
| Рожденный | 15 июня 1959 г. |
| Научная карьера | |
| Учреждения | Дрезденский технологический университет , RWTH Ахенский университет , Университет Эрланген-Нюрнберг , Немецкий исследовательский центр искусственного интеллекта |
| Диссертация | Системы унификации и редукции многообразий полугрупп [1] (1989) |
| Докторантура | Клаус Лееб [1] |
| Докторанты | Ульрика Саттлер [2] |
| Веб-сайт | годы |
Франц Баадер (15 июня 1959, Шпалт ) — немецкий ученый-компьютерщик из Дрезденского технологического университета . [3] [4] [5]
Он получил степень доктора компьютерных наук в 1989 году в Университете Эрланген-Нюрнберг , Германия . [1] где он работал преподавателем и научным сотрудником в течение 4 лет. В 1989 году он поступил в Немецкий исследовательский центр искусственного интеллекта (DFKI) в качестве старшего научного сотрудника и руководителя проекта.
В 1993 году он стал доцентом кафедры информатики в RWTH Ахена , а в 2002 году — профессором информатики в Техническом университете Дрездена . [6]
Он получил премию Эрбрана за 2020 год «в знак признания его значительного вклада в теорию объединения , комбинации теорий и рассуждений в логике описания ». [7]
Работает
[ редактировать ]- Баадер, Франц; Нипков, Тобиас (1998). Переписывание терминов и все такое . Издательство Кембриджского университета.
- Баадер, Франц (2003). Справочник по описанию логики: теория, реализация и приложения . Издательство Кембриджского университета. ISBN 978-0-521-78176-3 .
- Баадер, Франц; Воронков, Андрей (2005). Логика для программирования, искусственный интеллект и рассуждение: 11-я международная конференция . Спрингер. ISBN 978-3-540-25236-8 .
- Баадер, Франц; Хоррокс, Ян ; Лутц, Карстен; Саттлер, Ули (2017). Введение в логику описания . Издательство Кембриджского университета. ISBN 978-0-521-87361-1 .
Ссылки
[ редактировать ]- ^ Jump up to: Перейти обратно: а б с Франц Баадер в проекте «Математическая генеалогия»
- ^ Саттлер, Ульрика (1998). Системы представления технологических знаний в приложениях химической технологии (кандидатская диссертация). Дрезденский технологический университет. Архивировано из оригинала 31 марта 2011 г. Проверено 18 июня 2012 г.
- ^ http://lat.inf.tu-dresden.de/~baader/index-en.html Домашняя страница Франца Баадера
- ^ Публикации Франца Баадера, индексируемые Google Scholar.
- ^ Франц Баадер на DBLP библиографическом сервере
- ^ «Дармштадтский университет: Франц Баадер» . Архивировано из оригинала 19 июля 2011 г. Проверено 25 февраля 2010 г.
- ^ «Премия Эрбрана за выдающийся вклад в автоматизированное мышление» . КЕЙД Инк . Проверено 18 июля 2021 г.
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
 | Эта статья о компьютерном специалисте из Германии незавершена . Вы можете помочь Википедии, расширив ее . |