Willkommen beim

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

Forschungsgruppen stellen sich vor

Algebra und Diskrete Strukturen

Manuel Bodirsky

Forschungsgruppe am Institut für Algebra an der Fakultät Mathematik der TU Dresden. Fields of Inter… weiterlesen

Neuigkeit vom 23. Oktober 2025

Dörthe Arndt gewinnt Rule Challenge Best Paper Award bei RuleML+RR 2025

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:

Mitarbeiter und Gäste

Personen beim International Center for Computational Logic

Neueste Publikationen

Martin Diller, Sarah Alice Gaggl, Philipp Hanisch, Giuseppina Monterosso, Fritz Rauschenbach
Grounding Rule-Based Argumentation Using Datalog
In Magdalena Ortiz, Renata Wassermann, Torsten Schaub, eds., Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025), 281–292, November 2025. IJCAI Organization
Details Download

Daniel Gnad, Markus Hecher, Sarah Alice Gaggl, Dominik Rusovac, David Jakob Speck, Johannes K. Fichte
Interactive Exploration of Plan Spaces
In Magdalena Ortiz, Renata Wassermann, Torsten Schaub, eds., Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning — KR in the Wild (KR 2025), 599–609, November 2025. IJCAI Organization
Details Download

Lucía Gómez Álvarez, Sebastian Rudolph
Putting Perspective into OWL [sic]: Complexity-Neutral Standpoint Reasoning for Ontology Languages via Monodic S5 over Counting Two-Variable First-Order Logic
In Magdalena Ortiz, Renata Wassermann, Torsten Schaub, eds., Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 366–375, 2025. IJCAI Organization
Details Download

Simon Hosemann, Jean Christoph Jung, Carsten Lutz, Sebastian Rudolph
Fitting Ontologies and Constraints to Relational Structures
In Magdalena Ortiz, Renata Wassermann, Torsten Schaub, eds., Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 407–416, 2025. IJCAI Organization
Details Download

Komplette Publikationsliste anzeigen