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've been full professor for Computational Logic at the Institute for Artificial Intelligence at the Faculty of Computer Science at the 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 (similar to associate professor) 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
The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, to appear
Details Download
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2EXPTIME-hard
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), to appear
Details Download
Compositional matrix-space models of language: Definitions, properties, and learning methods
Natural Language Engineering, 1-49, August 2021
Details Download
Standpoint Logic: Multi-Perspective Knowledge Representation
In Neuhaus F, Brodaric B, eds., Proceedings of the 12th International Conference (FOIS 2021) Frontiers in Artificial Intelligence and Applications, volume 3344 of Frontiers in Artificial Intelligence and Applications, 3 - 17, 2021. IOS Press
Details
Capturing Homomorphism-Closed Decidable Queries with Existential Rules
In Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem, eds., Proc. 18th International Conference on Principles of Knowledge Representation and Reasoning (KR'21), 141--150, 2021
Details Download
On the Decomposition of ADFs and the Complexity of Naive-based Semantics
IJCAI 2021 Journal Track, 2021
Details
On the Decomposition of ADFs and the Complexity of Naive-based Semantics
Journal of Artificial Intelligence Research, 70:1-64, January 2021
Details Download
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard (Extended Abstract)
In Martin Homola, Vladislav Ryzhikov, Renate A. Schmidt, eds., Proceedings of the 34th International Workshop on Description Logics (DL 2021), CEUR Workshop Proceedings, September 2021. CEUR-WS.org
Details Download
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
In Nikhil Bansal, James Worrell, eds., Proceedings of the 48th International Colloquium on Automata, Languages, and Programming (ICALP), LIPIcs, 120:1-120:17, 2021. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download
On Logics and Homomorphism Closure
Proceedings of the 36th Annual Symposium on Logic in Computer Science (LICS 2021), 1-13, 2021. IEEE
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 2022)
- Research Seminar Logic and AI (SS 2021)
- Finite and algorithmic model theory (SS 2021)
- Seminar: Knowledge Representation (SS 2021)
- Database Theory (SS 2021)
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
QuantLA
Quantitative Logics and Automata
ScaDS.AI
Center for Scalable Data Analytics and Artificial Intelligence
Wolpertinger
Wolpertinger is a fixed-domain reasoner
Computational Logic
