Filippo De Bortoli

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

M. Sc. Filippo De Bortoli

Wissenschaftlicher MitarbeiterTechnische Universität DresdenInternational Center for Computational Logic Automatentheorie

Neueste Publikationen

Komplette Publikationsliste anzeigen

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, 754-761, April 2024. ACM
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
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
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
Komplette Publikationsliste anzeigen