Willkommen beim

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

Forschungsgruppen stellen sich vor

Wissensbasierte Systeme

Markus Krötzsch

In der Forschungsgruppe Wissensbasierte Systeme beschäftigen wir uns mit Methoden der intelligenten Verwaltung und Verarbeitung von Informationen in Computersystemen. Unsere Arbeitsgebiete liegen dabei besonders im Bereich der symbolischen Künst… weiterlesen

Neuigkeit vom 15. Januar 2024

Giuseppina Monterosso besucht die Gruppe Logische Programmierung und Argumentation

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

Franz Baader, Filippo De Bortoli
The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 754-761, April 2024. ACM
Details

Philipp Hanisch, Markus Krötzsch
Chase Termination Beyond Polynomial Time
Proceedings of the 43rd Symposium on Principles of Database Systems (PODS’24), to appear. ACM
Details Download

Luisa Herrmann, Vincent Peth, Sebastian Rudolph
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures
In Aniello Murano, Alexandra Silva, eds., CSL '24: Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic 2024, volume 288 of LIPIcs, 33:1-33:19, 2024. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download

Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac
IASCAR: Incremental Answer Set Counting by Anytime Refinement
Theory and Practice of Logic Programming, 1-28, February 2024
Details Download

Komplette Publikationsliste anzeigen