Sebastian Rudolph

From International Center for Computational Logic

Prof. Sebastian Rudolph

ProfessorTechnische Universität DresdenInternational Center for Computational Logic Computational Logic

Since April 2013 I am full professor for Computational Logic at the Institute for Artificial Intelligence at the Faculty of Computer Science at the Technische Universität Dresden. 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

View full publication list

Sebastian Rudolph, Lukas Schweizer, Zhihao Yao
SPARQL Queries over Ontologies Under the Fixed-Domain Semantics
In Abhaya C. Nayak, Alok Sharma, eds., PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part I, volume 11670 of Lecture Notes in Computer Science, 486--499, August 2019. Springer
Details Download

Sebastian Rudolph
Künstliche Intelligenz, quo vadis?
Jahrbuch des Verbandes der Anbieter von Telekommunikations- und Mehrwertdiensten (VATM), April 2019
Details Download

Markus Krötzsch, Maximilian Marx, Sebastian Rudolph
The Power of the Terminating Chase
In Pablo Barceló, Marco Calautti, eds., Proceedings of the 22nd International Conference on Database Theory (ICDT 2019), volume 127 of LIPIcs, 3:1--3:17, 2019. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download

Christian Al-Rabaa, Sebastian Rudolph, Lukas Schweizer
Faceted Answer-Set Navigation
In Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman, eds., Rules and Reasoning - Second International Joint Conference, RuleML+RR2018, Luxembourg, September 18-21, 2018, Proceedings, volume 11092 of Lecture Notes in Computer Science, 211--225, September 2018. Springer

Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph
Proceedings of the 6th International Workshop "What can FCA do for Artificial Intelligence?"
Volume 2149 of CEUR Workshop Proceedings, 2018.

Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton
Graph Structures for Knowledge Representation and Reasoning - 5th International Workshop, GKR 2017
Volume 10775 of LNCS, 2018. Springer

Aldo Gangemi, Anna Lisa Gentile, Andrea Giovanni Nuzzolese, Sebastian Rudolph, Maria Maleshkova, Heiko Paulheim, Jeff Z. Pan, Mehwish Alam
The Semantic Web: ESWC 2018 Satellite Events - ESWC 2018 Satellite Events
Volume 11155 of LNCS, 2018. Springer

Sebastian Rudolph, Mantas Simkus
The Triguarded Fragment of First-Order Logic
In Gilles Barthe, Geoff Sutcliffe, Margus Veanes, eds., Proceedings of the 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, volume 57 of EPiC Series in Computing, 604-619, 2018. EasyChair
Details Download

Karell Bertet, Sebastian Rudolph
Preface: Concept Lattices and Applications: Recent Advances and New Opportunities
Discrete Applied Mathematics, 249:1, 2018

Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
Happy Ever After: Temporally Attributed Description Logics
In Magdalena Ortiz, Thomas Schneider, eds., Proceedings of the 31st International Workshop on Description Logics (DL 2018), volume 2211 of CEUR Workshop Proceedings, 2018.
Details Download

View full publication list


Suggested Thesis Topics

Completed Theses


A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation

Iccl cube blue 200px.png

EMCL (offered until 2017)
European Master's Program in Computational Logic


Quantitative Logics and Automata


Wolpertinger is a fixed-domain reasoner