Франц Баадер

Франц Баадер (15 июня 1959, Спальт ) - немецкий ученый-компьютерщик в Дрезденском технологическом университете.

Он получил докторскую степень В 1989 году получил степень доктора компьютерных наук в Университете Эрланген-Нюрнберг, Германия, где он в течение 4 лет работал преподавателем и научным сотрудником. В 1989 году он перешел в Немецкий исследовательский центр искусственного интеллекта (DFKI) в качестве старшего научного сотрудника и руководителя проекта.

В 1993 году он стал адъюнкт-профессором информатики в RWTH Aachen, а в 2002 году - профессором информатики в Дрезденском техническом университете.

• Баадер, Франц; Нипков, Тобиас (1998). Перезапись терминов и все такое. Cambridge University Press.
• Баадер, Франц (2003). Справочник по логике описания: теория, реализация и приложения. Издательство Кембриджского университета. ISBN 978-0-521-78176-3.
• Баадер, Франц; Воронков, Андрей (2005). Логика для программирования, искусственного интеллекта и рассуждений: 11-я международная конференция. Springer. ISBN 978-3-540-25236-8.
• Баадер, Франц; Хоррокс, Ян ; Лутц, Карстен; Саттлер, Ули (2017). Введение в логику описания. Издательство Кембриджского университета. ISBN 978-0-521-87361-1.