International Center for Computational Logic
Forschungsgruppen stellen sich vor
Automatentheorie
Franz Baader
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
Neueste Publikationen
The Chase in Lean - Crafting a Formal Library for Existential Rule Research
KR 2026, to appear
Details Download
Non-Global Parikh Tree Automata
Journal of Automata, Languages and Combinatorics, to appear
Details
Global one-counter tree automata
Theoretical Computer Science, 1071, 2026
Details
NEUIGKEITEN
13. Januar 2026Tim Lyon ist dem Herausgebergremium des Bulletin of the Section of Logic beigetreten
27. November 2025GPTKB wird bei ISWC als beste Demo prämiert
23. Oktober 2025Dörthe Arndt gewinnt Rule Challenge Best Paper Award bei RuleML+RR 2025
30. September 2025Filippo De Bortoli gewinnt Best Student Paper Award bei FroCoS 2025
20. Januar 2025ICCL Forschende tragen zur Lean-Standardbibliothek bei
… weitere ErgebnisseVERANSTALTUNGEN
30. April 2026Vortrag: Reliable Problem Solving via LLMs with Symbolic Argumentation
Unsere Projekte
Unsere Partner
