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 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

Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
Multiplicative Rewards in Markovian Models
40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2025), 499-512, 2025. IEEE
Details

Sascha Klüppelholz, Jakob Piribauer
Stop Gambling! It Just Takes Too Long
In Nathalie Bertrand, Clemens Dubslaff, Sascha Klüppelholz, eds., Principles of Formal Quantitative Analysis - Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday, volume 15760 of Lecture Notes in Computer Science, 139–157, 2025. Springer
Details

Christel Baier, Sascha Klüppelholz, Jakob Piribauer, Robin Ziemek
Formal Quality Measures for Predictors in Markov Decision Processes
Proceedings of the 39th Annual AAAI Conference on Artificial Intelligence, volume 39 of Technical Tracks 25, April 2025. Public Knowledge Project
Details

Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes
In Pavithra Prabhaka, Andrea Vandin, eds., Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26-28, 2025, Proceedings, volume 16143 of Lecture Notes in Computer Science, 195--218, August 2025. Springer
Details

Komplette Publikationsliste anzeigen