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
Bart-personal-2.jpg
Elisa-400x600.jpg
Dipl.-Inf. Elisa Böhl
Martin-diller-2019.jpg
Thomas-400x600.jpg
TUD 8253 hi res 2.jpg
DagmarFoto.png
Ass.-Prof. Dagmar Gromann
Lucia400x600.jpg
Lschweizer.jpg
Thielscher.jpg
Thomazo.JPG

Ehemalige Gäste

Diana.JPG

Neueste Publikationen

Komplette Publikationsliste anzeigen

Piotr Gorczyca, Hannes Straß
Adding Standpoint Modalities to Non-Monotonic S4F: Preliminary Results
In Nina Gierasimczuk, Jesse Heyninck, eds., Proceedings of the 22nd International Workshop on Non-Monotonic Reasoning, to appear
Details Download
Lucas Carr, Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph
Non-monotonic Extensions to Formal Concept Analysis via Object Preferences
Proceedings of the 5th Southern African Conference on AI Research (SACAIR'24), to appear
Details Download
Jonas Karge, Juliette-Michelle Burkhardt, Sebastian Rudolph, Dominik Rusovac
To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence
AAMAS '24: Proceedings of the 2024 International Conference on Autonomous Agents and Multiagent Systems, 2024
Details Download
Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph
Towards Propositional KLM-Style Defeasible Standpoint Logics
Proceedings of the 5th Southern African Conference on AI Research (SACAIR'24), to appear
Details Download
Tim Lyon, Kees van Berkel
Proof Theory and Decision Procedures for Deontic STIT Logics
Journal of Artificial Intelligence Research, to appear
Details Download
Jonas Karge
Taming Dilation in Imprecise Pooling
Proceedings of the International Conference on Principles and Practice of Multi-Agent Systems (PRIMA), to appear
Details Download
Ringo Baumann, Hannes Straß
Consequence Operators for Characterization Logics – The Case of Abstract Argumentation
In Gopal Gupta and Carmine Dodaro and Maria Vanina Martínez, eds., Proceedings of the Seventeenth International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR), LNCS, to appear. Springer
Details Download
Piotr Ostropolski-Nalewaja, Sebastian Rudolph
The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules
Proceedings of KR 2024, to appear
Details Download
Lucía Gómez Álvarez, Sebastian Rudolph
Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities
Proceedings of KR 2024, 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

KIMEDS.jpg

KIMEDS
KI-assistierte Zertifizierung medizinischer Software

Screenshot from 2023-01-30 17-58-22.png

M/EDGE
Vertrauenswürdige und energiesparsame Edge-Elektronik für medizinische Anwendungen

SECAI-SQUARE-SHORT.pdf

SECAI
School of Embedded Composite Artificial Intelligence

Semeco-logo.png

SEMECO-Q2
Sichere Medizinische Mikrosysteme und Kommunikation: KI-assistierte Regulatorik für Medizin und Cybersecurity

Scads-logo.png

ScaDS.AI
Center for Scalable Data Analytics and Artificial Intelligence

Wolpert-github.png

Wolpertinger
Wolpertinger is a fixed-domain reasoner