Gallery of new files
From International Center for Computational Logic
This special page shows the last uploaded files.
KR2024-GomezAlvarez-Standpoint SHIQ.pdf Sebastian Rudolph
16:42, 30 November 2024
4,000 × 2,250, 123 pages; 3.31 MB
The Sticky Path - Ostropolski.pdf Sebastian Rudolph
17:24, 13 November 2024
754 × 566, 124 pages; 962 KB
BaaderBrandtLutz-LTCS-05-01.pdf Markus Krötzsch
11:35, 30 October 2024
1,239 × 1,754, 33 pages; 387 KB
IJCAI2024-Presentation-Gerlach-Carral-Hecher.pdf Lukas Gerlach
06:09, 22 October 2024
1,752 × 985, 24 pages; 676 KB
Nmr-13-submission-camera-ready.pdf Piotr Gorczyca
09:38, 11 October 2024
1,239 × 1,752, 11 pages; 1,019 KB
2024-XLoKR-Submission-5-camera-ready.pdf Lukas Gerlach
07:05, 27 September 2024
1,275 × 1,650, 7 pages; 525 KB
NMR-2024-Submission-8-camera-ready.pdf Lukas Gerlach
07:32, 24 September 2024
1,239 × 1,752, 4 pages; 840 KB
Chase Termination Beyond Polynomial Time PODS Slides.pdf Philipp Hanisch
13:25, 23 August 2024
943 × 531, 54 pages; 352 KB
KR 2024 Characterization of Decidability for RPQs Under TGDs-iccl.pdf Piotr Ostropolski-Nalewaja
14:10, 19 July 2024
1,275 × 1,650, 12 pages; 543 KB
TheoLog2024-Vorlesung-24-overlay.pdf Markus Krötzsch
09:38, 15 July 2024
943 × 589, 44 pages; 138 KB
TheoLog2024-Vorlesung-23-overlay.pdf Markus Krötzsch
10:34, 11 July 2024
943 × 589, 51 pages; 165 KB
IJCAI-2024-Finite-Groundings-for-ASP-with-Functions-Technical-Report.pdf Lukas Gerlach
06:54, 9 July 2024
1,275 × 1,650, 13 pages; 405 KB
TheoLog2024-Vorlesung-19-overlay.pdf Markus Krötzsch
11:55, 27 June 2024
943 × 589, 55 pages; 508 KB
Bednarczyk-PhD-Defense-Slides.pdf Bartosz Bednarczyk
07:18, 25 June 2024
1,600 × 968, 169 pages; 6.2 MB
TheoLog2024-Vorlesung-16-overlay.pdf Markus Krötzsch
13:21, 24 June 2024
943 × 589, 58 pages; 195 KB
TheoLog2024-Vorlesung-18-overlay.pdf Markus Krötzsch
10:07, 24 June 2024
943 × 589, 74 pages; 206 KB
TheoLog2024-Vorlesung-17-overlay.pdf Markus Krötzsch
11:56, 20 June 2024
943 × 589, 64 pages; 226 KB
TheoLog2024-Vorlesung-07-overlay.pdf Markus Krötzsch
17:17, 29 April 2024
943 × 589, 71 pages; 351 KB
TheoLog2024-Vorlesung-05-overlay.pdf Markus Krötzsch
11:57, 25 April 2024
943 × 589, 58 pages; 183 KB
TheoLog2024-Vorlesung-06-overlay.pdf Markus Krötzsch
10:26, 25 April 2024
943 × 589, 84 pages; 194 KB
TheoLog2024-Vorlesung-04-overlay.pdf Markus Krötzsch
14:17, 18 April 2024
943 × 589, 55 pages; 521 KB
RestrictedChaseUniversalModelsInLean.pdf Lukas Gerlach
07:30, 18 April 2024
1,752 × 985, 15 pages; 241 KB
TheoLog2024-Vorlesung-03-overlay.pdf Markus Krötzsch
09:19, 15 April 2024
943 × 589, 81 pages; 211 KB
TheoLog2024-Vorlesung-02-overlay.pdf Markus Krötzsch
14:10, 11 April 2024
943 × 589, 71 pages; 360 KB
Chase Termination Beyond Polynomial Time.pdf Philipp Hanisch
16:56, 8 April 2024
1,012 × 1,500, 29 pages; 492 KB
TheoLog2024-Vorlesung-01-overlay.pdf Markus Krötzsch
15:49, 8 April 2024
943 × 589, 56 pages; 495 KB
Iascar-incremental-answer-set-counting-by-anytime-refinement-tplp.pdf Sarah Gaggl
09:41, 29 February 2024
1,027 × 1,458, 28 pages; 307 KB
2023-IJCAI-Standpoint-EL-slides.pdf Sebastian Rudolph
16:57, 12 January 2024
4,000 × 2,250, 140 pages; 3.92 MB
2023-KR-Standpoint-EL-slides.pdf Sebastian Rudolph
16:56, 12 January 2024
4,000 × 2,250, 128 pages; 3.59 MB
CT2023-Lecture-23-More-Probabilistic-Classes-print.pdf Stephan Mennicke
08:08, 10 January 2024
943 × 589, 23 pages; 171 KB
CT2023-Lecture-23-More-Probabilistic-Classes-overlay.pdf Stephan Mennicke
08:08, 10 January 2024
943 × 589, 63 pages; 257 KB
CT2023-Lecture-22-Probabilistic-Classes-print.pdf Stephan Mennicke
08:07, 10 January 2024
943 × 589, 22 pages; 417 KB
CT2023-Lecture-22-Probabilistic-Classes-overlay.pdf Stephan Mennicke
08:07, 10 January 2024
943 × 589, 44 pages; 462 KB
CT2023-Lecture-21-Probabilistic-TMs-print.pdf Stephan Mennicke
08:06, 10 January 2024
943 × 589, 25 pages; 178 KB
CT2023-Lecture-21-Probabilistic-TMs-overlay.pdf Stephan Mennicke
08:06, 10 January 2024
943 × 589, 60 pages; 244 KB
FoSys23-Repetitorium-01-print.pdf Stephan Mennicke
20:56, 11 December 2023
943 × 589, 14 pages; 125 KB
FoSys23-Repetitorium-01-overlay.pdf Stephan Mennicke
20:56, 11 December 2023
943 × 589, 164 pages; 607 KB
CT2023-Lecture-14-ladner-print.pdf Stephan Mennicke
10:32, 24 November 2023
943 × 589, 17 pages; 150 KB
CT2023-Lecture-14-ladner-overlay.pdf Stephan Mennicke
10:31, 24 November 2023
943 × 589, 42 pages; 198 KB
CT2023-Lecture-13-gap-print.pdf Stephan Mennicke
10:31, 24 November 2023
943 × 589, 19 pages; 136 KB
CT2023-Lecture-13-gap-overlay.pdf Stephan Mennicke
10:31, 24 November 2023
943 × 589, 54 pages; 203 KB
FS2023-Vorlesung-13-overlay.pdf Markus Krötzsch
13:00, 23 November 2023
943 × 589, 112 pages; 346 KB
BBESRU2023JAIR-final.pdf Bartosz Bednarczyk
09:44, 16 November 2023
1,275 × 1,650, 74 pages; 1.45 MB
Ai3 2023 cr manuscript.pdf Stefan Ellmauthaler
11:49, 8 November 2023
1,239 × 1,752, 7 pages; 815 KB
Horn Logics and Datalog Problems23.pdf Jonas Karge
12:41, 25 October 2023
1,275 × 1,650, 2 pages; 120 KB
DL-2023-Submission-4173-Gerlach-Carral.pdf Lukas Gerlach
14:43, 23 October 2023
1,239 × 1,752, 5 pages; 814 KB
