International Center for Computational Logic
Aus International Center for Computational Logic
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
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
NEUIGKEITEN
20. Januar 2025ICCL Forschende tragen zur Lean-Standardbibliothek bei
25. November 2024Franz Baader und Renata Wassermann gewinnen Ray Reiter Best Paper Award bei der KR 2024
20. November 2024Jonas Karge gewinnt Student Best Paper Award auf der PRIMA24
5. November 20241. Juli 2024… weitere ErgebnisseVERANSTALTUNGEN
26. Juni 2025Vortrag: Predictive Modelling for Human Reasoning
3. Juli 2025Vortrag: LogAI-Seminar-2025-07-03
10. Juli 202514. August 2025