Computational Logic
From International Center for Computational Logic
Computational Logic
- Contact Sebastian Rudolph
- Secretary cl@tu-dresden.de
The Computational Logic (CL) group is focusing on modeling and reasoning aspects of logic-based knowledge representation. We are interested both in the mathematical and formal foundations of diverse knowledge representation paradigms but also in their application in areas like the Semantic Web, knowledge acquisition, argumentation, etc. Motivated by requirements encountered in these fields, we also conduct research in adjacent areas like database theory and computational linguistics.
The Computational Logic Group also has a Facebook page, a Bluesky account, and a YouTube channel.
Professors and Research Group Leaders
Management
- APB 2034
- +49 351 463 38516
Scientific Staff
Technical Administrators
Former Members
Former Guests
Newest Publications
Piotr Gorczyca, Hannes Straß
Non-Monotonic S4F Standpoint Logic
Proceedings of the 40th Annual AAAI Conference on Artificial Intelligence (AAAI-26), to appear
Details Download
Lucía Gómez Álvarez, Sebastian Rudolph
Putting Perspective into OWL [sic]: Complexity-Neutral Standpoint Reasoning for Ontology Languages via Monodic S5 over Counting Two-Variable First-Order Logic
In Magdalena Ortiz, Renata Wassermann, Torsten Schaub, eds., Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 366–375, 2025. IJCAI Organization
Details Download
Simon Hosemann, Jean Christoph Jung, Carsten Lutz, Sebastian Rudolph
Fitting Ontologies and Constraints to Relational Structures
In Magdalena Ortiz, Renata Wassermann, Torsten Schaub, eds., Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 407–416, 2025. IJCAI Organization
Details Download
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), to appear
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), to appear
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), to appear
Details Download
Martin Diller, Piotr Gorczyca
ABA Disputes in ASP: Advancing Argument Games through Multi-Shot Solving
Proceedings of the 26th International Conference on Principles and Practice of Multi-Agent Systems, to appear
Details
Sergei Obiedkov, Sebastian Rudolph
When Horn is All You Need
In Peggy Cellier, Bernhard Ganter, Rokia Missaoui, eds., Conceptual Knowledge Structures. CONCEPTS 2025, volume 15941 of Lecture Notes in Artificial Intelligence, 309–324, September 2025. Springer
Details Download
Lea Bauer, Jonas Karge
Elicit and Weigh: A Voting-Based Approach to Optimal Weights in Imprecise Linear Pooling
Proceedings of the 18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2025), 2025. Springer
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
Courses
- Introduction to Existential Rules (WS 2025)
- Foundations of Logic Programming (WS 2025)
- Proof Theory and Sequent Systems (WS 2025)
- Foundations of Knowledge Representation (WS 2025)
- Advanced Problem Solving and Search (WS 2025)
show further courses
Student projects
Suggested Thesis Topics
- A Simplified Tableau Calculus for Standpoint LTL
- Supervisor: Tim Lyon
- Available as topic for a Master's thesis
Completed Theses
- Automated Proof-Search for Gödel-Löb Provability Logic via Tree Sequents
- by Omar Y. A. A. Taher (12 September 2025)
- Supervisor: Tim Lyon
- Justifications under the Fixed-Domain Semantics
- by Satyadharma Tirtarasa (28 September 2017)
- Supervisor: Sebastian Rudolph, Lukas Schweizer
- Using (Deep) Reinforcement Learning To Play Angry Birds
- by Peter Hirsch (26 September 2017)
- Supervisor: Lukas Schweizer
- Solving Angry Birds with Reinforcement Learning
- by Richard Kwasnicki (23 Februar 2017)
- Supervisor: Sarah Alice Gaggl, Lukas Schweizer
- Solving Angry Birds with Reinforcement Learning
- by Julius Gonsior (23 Februar 2017)
- Supervisor: Sarah Alice Gaggl, Lukas Schweizer
- Visualization of Solutions in Abstract Argumentation Frameworks
- by Rajwardhan Kumar (27 Oktober 2016)
- Supervisor: Sarah Alice Gaggl
- Combining Belief Revision and Abstract Dialectical Frameworks
- by Umer Mushtaq (13 Oktober 2016)
- Supervisor: Sebastian Rudolph, Sarah Alice Gaggl
- Encoding Belief Revision Operators in Abstract Dialectical Frameworks
- by Umer Mushtaq (7 Oktober 2016)
- Supervisor: Sebastian Rudolph, Sarah Alice Gaggl
- On the Computation of Naive-based Argumentation Semantics
- by Javanshir Alammadli (14 März 2016)
- Supervisor: Sebastian Rudolph, Sarah Alice Gaggl
- Navigation Approaches for Answer Sets
- by Asmaa Afeefi (4 Dezember 2015)
- Supervisor: Sarah Alice Gaggl, Sebastian Rudloph
- Intertranslatability of Labeling-Based Argumentation Semantics
- by Umer Mushtaq (19 November 2015)
- Supervisor: Sarah Alice Gaggl
- Implementing a Labeling-based Algorithm for the cf2 Argumentation Semantics
- by Javanshir Alammadli (20 April 2015)
- Supervisor: Sarah Alice Gaggl
- Grounded Circumscription in Description Logics
- by Efstathios Delivorias (9 April 2015)
- Supervisor: Sebastian Rudolph
- Solving Product Configuration Problems using Non-standard Reasoning Services
- by Lukas Schweizer (11 Juli 2014)
- Supervisor: Sebastian Rudolph, Sarah Alice Gaggl
DeciGUT
A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation
KIMEDS
AI Assisted Certification of Medical Software
M/EDGE
Secure Low Power Medical Edge Computing
SECAI
School of Embedded Composite Artificial Intelligence
SEMECO-Q2
Secure Medical Microsystems and Communications: AI-assisted Regulatory Affairs for Medicine and Cybersecurity
ScaDS.AI
Center for Scalable Data Analytics and Artificial Intelligence
Wolpertinger
Wolpertinger is a fixed-domain reasoner
