Benutzerbeiträge von „Filippo De Bortoli“

10. Oktober 2024

• 14:4914:49, 10. Okt. 2024 Unterschied Versionen 0 Bytes‎ Techreport3048 ‎Keine Bearbeitungszusammenfassung aktuell
• 14:4814:48, 10. Okt. 2024 Unterschied Versionen 0 Bytes‎ Techreport3050 ‎Keine Bearbeitungszusammenfassung aktuell
• 14:4814:48, 10. Okt. 2024 Unterschied Versionen 0 Bytes‎ Inproceedings3317 ‎Keine Bearbeitungszusammenfassung aktuell
• 14:4614:46, 10. Okt. 2024 Unterschied Versionen −2 Bytes‎ Article3098 ‎Keine Bearbeitungszusammenfassung aktuell
• 14:4514: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

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

• 09:3709:37, 19. Apr. 2024 Unterschied Versionen 0 Bytes‎ Inproceedings3315 ‎ Changes author order. aktuell
• 09:3609:36, 19. Apr. 2024 Unterschied Versionen 0 Bytes‎ Inproceedings3316 ‎ Changes author order. aktuell

18. April 2024

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

15. April 2024

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

27. Oktober 2023

• 08:4408:44, 27. Okt. 2023 Unterschied Versionen +12 Bytes‎ K Inproceedings3371 ‎ Changes author order. aktuell
• 08:4008:40, 27. Okt. 2023 Unterschied Versionen +31 Bytes‎ N Inproceedings3371/en ‎ Page created automatically by parser function on page Inproceedings3371 aktuell Markierung: Neue Weiterleitung
• 08:4008:40, 27. Okt. 2023 Unterschied Versionen +2.574 Bytes‎ N Inproceedings3371 ‎ Fixes BibTeX entry.
• 08:3808: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

• 12:0212:02, 18. Sep. 2023 Unterschied Versionen +69 Bytes‎ K Inproceedings3315 ‎Keine Bearbeitungszusammenfassung
• 12:0112:01, 18. Sep. 2023 Unterschied Versionen +69 Bytes‎ K Techreport3048 ‎Keine Bearbeitungszusammenfassung
• 12:0112:01, 18. Sep. 2023 Unterschied Versionen −24 Bytes‎ K Techreport3048 ‎Keine Bearbeitungszusammenfassung
• 11:0611:06, 18. Sep. 2023 Unterschied Versionen +8 Bytes‎ K Techreport3048 ‎Keine Bearbeitungszusammenfassung
• 11:0411: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

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

12. April 2022

• 16:4916:49, 12. Apr. 2022 Unterschied Versionen +15 Bytes‎ Filippo De Bortoli ‎Keine Bearbeitungszusammenfassung
• 16:4316:43, 12. Apr. 2022 Unterschied Versionen +22 Bytes‎ N Misc3074/en ‎ Page created automatically by parser function on page Misc3074 aktuell Markierung: Neue Weiterleitung
• 16:4316: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
• 16:4116:41, 12. Apr. 2022 Unterschied Versionen +31 Bytes‎ N Inproceedings3317/en ‎ Page created automatically by parser function on page Inproceedings3317 aktuell Markierung: Neue Weiterleitung
• 16:4116: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…“
• 16:3716:37, 12. Apr. 2022 Unterschied Versionen +40 Bytes‎ Filippo De Bortoli ‎Keine Bearbeitungszusammenfassung
• 16:3516:35, 12. Apr. 2022 Unterschied Versionen +60 Bytes‎ Inproceedings3315 ‎Keine Bearbeitungszusammenfassung
• 16:3516:35, 12. Apr. 2022 Unterschied Versionen +60 Bytes‎ Techreport3050 ‎Keine Bearbeitungszusammenfassung
• 16:3416:34, 12. Apr. 2022 Unterschied Versionen +31 Bytes‎ N Inproceedings3316/en ‎ Page created automatically by parser function on page Inproceedings3316 aktuell Markierung: Neue Weiterleitung
• 16:3416: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…“
• 16:2916:29, 12. Apr. 2022 Unterschied Versionen +28 Bytes‎ N Techreport3050/en ‎ Page created automatically by parser function on page Techreport3050 aktuell Markierung: Neue Weiterleitung
• 16:2916: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…“
• 16:2816:28, 12. Apr. 2022 Unterschied Versionen +28 Bytes‎ N Techreport3049/en ‎ Page created automatically by parser function on page Techreport3049 aktuell Markierung: Neue Weiterleitung
• 16:2816: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
• 16:2216:22, 12. Apr. 2022 Unterschied Versionen −94 Bytes‎ Inproceedings3315 ‎Keine Bearbeitungszusammenfassung
• 16:2016:20, 12. Apr. 2022 Unterschied Versionen +31 Bytes‎ N Inproceedings3315/en ‎ Page created automatically by parser function on page Inproceedings3315 aktuell Markierung: Neue Weiterleitung
• 16:2016: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…“
• 16:1116:11, 12. Apr. 2022 Unterschied Versionen +39 Bytes‎ Filippo De Bortoli ‎Keine Bearbeitungszusammenfassung
• 16:1116:11, 12. Apr. 2022 Unterschied Versionen 0 Bytes‎ N Datei:0x69C60AF9CE13F663 pub.asc ‎Keine Bearbeitungszusammenfassung aktuell
• 16:0616:06, 12. Apr. 2022 Unterschied Versionen +69 Bytes‎ Filippo De Bortoli ‎Keine Bearbeitungszusammenfassung
• 16:0516:05, 12. Apr. 2022 Unterschied Versionen +236 Bytes‎ Filippo De Bortoli ‎Keine Bearbeitungszusammenfassung