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 27. November 2025

GPTKB wird bei ISWC als beste Demo prämiert

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

Markus Krötzsch
Modern Datalog: Concepts, Methods, Applications
In Alessandro Artale, Meghyn Bienvenu, Yazmı́n Ibáñez Garcı́a, Filip Murlak, eds., Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools (RW 2024 & RW 2025), volume 138 of OASIcs, 2025. Dagstuhl Publishing
Details Download

Valentin Knappich, Anna Hätty, Simon Razniewski, Annemarie Friedrich
PAP2PAT: Benchmarking Outline-Guided Long-Text Patent Generation with Patent-Paper Pairs
Findings of ACL, 2025
Details

Yu Yao, Salil Bhatnagar, Markus Mazzola, Vasileios Belagiannis, Igor Gilitschenski, Luigi Palmieri, Simon Razniewski, Marcel Hallgarten
AGENTS-LLM: Augmentative GENeration of Challenging Traffic Scenarios with an Agentic LLM Framework
IROS, 2025
Details

Yujia Hu, Tuan-Phong Nguyen, Shrestha Ghosh, Moritz Müller, Simon Razniewski
Introducing GPTKB to the Semantic Web
ISWC, 2025
Details

Komplette Publikationsliste anzeigen