Quelltext der Seite Sebastian Rudolph

{{Mitarbeiter
|Vorname=Sebastian
|Nachname=Rudolph
|Akademischer Titel=Prof. Dr.
|Forschungsgruppe=Computational Logic
|Stellung=Professor
|Ehemaliger=0
|Telefon=+49 351 463 38516
|Fax=+49 351 463 32827
|Email=sebastian.rudolph@tu-dresden.de
|Matrix=@serudolp:tu-dresden.de
|Raum=APB 2035
|Bild=SR2019-webseite.png
|Info=Ich bin seit April 2013 Professor für [[Computational Logic]] im Institut für Künstliche Intelligenz an der [http://inf.tu-dresden.de Fakultät Informatik] der [https://tu-dresden.de Technischen Universität Dresden], seit 2021 auch Zweitmitglied der [https://tu-dresden.de/mn/math 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 [[Semantische Technologien|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 [[News34|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 [http://de.wikipedia.org/wiki/Rudi_Studer Rudi Studer]s [http://www.aifb.kit.edu/web/Wissensmanagement Gruppe für Wissensmanagement] am [http://www.aifb.kit.edu/web/Hauptseite Institut für Angewandte Informatik und Formale Beschreibungsverfahren] des [http://www.kit.edu 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 [http://tu-dresden.de TU Dresden] absolviert.
|Info EN=Since April 2013, I've been full professor for [[Computational Logic/en|Computational Logic]] at the Institute for Artificial Intelligence at the [http://inf.tu-dresden.de/portal.php?node_id=1&ln=en&group=13 Faculty of Computer Science] at the [http://tu-dresden.de/en Technische Universität Dresden], since 2021 affiliated member of the [https://tu-dresden.de/mn/math Faculty of Mathematics]. My research interests comprise Artificial Intelligence, in particular [[Wissensrepräsentation und logisches Schließen/en|Knowledge Representation and Reasoning]] using diverse formalisms (such as [[Beschreibungslogiken/en|Description Logics]], [[Existenzielle Regeln/en|Existential Rules]] and [[Formale Begriffsanalyse/en|Formal Concept Analysis]]) and their applications in diverse areas, for instance [[Semantische Technologien/en|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 [[News34/en|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 [http://en.wikipedia.org/wiki/Rudi_Studer Rudi Studer]'s [http://www.aifb.kit.edu/web/Wissensmanagement/en  Knowledge Management group] at the [http://www.aifb.kit.edu/web/Hauptseite/en Institute AIFB] of the [http://www.kit.edu/english/index.php 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 [http://tu-dresden.de/en TU Dresden].
|DBLP=http://www.informatik.uni-trier.de/~ley/pers/hd/r/Rudolph:Sebastian
|Google Scholar=http://scholar.google.de/citations?user=b3qVb6IAAAAJ&hl=en
|Alternative URI=http://sebastian-rudolph.de
|Publikationen anzeigen=1
|Abschlussarbeiten anzeigen=1
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Wissensrepräsentation und logisches Schließen
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Beschreibungslogiken
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Existenzielle Regeln
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Formale Begriffsanalyse
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Semantische Technologien
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Abstrakte Argumentation
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Answer Set Programming
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Constraint Satisfaction Problems
}}