Ulrich Furbach

Ulrich Furbach (* 1948) ist ein deutscher Informatiker und Professor für Informatik an der Universität Koblenz-Landau.

Furbach studierte an der TU München und promovierte an der Universität der Bundeswehr München über Transformationsregeln für nichtdeterministische rekursive Funktionsdefinitionen. Dann habilitierte er sich an der TU München über Funktionen der Hornklausellogik und leitete dort von 1987 bis 1990 die Arbeitsgruppe Automated Reasoning. 1990 erhielt er einen Ruf als Universitätsprofessor in Koblenz.

Zu einem Schwerpunkt seiner Forschung zählt die Künstliche Intelligenz; seine Forschungsinteressen beinhalten Automatisches Beweisen, Wissensmanagement, Multi-Agenten-Systeme und E-Learning.

Weblinks

• Literatur von und über Ulrich Furbach im Katalog der Deutschen Nationalbibliothek
• Website

Normdaten: PND: 110084497 (PICA) | VIAF: 61781667 | WP-Personeninfo