International Center for Computational Logic

Willkommen beim

Dresdens Site für Wissenstechnologien und Logik in der Informatik
Unsere Gruppen

Forschungsgruppen stellen sich vor

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

Neuigkeit vom 13. Januar 2026

Tim Lyon ist dem Herausgebergremium des Bulletin of the Section of Logic beigetreten

Mehr erfahren

International Center for Computational Logic

                  

Das International Center for Computational Logic (ICCL) ist ein internationales Kompetenzzentrum für Forschung und Lehre im Bereich Computational Logic, mit besonderer Betonung von Algebra, Wissensrepräsentation, Logik und Formalen Methoden in der Informatik. Es wurde im Oktober 2003 an der TU Dresden gegründet. Die folgenden Forschungsgruppen sind mit dem ICCL assoziiert:

• Algebra und Diskrete Strukturen
• Algebraische und logische Grundlagen der Informatik
• Automatentheorie
• Computational Logic
• Knowledge-aware Artificial Intelligence
• Logische Programmierung und Argumentation
• Wissensbasierte Systeme

Mitarbeiter und Gäste

Personen beim International Center for Computational Logic

Neueste Publikationen

Lukas Gerlach
The Chase in Lean - Crafting a Formal Library for Existential Rule Research
KR 2026, to appear
Details Download

Luisa Herrmann, Johannes Osterholzer
Non-Global Parikh Tree Automata
Journal of Automata, Languages and Combinatorics, to appear
Details

Luisa Herrmann, Richard Mörbitz
Global one-counter tree automata
Theoretical Computer Science, 1071, 2026
Details

Jonas Karge
Human-AI Ranking Aggregation
Talk, 2026
Details

Komplette Publikationsliste anzeigen

NEUIGKEITEN

13. Januar 2026

Tim Lyon ist dem Herausgebergremium des Bulletin of the Section of Logic beigetreten

27. November 2025

GPTKB wird bei ISWC als beste Demo prämiert

23. Oktober 2025

Dörthe Arndt gewinnt Rule Challenge Best Paper Award bei RuleML+RR 2025

30. September 2025

Filippo De Bortoli gewinnt Best Student Paper Award bei FroCoS 2025

20. Januar 2025

ICCL Forschende tragen zur Lean-Standardbibliothek bei

… weitere Ergebnisse

iCal

VERANSTALTUNGEN

30. April 2026

Vortrag: TBA

Unsere Projekte

Unsere Partner