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 |