Automatentheorie
Automatentheorie
- Kontaktperson Franz Baader
Professoren und Gruppenleiter
Prof. Dr.-Ing. Franz Baader
- baader@tcs.inf.tu-dresden.de
- +49 (0) 351 463-39160
- APB 3021
- Automatentheorie
Verwaltung
- Kerstin.Achtruth@tu-dresden.de
- +49 (0) 351 463-38231
- APB 3020
- Automatentheorie
Wissenschaftliche Mitarbeiter
Dr.-Ing. Stefan Borgwardt
- Stefan.Borgwardt@tu-dresden.de
- +49 (0) 351 463-39209
- APB 3024
- Automatentheorie
Dipl.-Math. Francesco Kriegel
- francesco.kriegel@tu-dresden.de
- +49 (0) 351 463-38253
- APB 3032
- Automatentheorie
Dr.-Ing. Monika Sturm
- monika.sturm@tu-dresden.de
- +49 (0) 351 463-38423
- APB 3023
- Automatentheorie
PD Dr.-Ing. habil. Anni-Yasmin Turhan
- Anni-Yasmin.Turhan@tu-dresden.de
- +49 (0) 351 463-39167
- APB 3022
- Automatentheorie
- zarriess@tcs.inf.tu-dresden.de
- +49 (0) 351 463-43501
- APB 3029
- Automatentheorie
Techniker
- 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
- Ehemals Wissenschaftlicher Mitarbeiter
- Automatentheorie
- Ehemals Wissenschaftlicher Mitarbeiter
- Automatentheorie
- Ehemals Wissenschaftlicher Mitarbeiter
- Automatentheorie
Dr. rer. nat. Felix Distel
- Ehemals Wissenschaftlicher Mitarbeiter
- Automatentheorie
- Ehemals Wissenschaftliche Mitarbeiterin
- 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
- 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
- Ehemals Wissenschaftlicher Mitarbeiter
- Automatentheorie
Ehemalige Gäste
- Ehemals Gastwissenschaftler
- Automatentheorie
- 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
- Ehemals Gastwissenschaftler
- Automatentheorie
Dr. Jan Otop
- Ehemals Gastwissenschaftler
- Automatentheorie
- Ehemals Gastwissenschaftler
- Automatentheorie
Dr. Lidia Tendera
- Ehemals Gastwissenschaftlerin
- Automatentheorie
Prof. Dr. David Toman
- Ehemals Gastwissenschaftler
- Automatentheorie
- 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
In Mantas Simkus, Grant E. Weddell, eds., Proceedings of the 32st International Workshop on Description Logics (DL 2019), volume 2373 of CEUR Workshop Proceedings, June 2019. CEUR-WS.org
Details Download
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), January 2019
Details Download
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
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
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
Lehrveranstaltungen
- Fuzzy Description Logic (WS 2020)
- Introduction to Automatic Structures (WS 2020)
- Automata and Logic (WS 2020)
- Logic-Based Ontology Engineering (SS 2020)
- Logic-Based Ontology Engineering (SS 2019)
weitere Lehrveranstaltungen anzeigen
Abgeschlossene Arbeiten
- Finite Herbrand Models for Monadic Clauses with Unary Function Symbols
- von Muhammad Zahid Zia (14 April 2016)
- Betreuer: Franz Baader, Stefan Borgwardt
- Iterative Ontology Update with Minimum Change
- von Aparna Saisree Thuluva (9 März 2015)
- Betreuer: Rafael Peñaloza Nyssen
cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN
CPEC
Grundlagen verständlicher Softwaresysteme
GoAsQ
Generating and Answering Ontological Queries
HAEC
Highly Adaptive Energy-Efficient Computing (Sonderforschungsbereich 912)
HAEC B02
Semantic Technology for Context Awareness (HAEC Project B02)
HAEC B08
High-Capacity Knowledge Processing Pipeline (HAEC Teilprojekt B08)
QuantLA
Quantitative Logics and Automata