Von Irina Dragoste hochgeladene Dateien
Aus International Center for Computational Logic
Diese Spezialseite listet alle hochgeladenen Dateien auf.
| Datum | Name | Vorschaubild | Größe | Beschreibung | Versionen |
|---|---|---|---|---|---|
| 22:42, 4. Apr. 2022 | Bromberger et al A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.pdf (Datei) |  |
537 KB | 1 | |
| 16:31, 25. Jan. 2022 | Knowledge-Based Systems 2022-01-25.jpg (Datei) |  |
1,28 MB | new KBS group photo 2022 | 1 |
| 09:18, 25. Jan. 2022 | Group-logo-text-darker.png (Datei) |  |
1,95 MB | 1 | |
| 15:41, 22. Mär. 2020 | Tutorial4.pdf (Datei) |  |
126 KB | 2 | |
| 15:40, 22. Mär. 2020 | Tutorial-3.pdf (Datei) |  |
126 KB | 1 | |
| 15:37, 22. Mär. 2020 | Tutorial-2.pdf (Datei) |  |
126 KB | 1 | |
| 15:35, 22. Mär. 2020 | 2020-kr-tutorial-proposal.pdf (Datei) |  |
126 KB | 1 | |
| 13:57, 31. Jul. 2019 | Pres.pdf (Datei) |  |
1.002 KB | 1 | |
| 14:18, 25. Jun. 2019 | Pres13.pdf (Datei) |  |
1.002 KB | 1 | |
| 14:26, 1. Jun. 2019 | TR.pdf (Datei) |  |
384 KB | 2 | |
| 14:34, 8. Okt. 2018 | DL2018-abstract-tractable-query-answering.pdf.pdf (Datei) |  |
147 KB | 1 | |
| 14:37, 5. Okt. 2018 | DL2018-abstract-tractable-query-answering.pdf (Datei) |  |
147 KB | 1 | |
| 14:11, 5. Okt. 2018 | DL2018-abstract-VLog-chase.pdf (Datei) |  |
915 KB | 1 | |
| 09:38, 22. Aug. 2018 | LIPIcs-ESA-2018-28.pdf (Datei) |  |
884 KB | 1 | |
| 12:59, 20. Jun. 2018 | TR-combined-9.pdf (Datei) |  |
379 KB | 1 | |
| 21:09, 19. Jun. 2018 | TR-combined-8.pdf (Datei) |  |
379 KB | 1 | |
| 19:40, 19. Jun. 2018 | TR-combined-7.pdf (Datei) |  |
379 KB | 1 | |
| 11:42, 18. Jun. 2018 | TR-combined-6.pdf (Datei) |  |
379 KB | 1 | |
| 16:32, 15. Jun. 2018 | TR-combined-5.pdf (Datei) |  |
379 KB | 1 | |
| 15:55, 15. Jun. 2018 | TR-combined-4.pdf (Datei) |  |
379 KB | 1 | |
| 13:32, 15. Jun. 2018 | TR-combined-3.pdf (Datei) |  |
379 KB | 1 | |
| 18:20, 14. Jun. 2018 | TR-combined-2.pdf (Datei) |  |
379 KB | 1 | |
| 14:33, 13. Jun. 2018 | TR-combined.pdf (Datei) |  |
379 KB | 1 | |
| 15:27, 14. Jul. 2017 | Technical report RJA correction.pdf (Datei) |  |
333 KB | This is an extended version of the paper, containing the appendix and a correction of Definition 4. | 1 |
| 20:21, 9. Mai 2017 | RestrictedChase-technicalReport-revised.pdf (Datei) |  |
331 KB | 1 | |
| 18:06, 19. Dez. 2016 | Irina Dragoste -presentation.pdf (Datei) |  |
936 KB | 1 | |
| 18:18, 1. Dez. 2016 | Photo.jpg (Datei) |  |
16 KB | 1 |
