Benutzerbeiträge von „Filippo De Bortoli“

22. Januar 2026

• 13:4613:46, 22. Jan. 2026 Unterschied Versionen +808 N Inproceedings3457 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Franz |ErsterAutorNachname=Baader |FurtherAuthors=Stefan Borgwardt; Filippo De Bortoli; Patrick Koopmann }} {{Inproceedings |Referiert=1 |Title=Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Abstract) |To appear=0 |Year=2025 |Month=September |Booktitle=Proceedings of the 38th International Workshop on Description Logics (DL'25) |Pages=5 |Publisher=CEUR-WS.org |Editor…“ aktuell
• 13:4613:46, 22. Jan. 2026 Unterschied Versionen 0 N Datei:BaBoBoKo-DL-25.pdf Keine Bearbeitungszusammenfassung aktuell

16. Januar 2026

• 11:0011:00, 16. Jan. 2026 Unterschied Versionen +101 Misc3092 Keine Bearbeitungszusammenfassung aktuell
• 10:5910:59, 16. Jan. 2026 Unterschied Versionen +512 N Misc3092 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Filippo |ErsterAutorNachname=De Bortoli }} {{Misc |Title=Complexity and Expressive Power of Description Logics with Numerical Constraints |Year=2026 |Month=Januar |Howpublished=Talk }} {{Publikation Details |Download=2026-01-15-De-Bortoli-PhD-Prize-Colloquium-Talk.pdf |Slides=2026-01-15-De-Bortoli-PhD-Prize-Colloquium-Talk.pdf |Projekt=QuantLA, ScaDS.AI |Forschungsgruppe=Computational Logic }} {{Forschungsgeb…“
• 10:5710:57, 16. Jan. 2026 Unterschied Versionen +171 N Datei:2026-01-15-De-Bortoli-PhD-Prize-Colloquium-Talk.pdf Slides for the talk given by Filippo De Bortoli at the PhD Prize Colloquium at the Faculty of Computer Science at TU Dresden on January 15, 2026. Licensed using CC BY 4.0. aktuell

10. November 2025

• 16:1816:18, 10. Nov. 2025 Unterschied Versionen +2.103 N Misc3091 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Filippo |ErsterAutorNachname=De Bortoli }} {{Misc |Title=The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of Models |Year=2025 |Month=September |Howpublished=Talk |Note=Talk given at the 15th International Symposium on Frontiers of Combining Systems (FroCoS 2025). }} {{Publikation Details |Abstract=For Description Logics (DLs), different approaches for extending th…“ aktuell
• 14:4314:43, 10. Nov. 2025 Unterschied Versionen −228 Filippo De Bortoli Keine Bearbeitungszusammenfassung aktuell
• 14:4014:40, 10. Nov. 2025 Unterschied Versionen +1.938 N Misc3090 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Filippo |ErsterAutorNachname=De Bortoli }} {{Misc |Title=How to Design Logic-Based Decision Assistants |Year=2023 |Month=September |Howpublished=Talk |Note=Talk recorded for the ScaDS.AI Living Lab Lecture Series. }} {{Publikation Details |Abstract=Description Logics are languages that can be used to organize knowledge and information about a topic of interest in a structured way, so that it can be understood…“ aktuell
• 14:3614:36, 10. Nov. 2025 Unterschied Versionen +2.050 N Misc3089 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Filippo |ErsterAutorNachname=De Bortoli }} {{Misc |Title=Description Logics that Count, and What They Can and Cannot Count |Year=2020 |Month=September |Howpublished=Talk |Note=Talk given at the 33rd International Workshop on Description Logics (DL 2020). }} {{Publikation Details |Abstract=Simple counting quantifiers that can be used to compare the number of role successors of an individual or the cardinality…“ aktuell
• 14:3214:32, 10. Nov. 2025 Unterschied Versionen +1.802 N Misc3088 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Filippo |ErsterAutorNachname=De Bortoli }} {{Misc |Title=The Expressive Power of Quantitative Extensions of Description Logics |Year=2024 |Month=April |Howpublished=Talk |Note=Talk given at the m O e X Seminar at INRIA Montbonnot on April 5, 2024. }} {{Publikation Details |Abstract=Description Logics (DLs) are a family of logic-based knowledge representation languages that form the basis of the Web Ontology L…“ aktuell

3. November 2025

• 16:2016:20, 3. Nov. 2025 Unterschied Versionen +202 Filippo De Bortoli Keine Bearbeitungszusammenfassung
• 16:0916:09, 3. Nov. 2025 Unterschied Versionen +1.859 Filippo De Bortoli Keine Bearbeitungszusammenfassung
• 15:4815:48, 3. Nov. 2025 Unterschied Versionen +931 Filippo De Bortoli Keine Bearbeitungszusammenfassung

7. Oktober 2025

• 07:3307:33, 7. Okt. 2025 Unterschied Versionen +2 Filippo De Bortoli Keine Bearbeitungszusammenfassung

30. September 2025

• 15:1815:18, 30. Sep. 2025 Unterschied Versionen +4.988 N News106 Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Filippo De Bortoli gewinnt Best Student Paper Award bei FroCoS 2025 |Titel EN=Filippo De Bortoli wins Best Student Paper Award at FroCoS 2025 |Beschreibung DE=Der Artikel „The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of Models", verfasst von Franz Baader und Filippo De Bortoli, wurde beim [https://icetcs.github.io/frocos-itp-tableaux25/frocos/ 15. Intern…“ aktuell
• 15:1715:17, 30. Sep. 2025 Unterschied Versionen +114 N Datei:FroCoS2025 AwardCeremony web.jpeg Award ceremony for Best Student Paper Award at the 15th International Symposium on Frontiers of Combining Systems. aktuell

24. September 2025

• 14:3314:33, 24. Sep. 2025 Unterschied Versionen +48 Filippo De Bortoli Keine Bearbeitungszusammenfassung
• 14:2914:29, 24. Sep. 2025 Unterschied Versionen −9 Filippo De Bortoli Keine Bearbeitungszusammenfassung
• 14:2814:28, 24. Sep. 2025 Unterschied Versionen +9 Filippo De Bortoli Keine Bearbeitungszusammenfassung

15. September 2025

• 11:3611:36, 15. Sep. 2025 Unterschied Versionen +335 K Phdthesis3024 Keine Bearbeitungszusammenfassung aktuell
• 11:3311:33, 15. Sep. 2025 Unterschied Versionen +4.181 K Phdthesis3024 Keine Bearbeitungszusammenfassung
• 11:2511:25, 15. Sep. 2025 Unterschied Versionen +443 N Phdthesis3024 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Filippo |ErsterAutorNachname=De Bortoli }} {{Phdthesis |Title=Complexity and Expressive Power of Description Logics with Numerical Constraints |Date=2025-08-11 |School=Technische Universität Dresden }} {{Publikation Details |Link=https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-989517 |Forschungsgruppe=Automatentheorie }} {{Forschungsgebiet Auswahl |Forschungsgebiet=Beschreibungslogiken }}“
• 11:2211:22, 15. Sep. 2025 Unterschied Versionen +39 K Inproceedings3423 Adds DOI for BaBoBoKo-CADE-25. aktuell
• 11:2011:20, 15. Sep. 2025 Unterschied Versionen +38 K Inproceedings3433 Adds DOI for BaBo-FroCoS-25. aktuell
• 11:1911:19, 15. Sep. 2025 Unterschied Versionen +2.329 N Inproceedings3433 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Franz |ErsterAutorNachname=Baader |FurtherAuthors=Filippo De Bortoli }} {{Inproceedings |Referiert=1 |Title=The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of Models |To appear=0 |Year=2025 |Month=September |Booktitle=Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings |Pages=…“

15. August 2025

• 16:4116:41, 15. Aug. 2025 Unterschied Versionen +453 Filippo De Bortoli Keine Bearbeitungszusammenfassung
• 16:3416:34, 15. Aug. 2025 Unterschied Versionen +805 Filippo De Bortoli Keine Bearbeitungszusammenfassung
• 16:1416:14, 15. Aug. 2025 Unterschied Versionen −25 K Techreport3059 Keine Bearbeitungszusammenfassung aktuell
• 16:0816:08, 15. Aug. 2025 Unterschied Versionen +229 K Techreport3059 Fixes BibTeX for BaBo-LTCS-25-03.
• 16:0716:07, 15. Aug. 2025 Unterschied Versionen +2.788 N Techreport3059 Adds page for BaBo-LTCS-25-03.
• 15:5915:59, 15. Aug. 2025 Unterschied Versionen +2.663 N Inproceedings3423 Adds page for BaBoBoKo-CADE-25.
• 15:4915:49, 15. Aug. 2025 Unterschied Versionen +2.658 N Article3112 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Phillip |ErsterAutorNachname=Lord |FurtherAuthors=Björn Gehrke; Martin Larralde; Janna Hastings; Filippo De Bortoli; James A. Overton; James P. Balhoff; Jennifer Warrender }} {{Article |Referiert=1 |Title=Horned-OWL: Flying Further and Faster with Ontologies |To appear=0 |Year=2024 |Month=Dezember |Journal=Transactions on Graph Data and Knowledge (TGDK) |Volume=2 |Number=2 |Pages=1-14 |Publisher=Schloss Dags…“ aktuell
• 15:4215:42, 15. Aug. 2025 Unterschied Versionen +1.999 N Techreport3058 Adds page for BoBoKo-DL-24-arxiv. aktuell
• 15:3815:38, 15. Aug. 2025 Unterschied Versionen +39 K Techreport3057 Adds arxiv link to BaBoBoKo-CADE-25-arxiv. aktuell
• 15:3715:37, 15. Aug. 2025 Unterschied Versionen +2.286 N Techreport3057 Adds page for BaBoBoKo-CADE-25-arxiv.

10. Oktober 2024

• 13:4913:49, 10. Okt. 2024 Unterschied Versionen 0 Techreport3048 Keine Bearbeitungszusammenfassung aktuell
• 13:4813:48, 10. Okt. 2024 Unterschied Versionen 0 Techreport3050 Keine Bearbeitungszusammenfassung aktuell
• 13:4813:48, 10. Okt. 2024 Unterschied Versionen 0 Inproceedings3317 Keine Bearbeitungszusammenfassung aktuell
• 13:4613:46, 10. Okt. 2024 Unterschied Versionen −2 Article3098 Keine Bearbeitungszusammenfassung aktuell
• 13:4513:45, 10. Okt. 2024 Unterschied Versionen +3.209 N Article3098 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Franz |ErsterAutorNachname=Baader |FurtherAuthors=Filippo De Bortoli }} {{Article |Referiert=0 |Title=Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability |To appear=0 |Year=2024 |Month=September |Journal=SIGAPP Appl. Comput. Rev. |Volume=24 |Number=3 |Pages=5-17 |Publisher=Association for Computing Machinery }} {{Publikation Details |Abstract=Concrete domains…“

7. August 2024

• 13:1813:18, 7. Aug. 2024 Unterschied Versionen −88 Inproceedings3389 Keine Bearbeitungszusammenfassung aktuell
• 13:1713:17, 7. Aug. 2024 Unterschied Versionen +31 N Inproceedings3389/en Page created automatically by parser function on page Inproceedings3389 aktuell Markierung: Neue Weiterleitung
• 13:1713:17, 7. Aug. 2024 Unterschied Versionen +2.503 N Inproceedings3389 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Stefan |ErsterAutorNachname=Borgwardt |FurtherAuthors=Filippo De Bortoli; Patrick Koopmann }} {{Inproceedings |Referiert=1 |Title=The Precise Complexity of Reasoning in $\mathcal{ALC}$ with $ω$-Admissible Concrete Domains |To appear=0 |Year=2024 |Month=Juni |Booktitle=Proceedings of the 37th International Workshop on Description Logics (DL'24) |Editor=Laura Giordano, Jean Christoph Jung, Ana Ozaki |Series=CE…“

19. April 2024

• 08:3708:37, 19. Apr. 2024 Unterschied Versionen 0 Inproceedings3315 Changes author order. aktuell
• 08:3608:36, 19. Apr. 2024 Unterschied Versionen 0 Inproceedings3316 Changes author order. aktuell

18. April 2024

• 12:5512:55, 18. Apr. 2024 Unterschied Versionen +126 Inproceedings3377 →SAC '24: adds PDF file. aktuell
• 12:5312:53, 18. Apr. 2024 Unterschied Versionen 0 N Datei:BaBo-SAC-24.pdf Keine Bearbeitungszusammenfassung aktuell

15. April 2024

• 12:1312:13, 15. Apr. 2024 Unterschied Versionen +31 N Inproceedings3377/en Page created automatically by parser function on page Inproceedings3377 aktuell Markierung: Neue Weiterleitung
• 12:1312:13, 15. Apr. 2024 Unterschied Versionen +2.862 N Inproceedings3377 Adds publication by Baader and De Bortoli in SAC '24.

27. Oktober 2023

• 07:4407:44, 27. Okt. 2023 Unterschied Versionen +12 K Inproceedings3371 Changes author order. aktuell