Automatentheorie

Kontaktperson Franz Baader

Professoren und Gruppenleiter

Prof. Dr.-Ing. Franz Baader

Verwaltung

Kerstin Achtruth

Wissenschaftliche Mitarbeiter

Christian Al-Rabbaa

Dr.-Ing. Stefan Borgwardt

Andreas Ecke

Dr. Oliver Fernández Gil

Walter Forkel

Dr. Patrick Koopmann

Dipl.-Math. Francesco Kriegel

Pavlos Marantidis

Adrian Nuradiansyah

Maximilian Pensel

Dr.-Ing. Monika Sturm

monika.sturm@tu-dresden.de
+49 (0) 351 463-38423
APB 3023
Automatentheorie

M.Sc. Satyadharma Tirtarasa

PD Dr.-Ing. habil. Anni-Yasmin Turhan

Anni-Yasmin.Turhan@tu-dresden.de
+49 (0) 351 463-39167
APB 3022
Automatentheorie

Benjamin Zarrieß

Techniker

Petra Humann

petra.humann@tu-dresden.de
+49 (0) 351 463-38422
APB 3018
Automatentheorie, Wissensbasierte Systeme

Ehemalige

Dr. rer. nat. Daniel Borchmann

Ehemals Wissenschaftlicher Mitarbeiter
Automatentheorie

Dr. Camille Bourgaux

Ehemals Wissenschaftliche Mitarbeiterin
Automatentheorie

Dr.-Ing. Sebastian Philipp Brandt

Ehemals Wissenschaftlicher Mitarbeiter
Automatentheorie

Stephan Böhme

Ehemals Wissenschaftlicher Mitarbeiter
Automatentheorie

Dr. Claudia Carapelle

Ehemals Wissenschaftlicher Mitarbeiter
Automatentheorie

İsmail İlkan Ceylan

Ehemals Wissenschaftlicher Mitarbeiter
Automatentheorie

Dr. rer. nat. Felix Distel

Ehemals Wissenschaftlicher Mitarbeiter
Automatentheorie

Eldora

Ehemals Wissenschaftliche Mitarbeiterin
Automatentheorie

Dr. Mitch Harris

Automatentheorie

Dr.-Ing. Thomas Hinze

Ehemals Wissenschaftlicher Mitarbeiter
Automatentheorie

Dr. rer. nat. Jan Hladik

Ehemals Wissenschaftlicher Mitarbeiter
Automatentheorie

Dr.-Ing. Martin Knechtel

Ehemals Externer Doktorand
Automatentheorie

Dr. rer. nat. Marcel Lippmann

Ehemals Wissenschaftlicher Mitarbeiter
Automatentheorie

Dr.-Ing. Hongkai Liu

Ehemals Wissenschaftlicher Mitarbeiter
Automatentheorie

Dr. Michel Ludwig

Ehemals Wissenschaftlicher Mitarbeiter
Automatentheorie

Prof. Dr. rer. nat. habil. Carsten Lutz

Ehemals Wissenschaftlicher Mitarbeiter
Automatentheorie

Dr. Yue Ma

Ehemals Wissenschaftliche Mitarbeiterin
Automatentheorie

Dr. Theofilos Mailis

Ehemals Wissenschaftlicher Mitarbeiter
Automatentheorie

Julian Mendez

Ehemals Wissenschaftliche Hilfskraft
Automatentheorie

Dr. rer. nat. Maja Miličić

Ehemals Wissenschaftliche Mitarbeiterin
Automatentheorie

Dr. Barbara Morawska

Ehemals Wissenschaftliche Mitarbeiterin
Automatentheorie

Dr. rer. nat. Rafael Peñaloza Nyssen

Ehemals Wissenschaftlicher Mitarbeiter
Automatentheorie

Prof. Dr. Ulrike Sattler

Ehemals Wissenschaftliche Mitarbeiterin
Automatentheorie

Dr.-Ing. Barış Sertkaya

Ehemals Wissenschaftlicher Mitarbeiter
Automatentheorie

Dr.-Ing. Boontawee (Meng) Suntisrivaraporn

Ehemals Wissenschaftlicher Mitarbeiter
Automatentheorie

Dr.-Ing. Veronika Thost

Ehemals Wissenschaftliche Mitarbeiterin
Automatentheorie, Wissensbasierte Systeme

Dr. Dirk Walther

Ehemals Wissenschaftlicher Mitarbeiter
Automatentheorie

Erik Zenker

Ehemals Wissenschaftlicher Mitarbeiter
Automatentheorie

Ehemalige Gäste

Akshay Agrawal

Ehemals Gastwissenschaftler
Automatentheorie

Apratim Bhattacharyya

Ehemals Gastwissenschaftler
Automatentheorie

Dr. Marco Cerami

Ehemals Gastwissenschaftler
Automatentheorie

Dr. Jens Claßen

Ehemals Gastwissenschaftler
Automatentheorie

Dr. Shasha Feng

Ehemals Gastwissenschaftlerin
Automatentheorie

Prof. Dr. Rajeev Goré

Ehemals Gastwissenschaftler
Automatentheorie

Dr. Natalya Keberle

Ehemals Gastwissenschaftlerin
Automatentheorie

Francisco Martín-Recuerda

Ehemals Gastwissenschaftler
Automatentheorie

Dr. Jan Otop

Ehemals Gastwissenschaftler
Automatentheorie

Ario Santoso

Ehemals Gastwissenschaftler
Automatentheorie

Dr. Lidia Tendera

Ehemals Gastwissenschaftlerin
Automatentheorie

Prof. Dr. David Toman

Ehemals Gastwissenschaftler
Automatentheorie

Levan Uridia

Ehemals Gastwissenschaftler
Automatentheorie

Dr. Xia Wu

Ehemals Gastwissenschaftlerin
Automatentheorie

Dr. Ye Yuxin

Ehemals Gastwissenschaftler
Automatentheorie

Dr. Rui Zhang

Ehemals Gastwissenschaftler
Automatentheorie

Dr. Tingting Zou

Ehemals Gastwissenschaftlerin
Automatentheorie

Neueste Publikationen

Komplette Publikationsliste anzeigen

David Carral, Larry González, Patrick Koopmann
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
Proceedings of the 33rd Conference on Artificial Intelligence (AAAI 2019), to appear
Details Download

Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
Justifications for the Description Logics Knowledge Bases under the Fixed-Domain Semantics
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, 185--200, September 2018. Springer
Details

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
Details

Patrick Koopmann, Sebastian Rudolph, Renate A. Schmidt, Christoph Wernhard
Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017)
Volume 2013 of CEUR Workshop Proceedings, 2017. CEUR-WS.org
Details

Veronika Thost
Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information (Extended Abstract)
KI, 31(4):377--380, 2017
Details Download

Veronika Thost
News on Temporal Conjunctive Queries
In Daniele Dell'Aglio, Darko Anicic, Payam M. Barnaghi, Emanuele Della Valle, Deborah L. McGuinness, Loris Bozzato, Thomas Eiter, Martin Homola, Daniele Porello, eds., Joint Proceedings of the Web Stream Processing workshop (WSP 2017) and the 2nd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2017) co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 22nd, 2017, volume 1936 of CEUR Workshop Proceedings, 1--16, October 2017. CEUR-WS.org
Details Download

Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
Metric Temporal Description Logics with Interval-Rigid Names
In Clare Dixon, Marcelo Finger, eds., Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS'17), volume 10483 of Lecture Notes in Computer Science, 60--76, September 2017. Springer
Details Download

Veronika Thost
Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information
Phd thesis, TU Dresden, 2017/06/19
Details Download

Stefan Borgwardt, İsmail İlkan Ceylan, Thomas Lukasiewicz
Ontology-Mediated Queries for Probabilistic Databases
In Satinder Singh, Shaul Markovitch, eds., Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI 2017), 1063–1069, 2017. AAAI Press
Details Download

İsmail İlkan Ceylan, Adnan Darwiche, Guy Van Den Broeck
Open-World Probabilistic Databases: An Abridged Report
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), to appear
Details Download

Komplette Publikationsliste anzeigen