Skip to content Skip to footer

Research Portal of the TU Dresden

Prof. Dr.-Ing. Franz Baader
Person

Affiliations

Chair of Automata Theory
- Full Professor
- franz.baader@tu-dresden.de
Faculty of Mathematics
- Associated/Co-opted member of the faculty

Research interests

Logic in Computer Science, Automated Reasoning, Term Rewriting, Unification, Knowledge Representation, Description Logic, Automata Theory

Identification Numbers

ORCID	0000-0002-4049-221X, external link
Scopus author ID	26643645200

Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability

Baader, F. & De Bortoli, F., 1 Oct 2024, In: ACM SIGAPP Applied Computing Review. 24, 3, p. 5–17

Research output: Contribution to journal › Research article › Invited › peer-review

Unification in the Description Logic ELHR+ without the Top Concept modulo Cycle-Restricted Ontologies

Fernandez Gil, O. & Baader, F., 2 Jul 2024, Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 1-6, 2024, Proceedings, Part II. Benzmüller, C., Heule, M. J. H. & Schmidt, R. A. (eds.). Springer, p. 279-297 19 p. (Lecture Notes in Computer Science, Vol. 14740).

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

On the Complexity of the Small Term Reachability Problem for Terminating Term Rewriting Systems

Baader, F. & Giesl, J., Jul 2024, 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024). Rehof, J. (ed.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 16:1-16:18 16. (Leibniz international proceedings in informatics : LIPIcs, Vol. 299).

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

The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains

Baader, F. & De Bortoli, F., 8 Apr 2024, Proceedings of the 39th {ACM/SIGAPP} Symposium on Applied Computing. Association for Computing Machinery (ACM), New York, p. 754-761 8 p.

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

Extending the description logic EL with threshold concepts induced by concept measures

Baader, F. & Fernandez Gil, O., Jan 2024, In: Artificial Intelligence. 326, 66 p., 104034.

Research output: Contribution to journal › Research article › Contributed › peer-review

View all research output (218)

View all prizes (10)

Research Portal of the TU Dresden

Prof. Dr.-Ing. Franz Baader
Person

Affiliations

Research interests

Identification Numbers

Related content

Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability

Unification in the Description Logic ELHR+ without the Top Concept modulo Cycle-Restricted Ontologies

On the Complexity of the Small Term Reachability Problem for Terminating Term Rewriting Systems

The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains

Extending the description logic EL with threshold concepts induced by concept measures

Best Paper Award - Information Systems

Harold Boley Distinguished Paper Award

Herbrand Award

Shortlisted for the Best Paper Award

Best Student Paper Award 2017