Automatentheorie

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

Automatentheorie

Herr Prof. Dr.-Ing. Franz Baader wurde 2002 auf die Professur für Automatentheorie berufen. Seine Professur bietet grundlegende und vertiefende Lehrveranstaltungen für verschiedene Studiengänge an, und forscht auf den Gebieten Deduktion, Wissensrepräsentation, sowie Rechnen mit Molekülen.

Professoren und Gruppenleiter

Franz-16 150.jpg
Prof. Dr.-Ing. Franz Baader

Verwaltung

Wissenschaftliche Mitarbeiter

Techniker

Ehemalige

Borchmann-real-23.png
Dr. rer. nat. Daniel Borchmann
Missing portrait 3-2.png
Missing portrait 3-2.png
Missing portrait 3-2.png
Me pic.png
Ismail-.jpg
Missing portrait 3-2.png
Dr. rer. nat. Felix Distel
Ecke.jpg
Missing portrait 3-2.png
Missing portrait 3-2.png
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
Patrick-400x600.jpg
Missing portrait 3-2.png
Dr. rer. nat. Marcel Lippmann
Missing portrait 3-2.png
Dr.-Ing. Hongkai Liu
Missing portrait 3-2.png
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
Missing portrait 3-2.png
Missing portrait 3-2.png
Missing portrait 3-2.png
Dr. rer. nat. Maja Miličić
Morawska.jpg
Missing portrait 3-2.png
Rpn.jpg
Missing portrait 3-2.png
Prof. Dr. Ulrike Sattler
Missing portrait 3-2.png
Missing portrait 3-2.png
Dr.-Ing. Monika Sturm
Missing portrait 3-2.png
Vt.jpg
Dr.-Ing. Veronika Thost
Missing portrait 3-2.png
Missing portrait 3-2.png
Missing portrait 3-2.png

Ehemalige Gäste

Missing portrait 3-2.png
Missing portrait 3-2.png
Missing portrait 3-2.png
Missing portrait 3-2.png
Missing portrait 3-2.png
Missing portrait 3-2.png
Prof. Dr. Rajeev Goré
Missing portrait 3-2.png
Missing portrait 3-2.png
Missing portrait 3-2.png
Missing portrait 3-2.png
Missing portrait 3-2.png
Missing portrait 3-2.png
Prof. Dr. David Toman
Missing portrait 3-2.png
Missing portrait 3-2.png
Dr. Xia Wu
Missing portrait 3-2.png
Missing portrait 3-2.png
Missing portrait 3-2.png

Neueste Publikationen

Komplette Publikationsliste anzeigen

Franz Baader, Filippo De Bortoli
On the Abstract Expressive Power of Description Logics with Concrete Domains
In Oliver Kutz, Ana Ozaki, eds., Proceedings of the 36th International Workshop on Description Logics (DL'23), volume 3515 of CEUR Workshop Proceedings, September 2023
Details
Filippo De Bortoli, Franz Baader
On the Abstract Expressive Power of Description Logics with Concrete Domains (Extended Version)
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume LTCS-Report 23-02, August 2023
Details
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract)
In Ofer Arieli, Martin Homola,Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), volume 3263 of CEUR Workshop Proceedings, 2022. CEUR-WS.org
Details Download
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
Expressivity of Planning with Horn Description Logic Ontologies
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), 5503--5511, 2022. AAAI Press
Details Download
Filippo De Bortoli, Franz Baader
Description Logics that Count, and What They Can and Cannot Count (Extended Abstract)
In Stefan Borgwardt, Thomas Meyer, eds., Proceedings of the 33rd International Workshop on Description Logics (DL'20), volume 2663 of CEUR Workshop Proceedings, 2020. CEUR-WS
Details
Filippo De Bortoli, Franz Baader
Description Logics That Count, and What They Can and Cannot Count
In Laura Kovacs, Konstantin Korovin, Giles Reger, eds., ANDREI-60. Automated New-era Deductive Reasoning Event in Iberia, volume 68 of EPiC Series in Computing, 1-25, 2020. EasyChair
Details
Filippo De Bortoli, Franz Baader
On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets
In Andreas Herzig, Andrei Popescu, eds., Proc. of the 12th International Symposium on Frontiers of Combining Systems (FroCoS 2019), volume 11715 of Lecture Notes in Computer Science, 203-219, 2019. Springer
Details
Filippo De Bortoli, Franz Baader
On the Complexity and Expressiveness of Description Logics with Counting
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume LTCS-Report 19-09, December 2019
Details
Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints
In Mantas Simkus, Grant E. Weddell, eds., Proceedings of the 32nd International Workshop on Description Logics, volume 2373 of CEUR Workshop Proceedings, June 2019. CEUR-WS.org
Details Download
Komplette Publikationsliste anzeigen

Lehrveranstaltungen



Abgeschlossene Arbeiten

Cfaed-logo.png

cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN

CPEC-logo.png

CPEC
Grundlagen verständlicher Softwaresysteme

Quantla-logo-png.png

QuantLA
Quantitative Logics and Automata