Forschungsgruppen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Forschungsgruppen

Group-Automatentheorie-2016.jpg

Automatentheorie

Franz Baader
Cl-group-small-2016.png

Computational Logic

Sebastian Rudolph
Die Forschungsgruppe Computational Logic (CL) an der Fakultät Informatik der Technischen Universität Dresden befasst sich mit Modellierung und automatischem Schließen in der logikbasierten Wissensrepräsentation, einschließlich Fragen der Ausdruc… weiterlesen
Gruppenfoto-algi-2016-05.jpg

Verifikation und formale quantitative Analyse

Christel Baier
Die Forschungsgruppe Verifikation und formale quantitative Analyse beschäftigt sich mit der Modellierung, Spezifikation and Verifikation reaktiver Systeme, der quantitativen Analyse stochastischer Systeme sowie Probabilistic Model Checking. Die … weiterlesen
Knowledge-Based Systems 2017-11-07.jpg

Wissensbasierte Systeme

Markus Krötzsch
Die Forschungsgruppe Wissensbasierte Systeme beschäftigt sich mit Methoden der intelligenten Verwaltung und Verarbeitung von Informationen in Computersystemen. Dies umfasst Fragestellungen der formalen Wissensrepräsentation und des logischen Sch… weiterlesen
Kiwv-group-picture.jpg

Wissensverarbeitung

Steffen Hölldobler
Die Professur Wissensverarbeitung untergliedert sich gegenwärtig in zwei Schwerpunkte: menschliches Schließen in Logikprogramme abzubilden, und das Erfüllbarkeitsproblem und damit verwandte Probleme maschinell zu lösen. Auf beiden Gebieten wird … weiterlesen