Computational Logic
Aus International Center for Computational Logic
Computational Logic
- Kontaktperson Sebastian Rudolph
- Sekretariat cl@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 LinkedIn, Facebook, Bluesky und YouTube präsent.
Professoren und Gruppenleiter
Verwaltung
Wissenschaftliche Mitarbeiter
Techniker
Ehemalige
Ehemalige Gäste
Neueste Publikationen
Komplette Publikationsliste anzeigen
Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph
Standpoint Logics with Defeasible Beliefs
In Ana Ozaki, Nico Potyka, eds., Proceedings of the 24th International Workshop on Non-Monotonic Reasoning (NMR 2025), CEUR, to appear
Details Download
Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
ACM Transactions on Computational Logic, 27(2):8:1-8:42, 2026
Details Download
Sebastian Rudolph
Pseudo-Closed Family Verification is NP-Complete (Or: How Claude Helped Tackle Bernhard’s Problem)
In Madalina Croitoru, Domingo López-Rodríguez, Gerd Stumme, eds., The Third International Joint Conference on Conceptual Knowledge Structures (CONCEPTS 2026), LNCS, to appear. Springer
Details Download
Jonas Karge
Questions about Quantities: Epistemic Numerical Estimate Aggregation
Proceedings of the International Conference on Principles and Practice of Multi-Agent Systems (PRIMA), 2026
Details Download
Tim Lyon, Piotr Ostropolski-Nalewaja
Foundations for an Abstract Proof Theory in the Context of Horn Rules
ACM Transactions on Computational Logic, to appear
Details
Jonas Karge, Roy Ferguson, Daniel Grimaldi, Jonas Haldimann, Ruvarashe Madzime, Thomas Meyer
First Steps Towards Human-AI Ranking Aggregation
Joint Workshop on Statistics and Knowledge Integration for Logic, Learning, Ethical Decisions, and LLMs (SKILLED-LLMs'26), to appear
Details Download
Sebastian Rudolph, Kai Sauerwald
Mutual Irreducibility of Revision and Multiple Revision
In Anni-Yasmin Turhan, Jonni Virtema, eds., Foundations of Information and Knowledge Systems – 14th International Symposium (FoIKS 2026), volume 16475 of LNCS, 121-133, 2026. Springer
Details Download
Luisa Herrmann, Johannes Osterholzer
Non-Global Parikh Tree Automata
Journal of Automata, Languages and Combinatorics, to appear
Details
Luisa Herrmann, Richard Mörbitz
Global one-counter tree automata
Theoretical Computer Science, 1071, 2026
Details
Komplette Publikationsliste anzeigen
Lehrveranstaltungen
- Proof Theory and Sequent Systems (SS 2026)
- Seminar Logic-Based Knowledge Representation (SS 2026)
- Introduction to Existential Rules (SS 2026)
- Introduction to Formal Concept Analysis (SS 2026)
- Algorithmic Game Theory (SS 2026)
weitere Lehrveranstaltungen anzeigen
Studienarbeiten
Themenvorschläge für Studien- und Abschlussarbeiten
- Master's Thesis Projects in Symbolic Logic, Proof Theory, and Theorem Proving
- Betreuer: Tim Lyon
- Verfügbar als Thema einer Masterarbeit
Abgeschlossene Arbeiten
- Automated Proof-Search for Gödel-Löb Provability Logic via Tree Sequents
- von Omar Y. A. A. Taher (12 September 2025)
- Betreuer: Tim Lyon
- 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
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
