Forschungsgruppen

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

Forschungsgruppen

Algebra-transparent.png

Algebra und Diskrete Strukturen

Manuel Bodirsky
Forschungsgruppe am Institut für Algebra an der Fakultät Mathematik der TU Dresden. Fields of Inter… weiterlesen
LAT group photo 2022 04.jpg

Automatentheorie

Franz Baader
Herr Prof. Dr.-Ing. Franz Baader wurde 2002 auf die Professur für Automatentheorie berufen. Seine Professur bietet grundlegende und vertiefende Lehrveranstaltungen für verschiedene Studiengänge an, und forscht auf den Gebieten Deduktion, Wissens… weiterlesen
CL-group-2021.png

Computational Logic

Sebastian Rudolph
Die Forschungsgruppe Computational Logic (CL) befasst sich mit Modellierung und automatischem Schließen in der logikbasierten Wissensrepräsentation. Dabei gilt unser Interesse sowohl den mathematischen und formalen Grundlagen diverser Paradigmen… weiterlesen
LPArg-Group-Photo.png

Logische Programmierung und Argumentation

Sarah Alice Gaggl
Die Forschungsgruppe Logische Programmierung und Argumentation an der Fakultät für Informatik und dem Institut für Künstliche Intelligenz befasst sich mit theoretischen und praktischen Aspekten der Logischen Programmierung im Speziellen mit Answ… weiterlesen
L-UdrXJ98F4.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 2022-01-25.jpg

Wissensbasierte Systeme

Markus Krötzsch
In der Forschungsgruppe Wissensbasierte Systeme beschäftigen wir uns mit Methoden der intelligenten Verwaltung und Verarbeitung von Informationen in Computersystemen. Unsere Arbeitsgebiete liegen dabei besonders im Bereich der symbolischen Künst… weiterlesen