Computational Logic
Computational Logic
- Kontaktperson Sebastian Rudolph
- Sekretariat ramona.behling@tu-dresden.de
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
Ehemalige Gäste
Neueste Publikationen
Komplette Publikationsliste anzeigen
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
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
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
Towards Propositional KLM-Style Defeasible Standpoint Logics
Proceedings of the 5th Southern African Conference on AI Research (SACAIR'24), to appear
Details Download
Proof Theory and Decision Procedures for Deontic STIT Logics
Journal of Artificial Intelligence Research, to appear
Details Download
Taming Dilation in Imprecise Pooling
Proceedings of the International Conference on Principles and Practice of Multi-Agent Systems (PRIMA), to appear
Details Download
What Can Approximation Fixpoint Theory Do For (Abstract) Argumentation?
Tutorial at SSA, September 2024
Details
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
The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules
Proceedings of KR 2024, to appear
Details Download
Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities
Proceedings of KR 2024, to appear
Details Download
Lehrveranstaltungen
- Advanced Problem Solving and Search (WS 2024)
- Formale Systeme (WS 2024)
- Foundations of Knowledge Representation (WS 2024)
- First-Order Logic – Semantic and Computational Properties (SS 2024)
- Proof Theory and Sequent Systems (SS 2024)
weitere Lehrveranstaltungen anzeigen
Studienarbeiten
Abgeschlossene Arbeiten
- Justifications under the Fixed-Domain Semantics
- von Satyadharma Tirtarasa (28 September 2017)
- Betreuer: Sebastian Rudolph, Lukas Schweizer
- Using (Deep) Reinforcement Learning To Play Angry Birds
- von Peter Hirsch (26 September 2017)
- Betreuer: Lukas Schweizer
- Solving Angry Birds with Reinforcement Learning
- von Richard Kwasnicki (23 Februar 2017)
- Betreuer: Sarah Alice Gaggl, Lukas Schweizer
- Solving Angry Birds with Reinforcement Learning
- von Julius Gonsior (23 Februar 2017)
- Betreuer: Sarah Alice Gaggl, Lukas Schweizer
- Visualisierung von Lösungen in Abstrakten Argumentation Frameworks
- von Rajwardhan Kumar (27 Oktober 2016)
- Betreuer: Sarah Alice Gaggl
- Combining Belief Revision and Abstract Dialectical Frameworks
- von Umer Mushtaq (13 Oktober 2016)
- Betreuer: Sebastian Rudolph, Sarah Alice Gaggl
- Encoding Belief Revision Operators in Abstract Dialectical Frameworks
- von Umer Mushtaq (7 Oktober 2016)
- Betreuer: Sebastian Rudolph, Sarah Alice Gaggl
- On the Computation of Naive-based Argumentation Semantics
- von Javanshir Alammadli (14 März 2016)
- Betreuer: Sebastian Rudolph, Sarah Alice Gaggl
- Navigation Approaches for Answer Sets
- von Asmaa Afeefi (4 Dezember 2015)
- Betreuer: Sarah Alice Gaggl, Sebastian Rudloph
- Intertranslatability of Labeling-Based Argumentation Semantics
- von Umer Mushtaq (19 November 2015)
- Betreuer: Sarah Alice Gaggl
- Implementierung eines labelingbasierten Algorithmus für die cf2 Argumentation Semantik
- von Javanshir Alammadli (20 April 2015)
- Betreuer: Sarah Alice Gaggl
- Grounded Circumscription in Description Logics
- von Efstathios Delivorias (9 April 2015)
- Betreuer: Sebastian Rudolph
- Solving Product Configuration Problems using Non-standard Reasoning Services
- von Lukas Schweizer (11 Juli 2014)
- Betreuer: Sebastian Rudolph, Sarah Alice Gaggl
DeciGUT
A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation
KIMEDS
KI-assistierte Zertifizierung medizinischer Software
M/EDGE
Vertrauenswürdige und energiesparsame Edge-Elektronik für medizinische Anwendungen
SECAI
School of Embedded Composite Artificial Intelligence
SEMECO-Q2
Sichere Medizinische Mikrosysteme und Kommunikation: KI-assistierte Regulatorik für Medizin und Cybersecurity
ScaDS.AI
Center for Scalable Data Analytics and Artificial Intelligence
Wolpertinger
Wolpertinger is a fixed-domain reasoner
