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 |
|---|---|---|---|---|---|
| 21:42, 4. Apr. 2022 | Bromberger et al A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.pdf (Datei) |  |
537 KB | 1 | |
| 15:31, 25. Jan. 2022 | Knowledge-Based Systems 2022-01-25.jpg (Datei) |  |
1,28 MB | new KBS group photo 2022 | 1 |
| 08:18, 25. Jan. 2022 | Group-logo-text-darker.png (Datei) |  |
1,95 MB | 1 | |
| 14:41, 22. Mär. 2020 | Tutorial4.pdf (Datei) |  |
126 KB | 2 | |
| 14:40, 22. Mär. 2020 | Tutorial-3.pdf (Datei) |  |
126 KB | 1 | |
| 14:37, 22. Mär. 2020 | Tutorial-2.pdf (Datei) |  |
126 KB | 1 | |
| 14:35, 22. Mär. 2020 | 2020-kr-tutorial-proposal.pdf (Datei) |  |
126 KB | 1 | |
| 12:57, 31. Jul. 2019 | Pres.pdf (Datei) |  |
1.002 KB | 1 | |
| 13:18, 25. Jun. 2019 | Pres13.pdf (Datei) |  |
1.002 KB | 1 | |
| 13:26, 1. Jun. 2019 | TR.pdf (Datei) |  |
384 KB | 2 | |
| 13:34, 8. Okt. 2018 | DL2018-abstract-tractable-query-answering.pdf.pdf (Datei) |  |
147 KB | 1 | |
| 13:37, 5. Okt. 2018 | DL2018-abstract-tractable-query-answering.pdf (Datei) |  |
147 KB | 1 | |
| 13:11, 5. Okt. 2018 | DL2018-abstract-VLog-chase.pdf (Datei) |  |
915 KB | 1 | |
| 08:38, 22. Aug. 2018 | LIPIcs-ESA-2018-28.pdf (Datei) |  |
884 KB | 1 | |
| 11:59, 20. Jun. 2018 | TR-combined-9.pdf (Datei) |  |
379 KB | 1 | |
| 20:09, 19. Jun. 2018 | TR-combined-8.pdf (Datei) |  |
379 KB | 1 | |
| 18:40, 19. Jun. 2018 | TR-combined-7.pdf (Datei) |  |
379 KB | 1 | |
| 10:42, 18. Jun. 2018 | TR-combined-6.pdf (Datei) |  |
379 KB | 1 | |
| 15:32, 15. Jun. 2018 | TR-combined-5.pdf (Datei) |  |
379 KB | 1 | |
| 14:55, 15. Jun. 2018 | TR-combined-4.pdf (Datei) |  |
379 KB | 1 | |
| 12:32, 15. Jun. 2018 | TR-combined-3.pdf (Datei) |  |
379 KB | 1 | |
| 17:20, 14. Jun. 2018 | TR-combined-2.pdf (Datei) |  |
379 KB | 1 | |
| 13:33, 13. Jun. 2018 | TR-combined.pdf (Datei) |  |
379 KB | 1 | |
| 14: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 |
| 19:21, 9. Mai 2017 | RestrictedChase-technicalReport-revised.pdf (Datei) |  |
331 KB | 1 | |
| 17:06, 19. Dez. 2016 | Irina Dragoste -presentation.pdf (Datei) |  |
936 KB | 1 | |
| 17:18, 1. Dez. 2016 | Photo.jpg (Datei) |  |
16 KB | 1 |
