Franz Baader (15 de junio de 1959, Spalt ) es un informático alemán en la Universidad Tecnológica de Dresde . [3] [4] [5]
Franz Baader | |
---|---|
Nació | 15 de junio de 1959 |
Carrera científica | |
Instituciones | Universidad Técnica de Dresde , RWTH Aachen University , Universidad de Erlangen-Nürnberg , Centro Alemán de Investigación en Inteligencia Artificial |
Tesis | Unifikation und Reduktionssysteme für Halbgruppenvarietäten [1] (1989) |
Asesor de doctorado | Klaus Leeb [1] |
Estudiantes de doctorado | Ulrike Sattler [2] |
Sitio web | lat |
Recibió su doctorado en Ciencias de la Computación en 1989 de la Universidad de Erlangen-Nuremberg , Alemania , [1] donde fue asistente de docencia e investigación durante 4 años. En 1989, fue al Centro Alemán de Investigación de Inteligencia Artificial (DFKI) como investigador senior y líder del proyecto.
En 1993 se convirtió en profesor asociado de informática en RWTH Aachen y en 2002 profesor titular de informática en TU Dresden . [6]
Obras
- Baader, Franz; Nipkow, Tobias (1998). Reescritura de términos y todo eso . Prensa de la Universidad de Cambridge.
- Baader, Franz (2003). El manual de lógica descriptiva: teoría, implementación y aplicaciones . Prensa de la Universidad de Cambridge. ISBN 978-0-521-78176-3.
- Baader, Franz; Voronkov, Andrei (2005). Lógica para programación, inteligencia artificial y razonamiento: XI conferencia internacional . Saltador. ISBN 978-3-540-25236-8.
- Baader, Franz; Horrocks, Ian ; Lutz, Carsten; Sattler, Uli (2017). Introducción a la lógica descriptiva . Prensa de la Universidad de Cambridge. ISBN 978-0-521-87361-1.
Referencias
- ^ a b c Franz Baader en el Proyecto de genealogía de las matemáticas
- ^ Sattler, Ulrike (1998). Sistemas de representación del conocimiento tecnológico en una aplicación de ingeniería química (tesis doctoral). Universidad Tecnológica de Dresde.
- ^ http://lat.inf.tu-dresden.de/~baader/index-en.html Página de inicio de Franz Baader
- ^ Publicaciones de Franz Baader indexadas por Google Scholar
- ^ Franz Baader en elservidor de bibliografía DBLP
- ^ "Copia archivada" . Archivado desde el original el 19 de julio de 2011 . Consultado el 25 de febrero de 2010 .CS1 maint: copia archivada como título ( enlace )