Sebastian Rudolph

From International Center for Computational Logic

Prof. Dr. Sebastian Rudolph

ProfessorTechnische Universität DresdenInternational Center for Computational Logic Computational Logic

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

View full publication list

Shima Asaadi, Eugenie Giesbrecht, Sebastian Rudolph
Compositional matrix-space models of language: Definitions, properties, and learning methods
Natural Language Engineering, 1-49, August 2021
Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
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
Manuel Bodirsky, Thomas Feller, Simon Knäuer, Sebastian Rudolph
On Logics and Homomorphism Closure
Proceedings of the 36th Annual Symposium on Logic in Computer Science (LICS 2021), 1-13, 2021. IEEE
Details Download
Emanuel Kieroński, Sebastian Rudolph
Finite Model Theory of the Triguarded Fragment and Related Logics
In IEEE, eds., Proceedings of the 36th Annual Symposium on Logic in Computer Science (LICS 2021), 1-13, 2021
Details Download
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass
On the Decomposition of ADFs and the Complexity of Naive-based Semantics
IJCAI 2021 Journal Track, 2021
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass
On the Decomposition of ADFs and the Complexity of Naive-based Semantics
Journal of Artificial Intelligence Research, 70:1-64, January 2021
Details Download
Bartosz Bednarczyk, Sebastian Rudolph
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.
Details Download
Jana Klimpke, Sebastian Rudolph
Visualization of Statistical Information in Concept Lattice Diagrams
In Agnès Braud, Aleksey Buzmakov, Tom Hanika, Florence Le Ber, eds., Proceedings of the 16th International Conference on Formal Concept Analysis, volume 12733 of LNCS, 208-223, 2021. Springer
Details Download
Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
Capturing Homomorphism-Closed Decidable Queries with Existential Rules
Proc. 18th International Conference on Principles of Knowledge Representation and Reasoning (KR'21), to appear
Details Download
Xiaoyu Yin, Dagmar Gromann, Sebastian Rudolph
Neural Machine Translating from Natural Language to SPARQL
Future Generation Computer Systems, 117:510-519, 2021
Details Download
View full publication list


Completed Theses


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


Quantitative Logics and Automata


Wolpertinger is a fixed-domain reasoner

Computational Logic