Franz Baader
From International Center for Computational Logic
Prof. Dr.-Ing. Franz Baader
Professor Automata Theory
- baader@tcs.inf.tu-dresden.de
- +49 (0) 351 463-39160
- +49 (0) 351 463-37959
- APB 3021
Newest Publications
Franz Baader, Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics
In Clark Barrett, Uwe Waldmann, eds., Automated Deduction – CADE 30, volume 15943 of Lecture Notes in Artificial Intelligence, 676–695, July 2025. Springer
Details
Franz Baader, Filippo De Bortoli
The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of Models
In René Thiemann, Christoph Weidenbach, eds., Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings, volume 15979 of Lecture Notes in Artificial Intelligence, 22-39, September 2025. Springer
Details
Franz Baader, Filippo De Bortoli
The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of Models (Extended Version)
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume LTCS-25-03, 2025
Details
Franz Baader, Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)
Technical Report, arXiv.org, volume CoRR abs/2505.21103, May 2025
Details
Franz Baader, Filippo De Bortoli
Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability
SIGAPP Appl. Comput. Rev., 24(3):5-17, October 2024
Details
Franz Baader, Filippo De Bortoli
The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, SAC '24, 754-761, April 2024. ACM
Details Download
Franz Baader, Filippo De Bortoli
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
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
Franz Baader, Filippo De Bortoli
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
Franz Baader, Filippo De Bortoli
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
