International Center for Computational Logic

Willkommen beim

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

Forschungsgruppen stellen sich vor

Logische Programmierung und Argumentation

Sarah Alice Gaggl

Die Forschungsgruppe Logische Programmierung und Argumentation an der Fakultät für Informatik und dem Institut für Künstliche Intelligenz befasst sich mit theoretischen und praktischen Aspekten der Logischen Programmierung im Speziellen mit Answ… 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:

• Algebra und Diskrete Strukturen
• Algebraische und logische Grundlagen der Informatik
• Automatentheorie
• Computational Logic
• Knowledge-aware Artificial Intelligence
• Logische Programmierung und Argumentation
• Wissensbasierte Systeme

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

NEUIGKEITEN

27. November 2025

GPTKB wird bei ISWC als beste Demo prämiert

23. Oktober 2025

Dörthe Arndt gewinnt Rule Challenge Best Paper Award bei RuleML+RR 2025

30. September 2025

Filippo De Bortoli gewinnt Best Student Paper Award bei FroCoS 2025

20. Januar 2025

ICCL Forschende tragen zur Lean-Standardbibliothek bei

25. November 2024

Franz Baader und Renata Wassermann gewinnen Ray Reiter Best Paper Award bei der KR 2024

… weitere Ergebnisse

iCal

VERANSTALTUNGEN

11. Dezember 2025

Vortrag: Investigating Preferential Reasoning in Formal Concept Analysis

Unsere Projekte

Unsere Partner