Gallery of new files
From International Center for Computational Logic
This special page shows the last uploaded files.
- TheoLog2024-Vorlesung-19-overlay.pdf Markus Krötzsch
12:55, 27 June 2024
943 × 589, 55 pages; 508 KB
- Bednarczyk-PhD-Defense-Slides.pdf Bartosz Bednarczyk
08:18, 25 June 2024
1,600 × 968, 169 pages; 6.2 MB
- TheoLog2024-Vorlesung-16-overlay.pdf Markus Krötzsch
14:21, 24 June 2024
943 × 589, 58 pages; 195 KB
- TheoLog2024-Vorlesung-18-overlay.pdf Markus Krötzsch
11:07, 24 June 2024
943 × 589, 74 pages; 206 KB
- TheoLog2024-Vorlesung-17-overlay.pdf Markus Krötzsch
12:56, 20 June 2024
943 × 589, 64 pages; 226 KB
- IJCAI-2024-Finite-Groundings-for-ASP-with-Functions-Technical-Report.pdf Lukas Gerlach
14:20, 8 May 2024
1,275 × 1,650, 13 pages; 405 KB
- TheoLog2024-Vorlesung-07-overlay.pdf Markus Krötzsch
18:17, 29 April 2024
943 × 589, 71 pages; 351 KB
- TheoLog2024-Vorlesung-05-overlay.pdf Markus Krötzsch
12:57, 25 April 2024
943 × 589, 58 pages; 183 KB
- TheoLog2024-Vorlesung-06-overlay.pdf Markus Krötzsch
11:26, 25 April 2024
943 × 589, 84 pages; 194 KB
- TheoLog2024-Vorlesung-04-overlay.pdf Markus Krötzsch
15:17, 18 April 2024
943 × 589, 55 pages; 521 KB
- RestrictedChaseUniversalModelsInLean.pdf Lukas Gerlach
08:30, 18 April 2024
1,752 × 985, 15 pages; 241 KB
- TheoLog2024-Vorlesung-03-overlay.pdf Markus Krötzsch
10:19, 15 April 2024
943 × 589, 81 pages; 211 KB
- TheoLog2024-Vorlesung-02-overlay.pdf Markus Krötzsch
15:10, 11 April 2024
943 × 589, 71 pages; 360 KB
- Chase Termination Beyond Polynomial Time.pdf Philipp Hanisch
17:56, 8 April 2024
1,012 × 1,500, 29 pages; 492 KB
- TheoLog2024-Vorlesung-01-overlay.pdf Markus Krötzsch
16:49, 8 April 2024
943 × 589, 56 pages; 495 KB
- Iascar-incremental-answer-set-counting-by-anytime-refinement-tplp.pdf Sarah Gaggl
10:41, 29 February 2024
1,027 × 1,458, 28 pages; 307 KB
- 2023-IJCAI-Standpoint-EL-slides.pdf Sebastian Rudolph
17:57, 12 January 2024
4,000 × 2,250, 140 pages; 3.92 MB
- 2023-KR-Standpoint-EL-slides.pdf Sebastian Rudolph
17:56, 12 January 2024
4,000 × 2,250, 128 pages; 3.59 MB
- CT2023-Lecture-23-More-Probabilistic-Classes-print.pdf Stephan Mennicke
09:08, 10 January 2024
943 × 589, 23 pages; 171 KB
- CT2023-Lecture-23-More-Probabilistic-Classes-overlay.pdf Stephan Mennicke
09:08, 10 January 2024
943 × 589, 63 pages; 257 KB
- CT2023-Lecture-22-Probabilistic-Classes-print.pdf Stephan Mennicke
09:07, 10 January 2024
943 × 589, 22 pages; 417 KB
- CT2023-Lecture-22-Probabilistic-Classes-overlay.pdf Stephan Mennicke
09:07, 10 January 2024
943 × 589, 44 pages; 462 KB
- CT2023-Lecture-21-Probabilistic-TMs-print.pdf Stephan Mennicke
09:06, 10 January 2024
943 × 589, 25 pages; 178 KB
- CT2023-Lecture-21-Probabilistic-TMs-overlay.pdf Stephan Mennicke
09:06, 10 January 2024
943 × 589, 60 pages; 244 KB
- FoSys23-Repetitorium-01-print.pdf Stephan Mennicke
21:56, 11 December 2023
943 × 589, 14 pages; 125 KB
- FoSys23-Repetitorium-01-overlay.pdf Stephan Mennicke
21:56, 11 December 2023
943 × 589, 164 pages; 607 KB
- CT2023-Lecture-14-ladner-print.pdf Stephan Mennicke
11:32, 24 November 2023
943 × 589, 17 pages; 150 KB
- CT2023-Lecture-14-ladner-overlay.pdf Stephan Mennicke
11:31, 24 November 2023
943 × 589, 42 pages; 198 KB
- CT2023-Lecture-13-gap-print.pdf Stephan Mennicke
11:31, 24 November 2023
943 × 589, 19 pages; 136 KB
- CT2023-Lecture-13-gap-overlay.pdf Stephan Mennicke
11:31, 24 November 2023
943 × 589, 54 pages; 203 KB
- FS2023-Vorlesung-13-overlay.pdf Markus Krötzsch
14:00, 23 November 2023
943 × 589, 112 pages; 346 KB
- BBESRU2023JAIR-final.pdf Bartosz Bednarczyk
10:44, 16 November 2023
1,275 × 1,650, 74 pages; 1.45 MB
- Ai3 2023 cr manuscript.pdf Stefan Ellmauthaler
12:49, 8 November 2023
1,239 × 1,752, 7 pages; 815 KB
- Horn Logics and Datalog Problems23.pdf Jonas Karge
13:41, 25 October 2023
1,275 × 1,650, 2 pages; 120 KB
- DL-2023-Submission-4173-Gerlach-Carral.pdf Lukas Gerlach
15:43, 23 October 2023
1,239 × 1,752, 5 pages; 814 KB
- Gerlach-carral-kr-2023-talk.pdf Lukas Gerlach
14:25, 5 September 2023
1,752 × 985, 140 pages; 839 KB
- Xlokr-2023-ellmauthaler-gerlach-submission2105.pdf Lukas Gerlach
16:27, 8 August 2023
1,275 × 1,650, 7 pages; 447 KB
- Vrandecic-Pintscher-Kroetzsch Wikidata-History-WWW-2023.pdf Markus Krötzsch
10:55, 24 July 2023
1,275 × 1,650, 10 pages; 10.47 MB
- KR-2023-Submission-3571-Gerlach-Carral-Technical-Report.pdf Lukas Gerlach
09:01, 13 July 2023
1,275 × 1,650, 13 pages; 375 KB
- Ivliev-et-al-Nemo-rule-engine-demo-ICLP2023.pdf Markus Krötzsch
15:07, 16 June 2023
1,275 × 1,650, 3 pages; 109 KB
- Logic of actions and expectations (31).pdf Tim Lyon
07:31, 13 June 2023
1,275 × 1,650, 45 pages; 577 KB
- Amw2023-efficient-dependency-analysis-for-existential-rules.pdf Larry Gonzalez
17:32, 31 May 2023
1,239 × 1,752, 6 pages; 234 KB
- ICFCA-2021-statistical-diagrams.pdf Sebastian Rudolph
00:08, 28 May 2023
754 × 566, 30 pages; 884 KB
- First order standpoint logic.pdf Lucía Gómez Álvarez
11:35, 20 May 2023
1,275 × 1,650, 10 pages; 1.6 MB
- FOIS 2023 BB LGA Revised.pdf Lucía Gómez Álvarez
11:33, 20 May 2023
1,239 × 1,752, 15 pages; 1.14 MB
- Kroetzsch Magka Horrocks Abstract Rules TR 2013.pdf Markus Krötzsch
17:04, 5 May 2023
1,275 × 1,650, 15 pages; 224 KB
- Gaggl-Hanisch-Kroetzsch ASP-with-sets IJCAI2022.pdf Markus Krötzsch
11:08, 20 February 2023
1,275 × 1,650, 12 pages; 399 KB
- Dresden Multilinguality in KGs 2023.pdf Ali Elhalawati
15:22, 16 February 2023
1,500 × 843, 43 pages; 2.38 MB