Gallery of new files
From International Center for Computational Logic
This special page shows the last uploaded files.
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
FS2025-Vorlesung-13-overlay.pdf Markus Krötzsch
14:49, 27 November 2025
943 × 589, 112 pages; 363 KB
-
-
-
-
-
-
-
Gorczyca-strass2025non-monotonic-s4f-standpoint-logic.pdf Piotr Gorczyca
10:11, 25 November 2025
1,275 × 1,650, 9 pages; 334 KB
-
-
-
-
-
-
-
-
-
KR-2025-Verifying-Datalog-Reasoning-with-Lean-Slides.pdf Lukas Gerlach
09:10, 24 November 2025
1,752 × 985, 51 pages; 417 KB
-
KR-2025-About-the-Multi-Head-Linear-Restricted-Chase-Termination-Slides.pdf Lukas Gerlach
09:07, 24 November 2025
1,752 × 985, 66 pages; 545 KB
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
KR2025-Interactive-Plan-spaces-Gaggl.pdf Sarah Gaggl
09:11, 17 November 2025
943 × 589, 31 pages; 1.39 MB
-
KR2025-Standpoint-C2.pdf Sebastian Rudolph
04:03, 17 November 2025
4,000 × 2,250, 170 pages; 4.94 MB
-
Kr2025-0040-hosemann-et-al.pdf Sebastian Rudolph
04:20, 16 November 2025
1,275 × 1,650, 10 pages; 212 KB
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Formal-Quality-Measures-for-Predictors-Slides.pdf Robin Ziemek
13:11, 3 November 2025
943 × 531, 58 pages; 7.2 MB
-
Formal-Quality-Measures-for-Predictors-in-Markov-Decision-Processes.pdf Robin Ziemek
12:14, 3 November 2025
1,275 × 1,650, 9 pages; 166 KB
-
-
-
-
-
-
-
-
-
ER-Rudolph-Lecture05-WS2025.pdf Sebastian Rudolph
15:01, 1 November 2025
1,500 × 1,125, 61 pages; 666 KB
-
ER-Rudolph-Lecture04-WS2025.pdf Sebastian Rudolph
15:00, 1 November 2025
1,500 × 1,125, 50 pages; 653 KB
-
Approximate Probabilistic Bisimulation for CTMC.pdf Timm Spork
11:53, 30 October 2025
1,275 × 1,650, 25 pages; 1.09 MB
-
-
-
-
-
-
-
-
-
-
-
-
-
-
ER-Rudolph-Lecture03-WS2025.pdf Sebastian Rudolph
20:51, 25 October 2025
1,500 × 1,125, 33 pages; 551 KB
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
ER-Rudolph-Lecture02-WS2025.pdf Sebastian Rudolph
18:07, 17 October 2025
1,500 × 1,125, 47 pages; 646 KB
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Modern-Datalog-tutorial-slides-RW2025.pdf Markus Krötzsch
05:57, 10 October 2025
943 × 589, 74 pages; 422 KB
-
Modern-Datalog-lecture-notes-RW2025.pdf Markus Krötzsch
05:57, 10 October 2025
1,239 × 1,752, 41 pages; 1.18 MB
-
ER-Rudolph-Lecture01-WS2025.pdf Sebastian Rudolph
18:42, 8 October 2025
1,500 × 1,125, 39 pages; 593 KB
-
-
2025-09-18 nkuechen slides.pdf Nils Küchenmeister
15:50, 2 October 2025
943 × 531, 63 pages; 3.21 MB
-
2025-08-31 nkuechen diploma-thesis.pdf Nils Küchenmeister
15:49, 2 October 2025
1,239 × 1,752, 102 pages; 10.56 MB
-
-
-
-
-
-
-
-
-
-
Rational-inference-in-fca.pdf Sergei Obiedkov
15:10, 25 September 2025
1,275 × 1,650, 17 pages; 334 KB
-
-
-
KR-2025-Linear-Multi-Head-Termination.pdf Lukas Gerlach
06:15, 23 September 2025
1,275 × 1,650, 12 pages; 490 KB
-
Gorczyca-riskman-slides.pdf Piotr Gorczyca
15:17, 4 September 2025
2,879 × 1,618, 112 pages; 13.67 MB
-
-
-
2025-DL-Presentation-Paper-5.pdf Lukas Gerlach
06:52, 1 September 2025
1,752 × 985, 54 pages; 235 KB
-
-
-
-
-
GAR-KE-2025-StandpointC2.pdf Sebastian Rudolph
11:21, 19 August 2025
1,275 × 1,650, 10 pages; 1.21 MB
-
-
-
-
Gorczyca-et-al2025supporting-risk-management-for-medical-devices-via-the-riskman-ontology-and-shapes.pdf Piotr Gorczyca
12:24, 16 August 2025
1,239 × 1,752, 21 pages; 292 KB
-
-
-
-
FRS-TOCL-2025-AGMsemantically.pdf Sebastian Rudolph
15:55, 29 July 2025
1,012 × 1,500, 72 pages; 1.02 MB
-
-
When-diversity-in-voting-trumps-ability.pdf Jonas Karge
12:19, 22 July 2025
920 × 1,381, 16 pages; 495 KB
-
-
-
ITP-2025-Paper-116-Camera-Ready.pdf Lukas Gerlach
06:31, 16 July 2025
1,239 × 1,752, 20 pages; 734 KB
-
-
-
-
-
Academic-skills-writing-presenting.pdf Philipp Hanisch
11:15, 10 July 2025
943 × 531, 30 pages; 147 KB
-
02-academic-skills-writing-presenting.pdf Philipp Hanisch
11:14, 10 July 2025
943 × 531, 30 pages; 147 KB
-
-
-
-
-
-
-
CONCUR25-12-petrinet-languages.pdf Stephan Mennicke
07:09, 7 July 2025
1,752 × 985, 30 pages; 260 KB
-
-
-
CONCUR25-11-petrinets-decidability.pdf Stephan Mennicke
18:30, 1 July 2025
1,752 × 985, 25 pages; 254 KB
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
2025-PODS-Carral-Gerlach-Larroque-Thomazo-Presentation.pdf Lukas Gerlach
09:25, 16 June 2025
1,752 × 985, 54 pages; 235 KB
-
-
-
-
-
-
-
-
-
-
-
-
-
CONCUR25-Exercise-05-algebra and upto.pdf Stephan Mennicke
08:04, 27 May 2025
1,752 × 985, 11 pages; 67 KB
-
-
-
-
-
-
-
-
-
-
-
-
-
-
2023-KR-Standpoint-EL-presentation.pdf Sebastian Rudolph
15:49, 15 May 2025
4,000 × 2,250, 128 pages; 3.79 MB
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
34865-Article Text-38932-1-2-20250410-1.pdf Patrick Wienhöft
08:04, 29 April 2025
1,275 × 1,650, 11 pages; 177 KB
-
CONCUR25-Exercise-02-linear-branching.pdf Stephan Mennicke
07:52, 29 April 2025
1,239 × 1,752, 2 pages; 35 KB
-
-
-
CONCUR25-Exercise-04-algebra.pdf Stephan Mennicke
07:10, 29 April 2025
1,239 × 1,752, 2 pages; 46 KB
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
2025-PODS-Carral-Gerlach-Larroque-Thomazo-Technical-Report.pdf Lukas Gerlach
05:44, 8 April 2025
1,012 × 1,500, 29 pages; 707 KB
-
-
-
-
-
-
-
-
Thesis Topic Simplified Tableaux for SLTL.pdf Tim Lyon
12:14, 28 March 2025
1,275 × 1,650, 3 pages; 250 KB
-
Thesis Topic Ill-Founded Sequent System for LTL.pdf Tim Lyon
15:39, 27 March 2025
1,275 × 1,650, 3 pages; 249 KB
-
Gerlach-Leaning-In-2025-Talk-Slides.pdf Lukas Gerlach
12:23, 27 March 2025
1,752 × 985, 25 pages; 133 KB
-
-
-
-
A spectrum of approximate probabilistic bisimulations.pdf Timm Spork
13:18, 5 March 2025
1,239 × 1,752, 20 pages; 896 KB
-
-
-
-
-
-
-
-
-
-
-
-
-
-
54c6152f-374a-4032-8833-a191c72cff41.jpeg Sascha Klüppelholz
09:55, 19 February 2025
630 × 354; 76 KB
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
KR2024-GomezAlvarez-Standpoint SHIQ.pdf Sebastian Rudolph
15:42, 30 November 2024
4,000 × 2,250, 123 pages; 3.31 MB
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
The Sticky Path - Ostropolski.pdf Sebastian Rudolph
16:24, 13 November 2024
754 × 566, 124 pages; 962 KB
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
BaaderBrandtLutz-LTCS-05-01.pdf Markus Krötzsch
10:35, 30 October 2024
1,239 × 1,754, 33 pages; 387 KB
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
IJCAI2024-Presentation-Gerlach-Carral-Hecher.pdf Lukas Gerlach
05:09, 22 October 2024
1,752 × 985, 24 pages; 676 KB
-
-
-
