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

Thomas Feller, Tim Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph
Finite-Cliquewidth Sets of Existential Rules
Proceedings of the 26th International Conference on Database Theory (ICDT 2023), to appear
Details Download
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 22), LNCS, to appear. Springer
Details Download
Adam Richard-Bollans, Anthony Cohn, Lucía Gómez Álvarez
Identifying and Modelling Polysemous Senses of Spatial Prepositions in Referring Expressions
Cognitive Systems Research, to appear
Details
Tim Lyon, Lucía Gómez Álvarez
Automating Reasoning with Standpoint Logic via Nested Sequents
In Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer, eds., Proceedings of the 19th International Conference on the Principles of Knowledge Representation and Reasoning (KR'22), 2022. IJCAI Organization
Details Download
Suk Joon Hong, Brandon Bennett, Judith Clymo, Lucía Gómez Álvarez
KARaML: Integrating Knowledge-Based and Machine Learning Approaches to Solve the Winograd Schema Challenge
In Andreas Martin, Knut Hinkelmann, Hans-Georg Fill, Aurona Gerber, Doug Lenat, Reinhard Stolle, Frank van Harmelen, eds., Proceedings of the AAAI 2022 Spring Symposium on Machine Learning and Knowledge Engineering for Hybrid Intelligence (AAAI-MAKE 2022), volume 3121, 2022. CEUR
Details Download
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. CEUR
Details Download
Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
Semantic Characterizations of AGM Revision for Tarskian Logics
Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), to appear. Springer
Details Download
Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti
On Composing Finite Forests with Modal Logics
ACM Transactions on Computational Logic, to appear
Details
Faiq Miftakhul Falakh, Sebastian Rudolph
AGM Revision in Description Logics under Fixed-Domain Semantics
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. CEUR Workshop Proceedings
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), August 2022
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

KIMEDS.jpg

KIMEDS
KI-assistierte Zertifizierung medizinischer Software

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