Skip to content Skip to footer

Research Portal of the TU Dresden

Chair of Automata Theory

Organisational unit: Chair

Organisation profile

Former Chair Holder: Prof. Dr.-Ing. Franz Baader

Research continued as Professor (rtd.) for Automata Theory

Former unit

Active until. 31 Dec 2025.

Contact

TUD website: https://tu-dresden.de/ing/informatik/thi/lat

Parent units

Institute of Theoretical Computer Science

Keywords

Research Focus

Related content and researchers (public profile)

Research output
Journals
Activities
Prizes

The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of Models

Baader, F. & De Bortoli, F., 2026, Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings. Thiemann, R. & Weidenbach, C. (eds.). 1 ed. Springer, Cham, p. 22-39 18 p. (Lecture Notes in Artificial Intelligence (LNAI), Vol. 15979).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

The Concrete Evonne: Visualization Meets Concrete Domain Reasoning

Alrabbaa, C., Baader, F., Dachselt, R., Kovtunova, A. & Méndez, J., 15 Sept 2025, Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings. Thiemann, R. & Weidenbach, C. (eds.). Springer, Cham, p. 3-21 19 p. (Lecture Notes in Computer Science, Vol. 15979).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Complexity and Expressive Power of Description Logics with Numerical Constraints

De Bortoli, F., 9 Sept 2025, 144 p.

Research output: Types of thesis › Doctoral thesis

Automated Planning with Ontologies under Coherence Update Semantics (Extended Abstract)

Borgwardt, S., Nhu, H. D. & Röger, G., 3 Sept 2025, Proceedings of the 38th International Workshop on Description Logics - DL 2025. CEUR-WS.org

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Abstract)

Baader, F., Borgwardt, S., De Bortoli, F. & Koopmann, P., Sept 2025, Proceedings of the 38th International Workshop on Description Logics (DL'25). Tendera, L., Ibáñez-García, Y. & Koopmann, P. (eds.). CEUR-WS.org, 5 p. (CEUR Workshop Proceedings, Vol. 4091).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

View all research output (563)

CEUR Workshop Proceedings (Vol. 2373)

ISSNs: 1613-0073

Additional searchable ISSN (electronic): 1613-0073

CEUR-WS, Germany

Scopus rating (2024): CiteScore 0.9 SJR 0.166 SNIP 0.231

Journal: Book series

Transactions on Graph Data and Knowledge (TGDK)

ISSNs: 2942-7517

Additional searchable ISSN (electronic): 2942-7517

Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Germany

Indexed in DOAJ

Journal

Annals of mathematics and artificial intelligence : AMAI

ISSNs: 1012-2443

Additional searchable ISSN (electronic): 1573-7470

Springer, Dordrecht [u. a.], Netherlands

Scopus rating (2024): CiteScore 2.8 SJR 0.419 SNIP 0.778

Journal

ACM SIGAPP Applied Computing Review

ISSNs: 1559-6915

Additional searchable ISSN (electronic): 1931-0161

Association for Computing Machinery (ACM), New York, United States of America

Journal

International journal of control

ISSNs: 0020-7179

Additional searchable ISSN (electronic): 1366-5820

Taylor & Francis

Scopus rating (2024): CiteScore 4.5 SJR 0.681 SNIP 0.9

Journal

View all journals (54)

The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of Models

De Bortoli, F. (Speaker)

29 Sept 2025

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

The Expressive Power of Quantitative Extensions of Description Logics

De Bortoli, F. (Speaker)

5 Apr 2024

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited

INRIA centre at the University Grenoble Alpes

De Bortoli, F. (Visitor)

3 Apr 2024 → 5 Apr 2024

Activity: Visiting external institutions › Research stay

The Role of Ontologies in AI (in Bahasa Indonesia)

Nuradiansyah, A. (Speaker)

28 Jul 2022

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited

Reasoning in Description Logic Ontologies for Privacy Management (Dissertation Defense Slides)

Nuradiansyah, A. (Speaker)

25 Nov 2019

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

View all activities (8)

Woody Bledsoe Award

De Bortoli, F. (Recipient), 2025

Prize: Other prize

Best Paper Award - Information Systems

Baader, F. (Recipient) & De Bortoli, F. (Recipient), Apr 2024

Prize: Publication/Conference prize

Harold Boley Distinguished Paper Award

Alrabbaa, C. (Recipient), Baader, F. (Recipient), Borgwardt, S. (Recipient), Koopmann, P. (Recipient) & Kovtunova, A. (Recipient), 2023

Prize: Publication/Conference prize

Best Paper Award

Alrabbaa, C. (Recipient), Borgwardt, S. (Recipient), Hirsch, A. (Recipient), Knieriemen, N. (Recipient), Kovtunova, A. (Recipient), Rothermel, A. M. (Recipient) & Wiehr, F. (Recipient), 2022

Prize: Publication/Conference prize

Best Research Paper

Alrabbaa, C. (Recipient) & Hieke, W. (Recipient), 2022

Prize: Publication/Conference prize

View all prizes (23)