Benutzerbeiträge von „Filippo De Bortoli“

10. Oktober 2024

• 15:4915:49, 10. Okt. 2024 Unterschied Versionen 0 Bytes‎ Techreport3048 ‎Keine Bearbeitungszusammenfassung aktuell
• 15:4815:48, 10. Okt. 2024 Unterschied Versionen 0 Bytes‎ Techreport3050 ‎Keine Bearbeitungszusammenfassung aktuell
• 15:4815:48, 10. Okt. 2024 Unterschied Versionen 0 Bytes‎ Inproceedings3317 ‎Keine Bearbeitungszusammenfassung aktuell
• 15:4615:46, 10. Okt. 2024 Unterschied Versionen −2 Bytes‎ Article3098 ‎Keine Bearbeitungszusammenfassung aktuell
• 15:4515:45, 10. Okt. 2024 Unterschied Versionen +3.209 Bytes‎ 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

• 15:1815:18, 7. Aug. 2024 Unterschied Versionen −88 Bytes‎ Inproceedings3389 ‎Keine Bearbeitungszusammenfassung aktuell
• 15:1715:17, 7. Aug. 2024 Unterschied Versionen +31 Bytes‎ N Inproceedings3389/en ‎ Page created automatically by parser function on page Inproceedings3389 aktuell Markierung: Neue Weiterleitung
• 15:1715:17, 7. Aug. 2024 Unterschied Versionen +2.503 Bytes‎ 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

• 10:3710:37, 19. Apr. 2024 Unterschied Versionen 0 Bytes‎ Inproceedings3315 ‎ Changes author order. aktuell
• 10:3610:36, 19. Apr. 2024 Unterschied Versionen 0 Bytes‎ Inproceedings3316 ‎ Changes author order. aktuell

18. April 2024

• 14:5514:55, 18. Apr. 2024 Unterschied Versionen +126 Bytes‎ Inproceedings3377 ‎ →‎SAC '24: adds PDF file. aktuell
• 14:5314:53, 18. Apr. 2024 Unterschied Versionen 0 Bytes‎ N Datei:BaBo-SAC-24.pdf ‎Keine Bearbeitungszusammenfassung aktuell

15. April 2024

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

27. Oktober 2023

• 09:4409:44, 27. Okt. 2023 Unterschied Versionen +12 Bytes‎ K Inproceedings3371 ‎ Changes author order. aktuell
• 09:4009:40, 27. Okt. 2023 Unterschied Versionen +31 Bytes‎ N Inproceedings3371/en ‎ Page created automatically by parser function on page Inproceedings3371 aktuell Markierung: Neue Weiterleitung
• 09:4009:40, 27. Okt. 2023 Unterschied Versionen +2.574 Bytes‎ N Inproceedings3371 ‎ Fixes BibTeX entry.
• 09:3809:38, 27. Okt. 2023 Unterschied Versionen +31 Bytes‎ N Inproceedings3370/en ‎ Page created automatically by parser function on page Inproceedings3370 aktuell Markierung: Neue Weiterleitung

18. September 2023

• 13:0213:02, 18. Sep. 2023 Unterschied Versionen +69 Bytes‎ K Inproceedings3315 ‎Keine Bearbeitungszusammenfassung
• 13:0113:01, 18. Sep. 2023 Unterschied Versionen +69 Bytes‎ K Techreport3048 ‎Keine Bearbeitungszusammenfassung
• 13:0113:01, 18. Sep. 2023 Unterschied Versionen −24 Bytes‎ K Techreport3048 ‎Keine Bearbeitungszusammenfassung
• 12:0612:06, 18. Sep. 2023 Unterschied Versionen +8 Bytes‎ K Techreport3048 ‎Keine Bearbeitungszusammenfassung
• 12:0412:04, 18. Sep. 2023 Unterschied Versionen +2.566 Bytes‎ N Techreport3048 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Filippo |ErsterAutorNachname=De Bortoli |FurtherAuthors=Franz Baader }} {{Techreport |Title=On the Abstract Expr…“

14. August 2023

• 15:4015:40, 14. Aug. 2023 Unterschied Versionen +5 Bytes‎ Filippo De Bortoli ‎Keine Bearbeitungszusammenfassung aktuell
• 15:3815:38, 14. Aug. 2023 Unterschied Versionen +25 Bytes‎ Filippo De Bortoli ‎Keine Bearbeitungszusammenfassung
• 15:3715:37, 14. Aug. 2023 Unterschied Versionen +38 Bytes‎ N Datei:Filippo-De Bortoli.jpeg ‎ Portrait picture of Filippo De Bortoli aktuell

12. April 2022

• 17:4917:49, 12. Apr. 2022 Unterschied Versionen +15 Bytes‎ Filippo De Bortoli ‎Keine Bearbeitungszusammenfassung
• 17:4317:43, 12. Apr. 2022 Unterschied Versionen +22 Bytes‎ N Misc3074/en ‎ Page created automatically by parser function on page Misc3074 aktuell Markierung: Neue Weiterleitung
• 17:4317:43, 12. Apr. 2022 Unterschied Versionen +1.777 Bytes‎ N Misc3074 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Filippo |ErsterAutorNachname=De Bortoli }} {{Misc |Title=Integrating Reasoning Services for Description Logics w…“ aktuell
• 17:4117:41, 12. Apr. 2022 Unterschied Versionen +31 Bytes‎ N Inproceedings3317/en ‎ Page created automatically by parser function on page Inproceedings3317 aktuell Markierung: Neue Weiterleitung
• 17:4117:41, 12. Apr. 2022 Unterschied Versionen +2.658 Bytes‎ N Inproceedings3317 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Filippo |ErsterAutorNachname=De Bortoli |FurtherAuthors=Franz Baader }} {{Inproceedings |Referiert=1 |Title=Desc…“
• 17:3717:37, 12. Apr. 2022 Unterschied Versionen +40 Bytes‎ Filippo De Bortoli ‎Keine Bearbeitungszusammenfassung
• 17:3517:35, 12. Apr. 2022 Unterschied Versionen +60 Bytes‎ Inproceedings3315 ‎Keine Bearbeitungszusammenfassung
• 17:3517:35, 12. Apr. 2022 Unterschied Versionen +60 Bytes‎ Techreport3050 ‎Keine Bearbeitungszusammenfassung
• 17:3417:34, 12. Apr. 2022 Unterschied Versionen +31 Bytes‎ N Inproceedings3316/en ‎ Page created automatically by parser function on page Inproceedings3316 aktuell Markierung: Neue Weiterleitung
• 17:3417:34, 12. Apr. 2022 Unterschied Versionen +2.651 Bytes‎ N Inproceedings3316 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Filippo |ErsterAutorNachname=De Bortoli |FurtherAuthors=Franz Baader }} {{Inproceedings |Referiert=1 |Title=Desc…“
• 17:2917:29, 12. Apr. 2022 Unterschied Versionen +28 Bytes‎ N Techreport3050/en ‎ Page created automatically by parser function on page Techreport3050 aktuell Markierung: Neue Weiterleitung
• 17:2917:29, 12. Apr. 2022 Unterschied Versionen +2.527 Bytes‎ N Techreport3050 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |FurtherAuthors=Franz Baader }} {{Techreport |Title=On the Complexity and Expressiveness of Description Logics with Counting |Year=2…“
• 17:2817:28, 12. Apr. 2022 Unterschied Versionen +28 Bytes‎ N Techreport3049/en ‎ Page created automatically by parser function on page Techreport3049 aktuell Markierung: Neue Weiterleitung
• 17:2817:28, 12. Apr. 2022 Unterschied Versionen +2.526 Bytes‎ N Techreport3049 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |FurtherAuthors=Franz Baader }} {{Techreport |Title=On the Complexity and Expressiveness of Description Logics with Counting |Year=2…“ aktuell
• 17:2217:22, 12. Apr. 2022 Unterschied Versionen −94 Bytes‎ Inproceedings3315 ‎Keine Bearbeitungszusammenfassung
• 17:2017:20, 12. Apr. 2022 Unterschied Versionen +31 Bytes‎ N Inproceedings3315/en ‎ Page created automatically by parser function on page Inproceedings3315 aktuell Markierung: Neue Weiterleitung
• 17:2017:20, 12. Apr. 2022 Unterschied Versionen +2.392 Bytes‎ N Inproceedings3315 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |FurtherAuthors=Franz Baader }} {{Inproceedings |Referiert=1 |Title=On the Expressive Power of Description Logics with Cardinality C…“
• 17:1117:11, 12. Apr. 2022 Unterschied Versionen +39 Bytes‎ Filippo De Bortoli ‎Keine Bearbeitungszusammenfassung
• 17:1117:11, 12. Apr. 2022 Unterschied Versionen 0 Bytes‎ N Datei:0x69C60AF9CE13F663 pub.asc ‎Keine Bearbeitungszusammenfassung aktuell
• 17:0617:06, 12. Apr. 2022 Unterschied Versionen +69 Bytes‎ Filippo De Bortoli ‎Keine Bearbeitungszusammenfassung
• 17:0517:05, 12. Apr. 2022 Unterschied Versionen +236 Bytes‎ Filippo De Bortoli ‎Keine Bearbeitungszusammenfassung