Computational Logic

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Computational Logic

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 der Wissensrepräsentation als auch deren Anwendungen in Gebieten wie dem Semantic Web, Wissensakquise, Argumentation, etc. Inspiriert durch diesen Gebieten entstammende Fragestellungen befassen wir uns auch mit Themen aus angrenzenden Forschungsfeldern wie beispielsweise Datenbanktheorie und Computerlinguistik.
Die Computational Logic Group ist außerdem auf Facebook, Twitter und YouTube präsent.

Professoren und Gruppenleiter

Verwaltung

Wissenschaftliche Mitarbeiter

Techniker

Ehemalige

Shima6.jpg
Elisa-400x600.jpg
Dipl.-Inf. Elisa Böhl
Martin-diller-2019.jpg
TUD 8253 hi res 2.jpg
DagmarFoto.png
Ass.-Prof. Dagmar Gromann
Lschweizer.jpg
Thielscher.jpg
Thomazo.JPG

Ehemalige Gäste

Diana.JPG

Neueste Publikationen

Komplette Publikationsliste anzeigen

Bartosz Bednarczyk, Stéphane Demri
Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?
Logical Methods in Computer Science, Volume 18, Issue 3(5), July 2022
Details
Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Straß
How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic
In Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d'Amato, eds., Proceedings of the 21st International Semantic Web Conference (ISWC), LNCS, to appear. Springer
Details Download
Bartosz Bednarczyk, Reijo Jaakkola
Towards Model Theory of Ordered Logics: Expressivity and Interpolation
Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022), to appear
Details
Ridhwan Dewoprabowo, Johannes Klaus Fichte, Piotr Gorczyca, Markus Hecher
A Practical Account into Counting Dung’s Extensions by Dynamic Programming
Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), to appear
Details
Piotr Ostropolski-Nalewaja, Jerzy Marcinkowski, David Carral, Sebastian Rudolph
A Journey to the Frontiers of Query Rewritability
In Leonid Libkin, Pablo Barceló, eds., Proc. 41st Symposium on Principles of Database Systems (PODS'22), 359-367, June 2022. ACM
Details Download
Tim Lyon, Jonas Karge
Uniform and Modular Sequent Systems for Description Logics
In Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), 2022
Details Download
Bartosz Bednarczyk, Oskar Fiuk
Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting
Proceedings of the 28th Workshop on Logic, Language, Information and Computation (WOLLIC 2022), to appear
Details Download
Bartosz Bednarczyk, Mateusz Urbanczyk
Comonadic Semantics for Description Logics Games
In Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), to appear
Details
Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Straß
Modelling Multiple Perspectives by Standpoint-Enhanced Description Logics (Extended Abstract)
In Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), to appear
Details Download
Komplette Publikationsliste anzeigen

Lehrveranstaltungen

Studienarbeiten


Abgeschlossene Arbeiten

DeciGUT-logo-final.png

DeciGUT
A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation

Quantla-logo-png.png

QuantLA
Quantitative Logics and Automata

SECAI-SQUARE-SHORT.pdf

SECAI
School of Embedded Composite Artificial Intelligence

Scads-logo.png

ScaDS.AI
Center for Scalable Data Analytics and Artificial Intelligence

Wolpert-github.png

Wolpertinger
Wolpertinger is a fixed-domain reasoner