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 Facebook, Bluesky und YouTube präsent.
Professoren und Gruppenleiter
Verwaltung
Wissenschaftliche Mitarbeiter
Techniker
Ehemalige
Ehemalige Gäste
Neueste Publikationen
Komplette Publikationsliste anzeigen
Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
ACM Transactions on Computational Logic, 27(2):1-42, 2026
Details Download
Piotr Gorczyca, Hannes Straß
Non-Monotonic S4F Standpoint Logic
Proceedings of the 40th Annual AAAI Conference on Artificial Intelligence (AAAI-26), January 2026
Details Download
Filippo De Bortoli
Complexity and Expressive Power of Description Logics with Numerical Constraints
Talk, January 2026
Details
Dörthe Arndt, Stephan Mennicke
Existential Notation3 Logic
Theory and Practice of Logic Programming, 52(3):304-339, May 2025
Details
Martin Diller, Piotr Gorczyca
ABA Disputes in ASP: Advancing Argument Games through Multi-Shot Solving
Proceedings of the 23rd International Workshop on Nonmonotonic Reasoning (NMR), November 2025
Details Download
Piotr Gorczyca, Dörthe Arndt, Martin Diller, Jochen Hampe, Georg Heidenreich, Pascal Kettmann, Markus Krötzsch, Stephan Mennicke, Sebastian Rudolph, Hannes Straß
Supporting Risk Management for Medical Devices via the Riskman Ontology and Shapes
Proceedings of the 21st International Conference on Semantic Systems (SEMANTiCS 2025), 226 - 246, September 2025
Details Download
Pascal Kettmann, Jesse Heyninck, Hannes Straß
Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics
Proceedings of the 34th International Joint Conference on Artificial Intelligence, IJCAI 2025, 4544--4552, August 2025. ijcai.org
Details Download
Meghna Bhadra, Marco Ragni
Can ChatGPT Predict What I Think? Exploring Transformer Models' Prediction of Human Information Processes
Poster at the AAAI Bridge Programme on Collaborative AI and Modeling of Humans in the 39th Annual AAAI Conference, February 2025
Details
Meghna Bhadra
Disentangling Belief and Inference: Adaptive Algorithms for Individual Human Reasoning
In Inês Lynce, Nello Murano, Mauro Vallati, Serena Villata, Federico Chesani, Michela Milano, Andrea Omicini, Mehdi Dastani, eds., 28th European Conference on Artificial Intelligence, volume 413 of Frontiers in Artificial Intelligence and Applications, 1454-1461, October 2025. IOS Press
Details
Tim Lyon, Ian Shillito, Alwen Tiu
Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
In Jörg Endrullis, Sylvain Schmitz, eds., Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic 2025, volume 326 of LIPIcs, 2025. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download
Lehrveranstaltungen
- Algorithmic Game Theory (SS 2026)
- Advanced Problem Solving and Search (WS 2025)
- Introduction to Existential Rules (WS 2025)
- Foundations of Logic Programming (WS 2025)
- Proof Theory and Sequent Systems (WS 2025)
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
