Sebastian Rudolph

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Prof. Dr. Sebastian Rudolph

ProfessorTechnische Universität DresdenInternational Center for Computational Logic Computational Logic

Ich bin seit April 2013 Professor für Computational Logic im Institut für Künstliche Intelligenz an der Fakultät Informatik der Technischen Universität Dresden, seit 2021 auch Zweitmitglied der Fakultät Mathematik. Meine Forschungsinteressen umfassen Künstliche Intelligenz, insbesondere Wissensrepräsentation und logisches Schließen mithilfe diverser Formalismen (u.a. Beschreibungslogiken, Existenzielle Regeln und Formale Begriffsanalyse) und ihren Anwendungen beispielsweise im Bereich Semantischer Technologien. Dabei befasse ich mich mit Fragestellungen die von den theoretischen Grundlagen (z.B. Entscheidbarkeit und Komplexität von Inferenzproblemen) bis hin zum praktischen Einsatz (Ontologiemodellierung, interaktive Wissensakquise) reichen. 2017 erhielt ich ein ERC Consolidator Grant, im Rahmen dessen ich mich mit allgemeinen Prinzipien der Entscheidbarkeit in der logikbasierten Wissensrepräsentation befasse.

Vor meiner Rückkehr nach Dresden war ich von 2006 bis 2013 als Postdoktorand, Projektleiter und später Privatdozent in Rudi Studers Gruppe für Wissensmanagement am Institut für Angewandte Informatik und Formale Beschreibungsverfahren des Karlsruher Instituts für Technologie, wo ich 2011 die venia legendi erhalten habe. Meine Promotion in Algebra und mein Lehramtsstudium für Mathematik, Physik und Informatik habe ich an der TU Dresden absolviert.

Neueste Publikationen

Komplette Publikationsliste anzeigen

Shima Asaadi, Eugenie Giesbrecht, Sebastian Rudolph
Compositional matrix-space models of language: Definitions, properties, and learning methods
Natural Language Engineering, 1-49, August 2021
Details
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
Details
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. CEUR-WS.org
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
Komplette Publikationsliste anzeigen

Lehrveranstaltungen



Abgeschlossene Arbeiten

DeciGUT-logo-final.png

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

Quantla-logo-png.png

QuantLA
Quantitative Logics and Automata

Wolpert-github.png

Wolpertinger
Wolpertinger is a fixed-domain reasoner