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 2024.jpeg

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
CLG-zoom.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

Knowledge-aware Artificial Intelligence

Simon Razniewski
Die KAAI-Gruppe entwickelt neuartige Methoden zur Generierung, Extraktion und Konsolidierung von Wissen aus, für und mit Texten, Sprachmodellen (LLMs) und Wissensbanken (KBs). Weitere Information finden sich auf der [https://scads.ai/about-us/a… 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
2024 kbs group.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