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
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
Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets
In Sarah Alice Gaggl, Maria Vanina Martinez, Magdalena Ortiz, eds., Proceedings of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023), volume 14281 of Lecture Notes in Artificial Intelligence, 369-384, 2023. Springer
Details Download
Compositional matrix-space models of language: Definitions, properties, and learning methods
Natural Language Engineering, 29(1):1-49, January 2023
Details Download
Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying
In Floris Geerts, Hung Q. Ngo, Stavros Sintos, eds., Proceedings of the 42nd Symposium on Principles of Database Systems (PODS'23), 291-302, 2023. ACM
Details Download
Finite-Cliquewidth Sets of Existential Rules – Toward a General Criterion for Decidable yet Highly Expressive Querying
In Geerts, Floris and Vandevoort, Brecht, eds., Proceedings of the 26th International Conference on Database Theory (ICDT 2023), volume 255 of Leibniz International Proceedings in Informatics (LIPIcs), 18:1-18:18, March 2023. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download
Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL
Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023, to appear
Details Download
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, to appear. IJCAI Inc
Details Download
The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion
In Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer, eds., Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 205-–214, 2022
Details Download
Semantic Characterizations of AGM Revision for Tarskian Logics
In Guido Governatori, Anni-Yasmin Turhan, eds., Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), volume 13752 of LNCS, 95-110, September 2022. Springer
Details Download
AGM Revision in Description Logics under Fixed-Domain Semantics
In Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), August 2022. CEUR Workshop Proceedings
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
- Foundations of Knowledge Representation (WS 2023)
- Introduction to Formal Concept Analysis (WS 2023)
- Research Seminar Logic and AI (WS 2023)
- Introduction to Existential Rules (SS 2023)
- Seminar Logic-Based Knowledge Representation (SS 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
QuantLA
Quantitative Logics and Automata
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