Gallery of new files
From International Center for Computational Logic
This special page shows the last uploaded files.
- 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
- CT-Lecture-12-Time-Hierarchy.pdf Stephan Mennicke
00:09, 6 December 2022
943 × 589, 48 pages; 191 KB
- 2022-iswc-best-paper-award-research-track.jpeg Larry Gonzalez
19:22, 19 November 2022
842 × 595; 165 KB
- Borgwardt-et-al Horn-DL-Planning Abstract DL2022.pdf Markus Krötzsch
17:44, 7 November 2022
1,239 × 1,752, 5 pages; 890 KB
- Beutner-et-al HyperLTL-fragments LICS-2022.pdf Markus Krötzsch
10:01, 7 November 2022
1,275 × 1,650, 13 pages; 927 KB
- Wissensgraphen-Kroetzsch-Linux-Magazin-2022.png Markus Krötzsch
09:36, 7 November 2022
568 × 810; 366 KB
- FaAMT-Lecture4-Short-With-Errors.pdf Bartosz Bednarczyk
15:28, 2 November 2022
1,600 × 968, 12 pages; 1.22 MB
- FaAMT-Lecture3-Short-Corrected-29-10-22.pdf Bartosz Bednarczyk
15:43, 29 October 2022
1,600 × 968, 10 pages; 1.09 MB
- FaAMT-Lecture3-Long-Corrected-29-10-22.pdf Bartosz Bednarczyk
15:42, 29 October 2022
1,600 × 968, 133 pages; 1.52 MB
- Iswc-2022-keynote-slides-kroetzsch.pdf Markus Krötzsch
17:57, 26 October 2022
943 × 589, 66 pages; 1.97 MB
- Finite and alg model theory Lecture 3 unfnished short.pdf Bartosz Bednarczyk
14:53, 26 October 2022
1,600 × 968, 10 pages; 1.09 MB
- FaAMT-Lecture1-Short-Corrected-20-10-22.pdf Bartosz Bednarczyk
15:56, 20 October 2022
1,600 × 968, 19 pages; 5.68 MB
- FaAMT-Lecture1-Long-Corrected-20-10-22.pdf Bartosz Bednarczyk
15:49, 20 October 2022
1,600 × 968, 275 pages; 6.64 MB