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

Scientific Staff

Technical Administrators

Former Members

Borchmann-real-23.png

Dr. rer. nat. Daniel Borchmann

Missing portrait 3-2.png

Dr. Camille Bourgaux

Missing portrait 3-2.png

Dr.-Ing. Sebastian Philipp Brandt

Missing portrait 3-2.png

Stephan Böhme

Me pic.png

Dr. Claudia Carapelle

Ismail-.jpg

İsmail İlkan Ceylan

Missing portrait 3-2.png

Dr. rer. nat. Felix Distel

Missing portrait 3-2.png

Eldora

Missing portrait 3-2.png

Dr.-Ing. Thomas Hinze

Missing portrait 3-2.png

Dr. rer. nat. Jan Hladik

Missing portrait 3-2.png

Dr.-Ing. Martin Knechtel

Missing portrait 3-2.png

Dr. rer. nat. Marcel Lippmann

Missing portrait 3-2.png

Dr.-Ing. Hongkai Liu

Missing portrait 3-2.png

Dr. Michel Ludwig

Missing portrait 3-2.png

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

Missing portrait 3-2.png

Dr. Yue Ma

Missing portrait 3-2.png

Dr. Theofilos Mailis

Missing portrait 3-2.png

Julian Mendez

Missing portrait 3-2.png

Dr. rer. nat. Maja Miličić

Morawska.jpg

Dr. Barbara Morawska

Rpn.jpg

Dr. rer. nat. Rafael Peñaloza Nyssen

Missing portrait 3-2.png

Prof. Dr. Ulrike Sattler

Missing portrait 3-2.png

Dr.-Ing. Barış Sertkaya

Missing portrait 3-2.png

Dr.-Ing. Boontawee (Meng) Suntisrivaraporn

Vt.jpg

Dr.-Ing. Veronika Thost

Missing portrait 3-2.png

Dr. Dirk Walther

Missing portrait 3-2.png

Erik Zenker

Former Guests

Missing portrait 3-2.png

Akshay Agrawal

Missing portrait 3-2.png

Apratim Bhattacharyya

Missing portrait 3-2.png

Dr. Marco Cerami

Missing portrait 3-2.png

Dr. Jens Claßen

Missing portrait 3-2.png

Dr. Shasha Feng

Missing portrait 3-2.png

Prof. Dr. Rajeev Goré

Missing portrait 3-2.png

Dr. Natalya Keberle

Missing portrait 3-2.png

Francisco Martín-Recuerda

Missing portrait 3-2.png

Dr. Jan Otop

Missing portrait 3-2.png

Ario Santoso

Missing portrait 3-2.png

Dr. Lidia Tendera

Missing portrait 3-2.png

Prof. Dr. David Toman

Missing portrait 3-2.png

Levan Uridia

Missing portrait 3-2.png

Dr. Xia Wu

Missing portrait 3-2.png

Dr. Ye Yuxin

Missing portrait 3-2.png

Dr. Rui Zhang

Missing portrait 3-2.png

Dr. Tingting Zou

Newest Publications

View full publication list

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

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 2018), volume 2373 of CEUR Workshop Proceedings, June 2019. CEUR-WS.org
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

View full publication list

Courses


Completed Theses

Cfaed.jpg

cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN

Logo CPEC final RGB.svg

CPEC
Center for Perspicuous Computing

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

Conexp-clj
A general purpose tool for Formal Concept Analysis