フランツ・バーダー

フランツ・バーダー（1959年6月15日、シュパルト生まれ）は、ドレスデン工科大学のドイツ人コンピュータ科学者である。^{[3] [4] [5]}

彼は1989年にドイツのエアランゲン・ニュルンベルク大学でコンピュータサイエンスの博士号を取得し、^{[1]そこで4年間教育および研究助手を務めました。1989年に、彼は上級研究員およびプロジェクトリーダーとして}ドイツ人工知能研究センター（DFKI）に赴任しました。

1993年にアーヘン工科大学のコンピュータサイエンスの准教授となり、2002年にドレスデン工科大学のコンピュータサイエンスの教授となった。^[6]

彼は「統一理論、理論の組み合わせ、記述論理における推論への多大な貢献が認められ」2020年にエルブラン賞を受賞した。^[7]

• Baader, Franz; Nipkow, Tobias (1998)。Term Rewriting and All That。ケンブリッジ大学出版局。
• Baader, Franz (2003)。記述論理ハンドブック: 理論、実装、およびアプリケーション。ケンブリッジ大学出版局。ISBN 978-0-521-78176-3。
• Baader, Franz; Voronkov, Andrei (2005).プログラミング、人工知能、推論のためのロジック: 第 11 回国際会議。Springer。ISBN 978-3-540-25236-8。
• バーダー、フランツ、ホロックス、イアン、ルッツ、カーステン、サトラー、ウリ(2017)。記述論理入門。ケンブリッジ大学出版局。ISBN 978-0-521-87361-1。