Benutzerbeiträge von „Filippo De Bortoli“
Aus International Center for Computational Logic
Für Filippo De Bortoli Diskussion Sperr-Logbuch Hochgeladene Dateien Logbücher
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