International Center for Computational Logic

Willkommen beim

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

Forschungsgruppen stellen sich vor

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

Neuigkeit vom 9. Juli 2026

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

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

Sebastian Rudolph
Pseudo-Closed Family Verification is NP-Complete (Or: How Claude Helped Tackle Bernhard’s Problem)
Conceptual Knowledge Structures, volume 16811 of LNCS, to appear. Springer
Details Download

Alex Ivliev, Markus Krötzsch, Maximilian Marx
Recovering Explanations from Transformed Rule-Based Ontologies
In Manolis Koubarakis, Maria-Esther Vidal, Axel Polleres, Marieke van Erp, Ernesto Jimenez Ruiz, Oshani Seneviratne, Lora Aroyo, Gianluca Demartini, Reham Alharbi, Roberto Barile, Claudia d'Amato, And Valentina Tamma, eds., Proceedings of the 25th International Semantic Web Conference (ISWC 2026), to appear
Details Download

Lukas Gerlach
The Chase in Lean - Crafting a Formal Library for Existential Rule Research
In Renata Wassermann, Marie-Laure Mugnier, Franz Baader, eds., Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning, volume 23 of Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, 346--356, 2026. IJCAI Organization
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), to appear. IOS Press
Details Download

Komplette Publikationsliste anzeigen

NEUIGKEITEN

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

13. Januar 2026

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

… weitere Ergebnisse

iCal

VERANSTALTUNGEN

6. August 2026

Vortrag: SPARQLing Datalog for Rule-Based Reasoning over Large Knowledge Graphs

13. August 2026

Vortrag: TBA

27. August 2026

Vortrag: TBA

Unsere Projekte

Unsere Partner