International Center for Computational Logic
Forschungsgruppen stellen sich vor
Computational Logic
Sebastian Rudolph
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
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
Recovering Explanations from Transformed Rule-Based Ontologies
Proceedings of the 25th International Semantic Web Conference (ISWC 2026), to appear
Details
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
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), to appear. IOS Press
Details Download
NEUIGKEITEN
9. Juli 2026Kurs über Standpoint Logic auf der ESSAI 2026 von Tim Lyon und Hannes Straß
7. Juli 2026Jonas Karge verteidigt erfolgreich seine Dissertation über Multi-Agent Belief Management
2. Juli 2026Hannes Straß erhält Lehrpreis des Fachschaftsrats für „Algorithmische Spieltheorie"
27. März 2026Franz Baader gewinnt Best Paper Award bei FoIKS 2026
13. Januar 2026Tim Lyon ist dem Herausgebergremium des Bulletin of the Section of Logic beigetreten
… weitere ErgebnisseVERANSTALTUNGEN
30. Juli 2026Vortrag: The Chase in Lean - Crafting a Formal Library for Existential Rule Research
6. August 202613. August 202627. August 2026Unsere Projekte
Unsere Partner
