Sebastian Rudolph
Prof. Dr. Sebastian Rudolph
Professor Computational Logic
- sebastian.rudolph@tu-dresden.de
- Chat (Matrix ): @serudolp:tu-dresden.de
- +49 351 463 38516
- +49 351 463 32827
- APB 2035
Since April 2013, I have been full professor for Computational Logic at the Institute for Artificial Intelligence at the Faculty of Computer Science of Technische Universität Dresden, since 2021 affiliated member of the Faculty of Mathematics. My research interests comprise Artificial Intelligence, in particular Knowledge Representation and Reasoning using diverse formalisms (such as Description Logics, Existential Rules and Formal Concept Analysis) and their applications in diverse areas, for instance Semantic Technologies. I deal with problems ranging from theoretical foundations (e.g., decidability and complexity of reasoning tasks) to practical deployment (ontology modeling, interactive knowledge acquisition). In 2017, I received an ERC Consolidator Grant for investigating general principles of decidability in logic-based knowledge representation.
Before returning to Dresden, I spend the years 2006 to 2013 as a postdoctoral researcher, project leader and later Privatdozent in Rudi Studer's Knowledge Management group at the Institute AIFB of the Karlsruhe Institute of Technology, where I obtained my habilitation in 2011. Before I had completed my PhD in Algebra and my studies for highschool teaching in mathematics, physics and computer science at the TU Dresden.
Newest Publications
Decidability of Querying First-Order Theories via Countermodels of Finite Width
Logical Methods in Computer Science, 21(2):7:1-7:35, April 2025
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
Non-monotonic Extensions to Formal Concept Analysis via Object Preferences
In Aurona Gerber, Jacques Maritz, Anban W. Pillay, eds., Proceedings of the 5th Southern African Conference on AI Research (SACAIR'24), volume 2326 of CCIS, 476–492, 2024. Springer
Details Download
Towards Propositional KLM-Style Defeasible Standpoint Logics
In Aurona Gerber, Jacques Maritz, Anban W. Pillay, eds., Proceedings of the 5th Southern African Conference on AI Research (SACAIR'24), volume 2326 of CCIS, 459–475, 2024. Springer
Details Download
Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities
In Pierre Marquis, Magdalena Ortiz, Maurice Pagnucco, eds., Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 383–393, 2024. IJCAI Organization
Details Download
The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules
In Pierre Marquis, Magdalena Ortiz, Maurice Pagnucco, eds., Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 574–584, 2024. IJCAI Organization
Details Download
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures
In Aniello Murano, Alexandra Silva, eds., CSL '24: Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic 2024, volume 288 of LIPIcs, 33:1-33:19, 2024. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+
In Pierre Marquis, Tran Cao Son, Gabriele Kern-Isberner, eds., Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 333-343, 2023. IJCAI Inc
Details Download
Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL
Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023, 3258-3267, 2023. ijcai.org
Details Download
How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC
Journal of Artificial Intelligence Research, 78:385–458, November 2023
Details Download
- Affiliate Member of the Faculty of Mathematics, TU Dresden
- Managing Director of the Institute for Artificial Intelligence
- Member of the Faculty Council of the CS Department and the School Council of the School of Engineering Sciences
- Principal Investigator in the DFG Research Training Group "Quantitative Logics and Automata" (QuantLA)
Courses
- Theoretische Informatik und Logik (SS 2025)
- Formale Systeme (WS 2024)
- Introduction to Existential Rules (SS 2024)
- Seminar Logic-Based Knowledge Representation (SS 2024)
- Introduction to Formal Concept Analysis (WS 2023)
show further courses
Student projects
Completed Theses
- Visualizing the Extension Space of Abstract Argumentation Frameworks Using Clustering Methods
- by Mei Yang (27 Februar 2021)
- Supervisor: Sebastian Rudolph, Sarah Alice Gaggl
- Analysis and Implementation of scf2 Argumentation Semantics
- by Guzel Khuziakhmetova (25 Februar 2021)
- Supervisor: Sebastian Rudolph, Sarah Alice Gaggl
- Justifications under the Fixed-Domain Semantics
- by Satyadharma Tirtarasa (28 September 2017)
- Supervisor: Sebastian Rudolph, Lukas Schweizer
- 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
- 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
SECAI
School of Embedded Composite Artificial Intelligence
ScaDS.AI
Center for Scalable Data Analytics and Artificial Intelligence
Wolpertinger
Wolpertinger is a fixed-domain reasoner
Computational Logic
