Willkommen beim

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

Forschungsgruppen stellen sich vor

Algebraische und logische Grundlagen der Informatik

Christel Baier

Die Forschungsgruppe Algebraische und logische Grundlagen der Informatik beschäftigt sich mit der Modellierung, Spezifikation und Verifikation reaktiver Systeme. Zu den Forschungsschwerpunkten gehören die formale Analyse und Synthese stochas… weiterlesen

Neuigkeit vom 23. September 2026

Hannes Straß und Pascal Kettmann gewinnen den Harold Boley Distinguished Paper Award

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

Sebastian Rudolph
Pseudo-Closed Family Verification is NP-Complete (Or: How Claude Helped Tackle Bernhard’s Problem)
In Madalina Croitoru, Domingo López-Rodríguez, Gerd Stumme, eds., The Third International Joint Conference on Conceptual Knowledge Structures (CONCEPTS 2026), volume 16811 of LNCS, 3-19, 2026. Springer
Details Download

Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph
Standpoint Logics with Defeasible Beliefs
In Ana Ozaki, Nico Potyka, eds., Proceedings of the 24th International Workshop on Non-Monotonic Reasoning (NMR 2025), volume 4239 of CEUR, 2026
Details Download

Tim Lyon, Lukas Zenger
Non-Wellfounded and Cyclic Proofs for LTL: A Syntactic Correspondence with Linear Nested Sequents
Technical Report, TU Dresden, 2026
Details

Alex Ivliev, Markus Krötzsch, Maximilian Marx
SPARQLing Datalog for Rule-Based Reasoning over Large Knowledge Graphs (Extended Abstract)
In Marco Calautti, Matthias Lanzinger, eds., Proceedings of the 6th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2026), CEUR Workshop Proceedings, to appear. CEUR-WS.org
Details Download

Komplette Publikationsliste anzeigen