Filippo De Bortoli Master of Science
Person

Affiliations

Chair of Automata Theory
- Academic Staff
- filippo.de_bortoli@tu-dresden.de

External positions

Research associate, Center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI) Dresden/Leipzig

1 Jul 2022 → 30 Jun 2025

Identification Numbers

ORCID	0000-0002-8623-6465
Scopus author ID	57210936386

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

The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains

De Bortoli, F., Borgwardt, S. & Koopmann, P., Jun 2024, Proceedings of the 37th International Workshop on Description Logics (DL 2024). Giordano, L., Jung, J. C. & Ozaki, A. (eds.). CEUR-WS.org, Vol. 3739.

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., 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

On the Abstract Expressive Power of Description Logics with Concrete Domains

De Bortoli, F. & Baader, F., 2023, Proceedings of the 36th International Workshop on Description Logics. Ozaki, A., Lutz, C. & Kutz, O. (eds.). CEUR-WS.org, Vol. 3515. (CEUR Workshop Proceedings).

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