Benutzerbeiträge von „Filippo De Bortoli“

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
• 07:4007:40, 27. Okt. 2023 Unterschied Versionen +31 N Inproceedings3371/en Page created automatically by parser function on page Inproceedings3371 aktuell Markierung: Neue Weiterleitung
• 07:4007:40, 27. Okt. 2023 Unterschied Versionen +2.574 N Inproceedings3371 Fixes BibTeX entry.
• 07:3807:38, 27. Okt. 2023 Unterschied Versionen +31 N Inproceedings3370/en Page created automatically by parser function on page Inproceedings3370 aktuell Markierung: Neue Weiterleitung

18. September 2023

• 11:0211:02, 18. Sep. 2023 Unterschied Versionen +69 K Inproceedings3315 Keine Bearbeitungszusammenfassung
• 11:0111:01, 18. Sep. 2023 Unterschied Versionen +69 K Techreport3048 Keine Bearbeitungszusammenfassung