International Center for Computational Logic

Willkommen beim

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

Forschungsgruppen stellen sich vor

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

Neuigkeit vom 23. September 2026

Hannes Straß und Pascal Kettmann gewinnen den Harold Boley Distinguished Paper Award

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

Pascal Kettmann, Hannes Straß, Jesse Heyninck, Jeroen Spaans
Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory
The 10th International Joint Conference on Rules and Reasoning, to appear
Details

Iosif Apostolakis, Hannes Straß, Johannes P. Wallner
Assumption-Based Argumentation Through the Lens of Approximation Fixpoint Theory
In Katie Atkinson, eds., Proceedings of the Eleventh International Conference on Computational Models of Argument (COMMA), 437–448, 2026. IOS Press
Details Download

Hannes Straß, Johannes P. Wallner
On the Complexity of Initial Models in Abstract Dialectical Frameworks
In Katie Atkinson, eds., Proceedings of the Eleventh International Conference on Computational Models of Argument (COMMA), 113–124, 2026. IOS Press
Details Download

Tim Lyon, Omar Taher
Optimizing Proof-Search via Linearization for Gödel-Löb Logic with Tree-Hypersequents
In Giorgio Bacci and Mickaël Randour, eds., Proceedings Seventeenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2026), volume 454, 148-164, 2026. Electronic Proceedings in Theoretical Computer Science
Details

Komplette Publikationsliste anzeigen

NEUIGKEITEN

23. September 2026

Hannes Straß und Pascal Kettmann gewinnen den Harold Boley Distinguished Paper Award

9. Juli 2026

Kurs über Standpoint Logic auf der ESSAI 2026 von Tim Lyon und Hannes Straß

7. Juli 2026

Jonas Karge verteidigt erfolgreich seine Dissertation über Multi-Agent Belief Management

2. Juli 2026

Hannes Straß erhält Lehrpreis des Fachschaftsrats für „Algorithmische Spieltheorie"

27. März 2026

Franz Baader gewinnt Best Paper Award bei FoIKS 2026

… weitere Ergebnisse

iCal

VERANSTALTUNGEN

8. Oktober 2026

Vortrag: Pseudo-Closed Family Verification is NP-Complete (Or: How Claude Helped Tackle Bernhard’s Problem)

15. Oktober 2026

Vortrag: Towards Finite Satisfiability Problem for Propositional Dynamic Logic with Loops

22. Oktober 2026

Vortrag: Recovering Explanations from Transformed Rule-Based Ontologies

22. Oktober 2026

Vortrag: Stratified Negation in RDF Rules: A Correct Approach

5. November 2026

Vortrag: Reinforcement Learning for BDD Variable Ordering

… weitere Ergebnisse

Unsere Projekte

Unsere Partner