Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Sebastian Rudolph
Abschlussarbeiten anzeigen 1  +
Akademischer Titel Prof.  +
Alternative URI http://sebastian-rudolph.de  +
Bild Sebastian2016.png  +
DBLP http://www.informatik.uni-trier.de/~ley/pers/hd/r/Rudolph:Sebastian  +
Ehemaliger 0  +
Forschungsgebiet Formale Begriffsanalyse + , Wissensrepräsentation und logisches Schließen + , Beschreibungslogiken + , Existenzielle Regeln + , Semantische Technologien + , Abstrakte Argumentation + , Answer Set Programming +
Forschungsgruppe Computational Logic +
Forschungsgruppe EN Computational Logic +
Gebäude APB  +
Google Scholar http://scholar.google.de/citations?user=b3qVb6IAAAAJ&hl=en  +
Image Datei:Sebastian2016.png +
Info EN Since April 2013 I am full professor for [
Since April 2013 I am 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]. 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].
the [http://tu-dresden.de/en TU Dresden].  +
Nachname Rudolph  +
Name Sebastian Rudolph  +
Publikationen anzeigen 1  +
Raum APB 2035 +
Stellung Professor  +
Telefax +49 351 463 32827  +
Telefon +49 351 463 38516  +
Vorname Sebastian  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
Sebastian Rudolph + , Sebastian Rudolph + , Sebastian Rudolph + , Sebastian Rudolph + , Sebastian Rudolph + , Sebastian Rudolph + , Sebastian Rudolph + , Sebastian Rudolph +
Kategorien Mitarbeiter
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
6 Januar 2018 14:33:35  +
E-Mail
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
sebastian.rudolph@tu-dresden.de  +
verstecke Attribute die hierhin verlinken 
Article1226 + , Article1983 + , Article1984 + , Article3009 + , Article3010 + , Article3017 + , Article3022 + , Article3024 + , Article3031 + , Article3032 + , Article4007 + , Article4008 + , Article4010 + , Article4011 + , Article4012 + , Article4014 + , Article4016 + , Article4017 + , Book1380 + , Book1546 + ... Author
Thema3426 + , Thema3414 + , Thema3413 + , Thema3425 + , Thema3471 + , Thema3411 + , Thema3505 + , Thema3410 + Betreuer
Computational Logic + Forschungsgruppenleiter
DeciGUT + , Wolpertinger + Kontaktperson
Deduction Systems (SS2015) + , Deduction Systems (SS2016) + , Deduction Systems (SS2017) + , Foundations of Constraint Programming (WS2014) + , Foundations of Constraint Programming (WS2015) + , Foundations of Constraint Programming (WS2016) + , Foundations of Constraint Programming (WS2017) + , Foundations of Logic Programming (WS2014) + , Foundations of Logic Programming (WS2015) + , Foundations of Logic Programming (WS2016) + , Foundations of Logic Programming (WS2017) + , Foundations of Semantic Web Technologies (SS2015) + , Foundations of Semantic Web Technologies (SS2016) + , Foundations of Semantic Web Technologies (SS2017) + , Introduction to Formal Concept Analysis (WS2014) + , Introduction to Formal Concept Analysis (WS2015) + , Introduction to Formal Concept Analysis (WS2016) + , Introduction to Formal Concept Analysis (WS2017) + , Logical Modeling (SS2016) + , Logical Modelling (SS2017) + ... Lecturer
Shima Asaadi + , Shima Asaadi/en + Miterarbeiter
Aktivitaet2003 + , EMCL + , ICCL-SS-2015 + , QuantLA + , Wolpertinger + Person
Foundations of Semantic Web Technologies (SS2015) + , Foundations of Semantic Web Technologies (SS2016) + Tutor
 

 

Bitte den Namen einer Seite angeben, um mit dem Browsen zu beginnen.