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 20. Januar 2025

ICCL Forschende tragen zur Lean-Standardbibliothek bei

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

David Carral, Lukas Gerlach, Lucas Larroque, Michaël Thomazo
Restricted Chase Termination: You Want More than Fairness
Proceedings of the ACM on Management of Data, 3(2 (PODS)), June 2025
Details Download

Nikolai Käfer, Sven Apel, Christel Baier, Clemens Dubslaff, Holger Hermanns
When to Sample from Feature Diagrams?
Proceedings of the 19th International Working Conference on Variability Modelling of Software-Intensive Systems, VaMoS '25, 11-20, May 2025. Association for Computing Machinery
Details

Dörthe Arndt, Stephan Mennicke
Existential Notation3 Logic
Theory and Practice of Logic Programming, 1-36, June 2025
Details

Pascal Kettmann, Jesse Heyninck, Hannes Straß
Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics
Proceedings of the 34th International Joint Conference on Artificial Intelligence, IJCAI 2025, to appear
Details Download

Komplette Publikationsliste anzeigen