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
- Automatentheorie
- Computational Logic
- Logische Programmierung und Argumentation
- Verifikation und formale quantitative Analyse
- Wissensbasierte Systeme
Mitarbeiter und Gäste
Neueste Publikationen
Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krötzsch
Nemo: Your Friendly and Versatile Rule Reasoning Toolkit
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, to appear. IJCAI Organization
Details Download
Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krötzsch
Nemo: A Scalable and Versatile Datalog Engine
Proceedings of the 5th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2024), CEUR Workshop Proceedings, to appear. CEUR-WS.org
Details Download
Hannes Strass
What Can Approximation Fixpoint Theory Do For (Abstract) Argumentation?
Tutorial at SSA, September 2024
Details
Philipp Hanisch, Markus Krötzsch
Chase Termination Beyond Polynomial Time
Proc. ACM Manag. Data, 2(2):93, May 2024
Details Download
NEUIGKEITEN
1. Juli 202413. Juni 2024Markus Krötzsch erhält den Lehrpreis 2024
12. Juni 2024ICCL-Forscher:innen nehmen an Rewe Team Challenge 2024 teil
6. Juni 2024Forschende der ICCL mit Best Paper Award ausgezeichnet
3. Juni 2024Forschungsgruppe Computational Logic begrüßt Anouk Michelle Oudshoorn und Nick Leisegang
… weitere Ergebnisse