Automatentheorie

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Automatentheorie

Professoren und Gruppenleiter

Franz-16 150.jpg

Prof. Dr.-Ing. Franz Baader

Verwaltung

Kersint Achtruth.jpg

Kerstin Achtruth

Wissenschaftliche Mitarbeiter

Techniker

Missing portrait 3-2.png

Petra Humann

Ehemalige

Borchmann-real-23.png

Dr. rer. nat. Daniel Borchmann

  • Ehemals Wissenschaftlicher Mitarbeiter
  • Automatentheorie
Missing portrait 3-2.png

Dr. Camille Bourgaux

  • Ehemals Wissenschaftliche Mitarbeiterin
  • Automatentheorie
Missing portrait 3-2.png

Dr.-Ing. Sebastian Philipp Brandt

  • Ehemals Wissenschaftlicher Mitarbeiter
  • Automatentheorie
Missing portrait 3-2.png

Stephan Böhme

  • Ehemals Wissenschaftlicher Mitarbeiter
  • Automatentheorie
Me pic.png

Dr. Claudia Carapelle

  • Ehemals Wissenschaftlicher Mitarbeiter
  • Automatentheorie
Ismail-.jpg

İsmail İlkan Ceylan

  • Ehemals Wissenschaftlicher Mitarbeiter
  • Automatentheorie
Missing portrait 3-2.png

Dr. rer. nat. Felix Distel

  • Ehemals Wissenschaftlicher Mitarbeiter
  • Automatentheorie
Missing portrait 3-2.png

Eldora

  • Ehemals Wissenschaftliche Mitarbeiterin
  • Automatentheorie
Missing portrait 3-2.png

Dr. Mitch Harris

  • Automatentheorie
Missing portrait 3-2.png

Dr.-Ing. Thomas Hinze

  • Ehemals Wissenschaftlicher Mitarbeiter
  • Automatentheorie
Missing portrait 3-2.png

Dr. rer. nat. Jan Hladik

  • Ehemals Wissenschaftlicher Mitarbeiter
  • Automatentheorie
Missing portrait 3-2.png

Dr.-Ing. Martin Knechtel

  • Ehemals Externer Doktorand
  • Automatentheorie
Missing portrait 3-2.png

Dr. rer. nat. Marcel Lippmann

  • Ehemals Wissenschaftlicher Mitarbeiter
  • Automatentheorie
Missing portrait 3-2.png

Dr.-Ing. Hongkai Liu

  • Ehemals Wissenschaftlicher Mitarbeiter
  • Automatentheorie
Missing portrait 3-2.png

Dr. Michel Ludwig

  • Ehemals Wissenschaftlicher Mitarbeiter
  • Automatentheorie
Missing portrait 3-2.png

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

  • Ehemals Wissenschaftlicher Mitarbeiter
  • Automatentheorie
Missing portrait 3-2.png

Dr. Yue Ma

  • Ehemals Wissenschaftliche Mitarbeiterin
  • Automatentheorie
Missing portrait 3-2.png

Dr. Theofilos Mailis

  • Ehemals Wissenschaftlicher Mitarbeiter
  • Automatentheorie
Missing portrait 3-2.png

Julian Mendez

  • Ehemals Wissenschaftliche Hilfskraft
  • Automatentheorie
Missing portrait 3-2.png

Dr. rer. nat. Maja Miličić

  • Ehemals Wissenschaftliche Mitarbeiterin
  • Automatentheorie
Morawska.jpg

Dr. Barbara Morawska

  • Ehemals Wissenschaftliche Mitarbeiterin
  • Automatentheorie
Rpn.jpg

Dr. rer. nat. Rafael Peñaloza Nyssen

  • Ehemals Wissenschaftlicher Mitarbeiter
  • Automatentheorie
Missing portrait 3-2.png

Prof. Dr. Ulrike Sattler

  • Ehemals Wissenschaftliche Mitarbeiterin
  • Automatentheorie
Missing portrait 3-2.png

Dr.-Ing. Barış Sertkaya

  • Ehemals Wissenschaftlicher Mitarbeiter
  • Automatentheorie
Missing portrait 3-2.png

Dr.-Ing. Boontawee (Meng) Suntisrivaraporn

  • Ehemals Wissenschaftlicher Mitarbeiter
  • Automatentheorie
Vt.jpg

Dr.-Ing. Veronika Thost

Missing portrait 3-2.png

Dr. Dirk Walther

  • Ehemals Wissenschaftlicher Mitarbeiter
  • Automatentheorie
Missing portrait 3-2.png

Erik Zenker

  • Ehemals Wissenschaftlicher Mitarbeiter
  • Automatentheorie

Ehemalige Gäste

Missing portrait 3-2.png

Akshay Agrawal

  • Ehemals Gastwissenschaftler
  • Automatentheorie
Missing portrait 3-2.png

Apratim Bhattacharyya

  • Ehemals Gastwissenschaftler
  • Automatentheorie
Missing portrait 3-2.png

Dr. Marco Cerami

  • Ehemals Gastwissenschaftler
  • Automatentheorie
Missing portrait 3-2.png

Dr. Jens Claßen

  • Ehemals Gastwissenschaftler
  • Automatentheorie
Missing portrait 3-2.png

Dr. Shasha Feng

  • Ehemals Gastwissenschaftlerin
  • Automatentheorie
Missing portrait 3-2.png

Prof. Dr. Rajeev Goré

  • Ehemals Gastwissenschaftler
  • Automatentheorie
Missing portrait 3-2.png

Dr. Natalya Keberle

  • Ehemals Gastwissenschaftlerin
  • Automatentheorie
Missing portrait 3-2.png

Francisco Martín-Recuerda

  • Ehemals Gastwissenschaftler
  • Automatentheorie
Missing portrait 3-2.png

Dr. Jan Otop

  • Ehemals Gastwissenschaftler
  • Automatentheorie
Missing portrait 3-2.png

Ario Santoso

  • Ehemals Gastwissenschaftler
  • Automatentheorie
Missing portrait 3-2.png

Dr. Lidia Tendera

  • Ehemals Gastwissenschaftlerin
  • Automatentheorie
Missing portrait 3-2.png

Prof. Dr. David Toman

  • Ehemals Gastwissenschaftler
  • Automatentheorie
Missing portrait 3-2.png

Levan Uridia

  • Ehemals Gastwissenschaftler
  • Automatentheorie
Missing portrait 3-2.png

Dr. Xia Wu

  • Ehemals Gastwissenschaftlerin
  • Automatentheorie
Missing portrait 3-2.png

Dr. Ye Yuxin

  • Ehemals Gastwissenschaftler
  • Automatentheorie
Missing portrait 3-2.png

Dr. Rui Zhang

  • Ehemals Gastwissenschaftler
  • Automatentheorie
Missing portrait 3-2.png

Dr. Tingting Zou

  • Ehemals Gastwissenschaftlerin
  • Automatentheorie

Neueste Publikationen

Komplette Publikationsliste anzeigen

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

İsmail İlkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza, Oana Tifrea-Marciuska
Query Answering in Ontologies under Preference Rankings
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), to appear
Details Download

İsmail İlkan Ceylan, Stefan Borgwardt, Thomas Lukasiewicz
Most Probable Explanations for Probabilistic Database Queries
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), to appear
Details Download

Komplette Publikationsliste anzeigen

Lehrveranstaltungen


Abgeschlossene Arbeiten

Cfaed.jpg

cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN

GoAsQ
Generating and Answering Ontological Queries

HAEC Logo.png

HAEC
Highly Adaptive Energy-Efficient Computing (Sonderforschungsbereich 912)

HAEC Logo.png

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

HAEC Logo.png

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

Quantla-logo.png

QuantLA
Quantitative Logics and Automata