Willkommen beim

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

Forschungsgruppen stellen sich vor

Automatentheorie

Franz Baader

Herr Prof. Dr.-Ing. Franz Baader wurde 2002 auf die Professur für Automatentheorie berufen. Seine Professur bietet grundlegende und vertiefende Lehrveranstaltungen für verschiedene Studiengänge an, und forscht auf den Gebieten Deduktion, Wissens… weiterlesen

Neuigkeit vom 9. Juli 2026

Kurs über Standpoint Logic auf der ESSAI 2026 von Tim Lyon und Hannes Straß

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

Rajab Aghamov, Christel Baier, Toghrul Karimov, Joël Ouaknine, Jakob Piribauer
Linear dynamical systems with weight functions
Nonlinear Analysis: Hybrid Systems, 60:101680, 2026
Details

Rajab Aghamov, Andrey Kudinov, Maik Nguyen, Jakob Piribauer
On Modal Logics of Full Products of Neighborhood Frames
Advances in Modal Logic, volume 16, 2026. College Publications
Details

Rajab Aghamov, Christel Baier, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala, Isa Vialard
Temporal Properties of Conditional Independence in Dynamic Bayesian Networks
In Sven Koenig, Chad Jenkins, Matthew E. Taylor, eds., Proceedings of the 40th Annual AAAI Conference on Artificial Intelligence (AAAI-26), volume 40, 36601–36609, 2026. AAAI Press
Details

Nils Küchenmeister, Alex Ivliev, Dörthe Arndt, Markus Krötzsch
Stratified Negation in RDF Rules: A Correct Approach
In Manolis Koubarakis, Maria-Esther Vidal, Axel Polleres, Marieke van Erp, Ernesto Jimenez Ruiz, Oshani Seneviratne, Lora Aroyo, Gianluca Demartini, Reham Alharbi, Roberto Barile, Claudia d'Amato, Valentina Tamma, eds., Proceedings of the 25th International Semantic Web Conference (ISWC 2026), to appear. Springer
Details Download

Komplette Publikationsliste anzeigen