International Center for Computational Logic

Willkommen beim

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

Forschungsgruppen stellen sich vor

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

Neuigkeit vom 27. März 2026

Franz Baader gewinnt Best Paper Award bei FoIKS 2026

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

Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph
Standpoint Logics with Defeasible Beliefs
In Ana Ozaki, Nico Potyka, eds., Proceedings of the 24th International Workshop on Non-Monotonic Reasoning (NMR 2025), CEUR, to appear
Details Download

Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
ACM Transactions on Computational Logic, 27(2):8:1-8:42, 2026
Details Download

Sebastian Rudolph
Pseudo-Closed Family Verification is NP-Complete (Or: How Claude Helped Tackle Bernhard’s Problem)
In Madalina Croitoru, Domingo López-Rodríguez, Gerd Stumme, eds., The Third International Joint Conference on Conceptual Knowledge Structures (CONCEPTS 2026), LNCS, to appear. Springer
Details Download

Sergei Obiedkov, Barış Sertkaya
Lattice-Based Approaches for Enumerating Stable Extensions in Abstract Argumentation Frameworks
In Madalina Croitoru, Domingo López-Rodríguez, Gerd Stumme, eds., The Third International Joint Conference on Conceptual Knowledge Structures (CONCEPTS 2026), LNCS, to appear. Springer
Details

Komplette Publikationsliste anzeigen

NEUIGKEITEN

27. März 2026

Franz Baader gewinnt Best Paper Award bei FoIKS 2026

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

… weitere Ergebnisse

iCal

VERANSTALTUNGEN

25. Juni 2026

Vortrag: Multi-Agent Belief Management

2. Juli 2026

Vortrag: TBA

9. Juli 2026

Vortrag: TBA

30. Juli 2026

Vortrag: TBA

6. August 2026

Vortrag: TBA

… weitere Ergebnisse

Unsere Projekte

Unsere Partner