Automata Theory

From International Center for Computational Logic
Toggle side column

Automata Theory

Professors and Research Group Leaders

Franz-16 150.jpg

Prof. Dr.-Ing. Franz Baader

Management

Kersint Achtruth.jpg

Kerstin Achtruth

Scientific Staff

Technical Administrators

Missing portrait 3-2.png

Petra Humann

Former Members

Borchmann-real-23.png

Dr. rer. nat. Daniel Borchmann

  • Former Research Associate
  • Automata Theory
Missing portrait 3-2.png

Dr. Camille Bourgaux

  • Former Research Associate
  • Automata Theory
Missing portrait 3-2.png

Dr.-Ing. Sebastian Philipp Brandt

  • Former Research Associate
  • Automata Theory
Missing portrait 3-2.png

Stephan Böhme

  • Former Research Associate
  • Automata Theory
Me pic.png

Dr. Claudia Carapelle

  • Former Research Associate
  • Automata Theory
Ismail-.jpg

İsmail İlkan Ceylan

  • Former Research Associate
  • Automata Theory
Missing portrait 3-2.png

Dr. rer. nat. Felix Distel

  • Former Research Associate
  • Automata Theory
Missing portrait 3-2.png

Eldora

  • Former Research Associate
  • Automata Theory
Missing portrait 3-2.png

Dr. Mitch Harris

  • Automata Theory
Missing portrait 3-2.png

Dr.-Ing. Thomas Hinze

  • Former Research Associate
  • Automata Theory
Missing portrait 3-2.png

Dr. rer. nat. Jan Hladik

  • Former Research Associate
  • Automata Theory
Missing portrait 3-2.png

Dr.-Ing. Martin Knechtel

  • Former External PhD Student
  • Automata Theory
Missing portrait 3-2.png

Dr. rer. nat. Marcel Lippmann

  • Former Research Associate
  • Automata Theory
Missing portrait 3-2.png

Dr.-Ing. Hongkai Liu

  • Former Research Associate
  • Automata Theory
Missing portrait 3-2.png

Dr. Michel Ludwig

  • Former Research Associate
  • Automata Theory
Missing portrait 3-2.png

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

  • Former Research Associate
  • Automata Theory
Missing portrait 3-2.png

Dr. Yue Ma

  • Former Research Associate
  • Automata Theory
Missing portrait 3-2.png

Dr. Theofilos Mailis

  • Former Research Associate
  • Automata Theory
Missing portrait 3-2.png

Julian Mendez

  • Former Graduate Assistant
  • Automata Theory
Missing portrait 3-2.png

Dr. rer. nat. Maja Miličić

  • Former Research Associate
  • Automata Theory
Morawska.jpg

Dr. Barbara Morawska

  • Former Research Associate
  • Automata Theory
Rpn.jpg

Dr. rer. nat. Rafael Peñaloza Nyssen

  • Former Research Associate
  • Automata Theory
Missing portrait 3-2.png

Prof. Dr. Ulrike Sattler

  • Former Research Associate
  • Automata Theory
Missing portrait 3-2.png

Dr.-Ing. Barış Sertkaya

  • Former Research Associate
  • Automata Theory
Missing portrait 3-2.png

Dr.-Ing. Boontawee (Meng) Suntisrivaraporn

  • Former Research Associate
  • Automata Theory
Vt.jpg

Dr.-Ing. Veronika Thost

Missing portrait 3-2.png

Dr. Dirk Walther

  • Former Research Associate
  • Automata Theory
Missing portrait 3-2.png

Erik Zenker

  • Former Research Associate
  • Automata Theory

Former Guests

Missing portrait 3-2.png

Akshay Agrawal

  • Former Visiting Scientist
  • Automata Theory
Missing portrait 3-2.png

Apratim Bhattacharyya

  • Former Visiting Scientist
  • Automata Theory
Missing portrait 3-2.png

Dr. Marco Cerami

  • Former Visiting Scientist
  • Automata Theory
Missing portrait 3-2.png

Dr. Jens Claßen

  • Former Visiting Scientist
  • Automata Theory
Missing portrait 3-2.png

Dr. Shasha Feng

  • Former Visiting Scientist
  • Automata Theory
Missing portrait 3-2.png

Prof. Dr. Rajeev Goré

  • Former Visiting Scientist
  • Automata Theory
Missing portrait 3-2.png

Dr. Natalya Keberle

  • Former Visiting Scientist
  • Automata Theory
Missing portrait 3-2.png

Francisco Martín-Recuerda

  • Former Visiting Scientist
  • Automata Theory
Missing portrait 3-2.png

Dr. Jan Otop

  • Former Visiting Scientist
  • Automata Theory
Missing portrait 3-2.png

Ario Santoso

  • Former Visiting Scientist
  • Automata Theory
Missing portrait 3-2.png

Dr. Lidia Tendera

  • Former Visiting Scientist
  • Automata Theory
Missing portrait 3-2.png

Prof. Dr. David Toman

  • Former Visiting Scientist
  • Automata Theory
Missing portrait 3-2.png

Levan Uridia

  • Former Visiting Scientist
  • Automata Theory
Missing portrait 3-2.png

Dr. Xia Wu

  • Former Visiting Scientist
  • Automata Theory
Missing portrait 3-2.png

Dr. Ye Yuxin

  • Former Visiting Scientist
  • Automata Theory
Missing portrait 3-2.png

Dr. Rui Zhang

  • Former Visiting Scientist
  • Automata Theory
Missing portrait 3-2.png

Dr. Tingting Zou

  • Former Visiting Scientist
  • Automata Theory

Newest Publications

View full publication list

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

İsmail İlkan Ceylan, Rafael Peñaloza Nyssen
The Bayesian Ontology Language BEL
Journal of Automated Reasoning, 58(1):67--95, 2017
Details Download

View full publication list

Courses


Completed Theses

Cfaed.jpg

cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN

Conexp-clj
A general purpose tool for Formal Concept Analysis

GoAsQ
Generating and Answering Ontological Queries

HAEC Logo.png

HAEC
Highly Adaptive Energy-Efficient Computing (Collaborative Research Centre SFB 912)

HAEC Logo.png

HAEC B02
Semantic Technology for Context Awareness (HAEC Teilprojekt B02)

HAEC Logo.png

HAEC B08
High-Capacity Knowledge Processing Pipeline (HAEC Project B08)

Quantla-logo.png

QuantLA
Quantitative Logics and Automata