Gallery of new files
From International Center for Computational Logic
This special page shows the last uploaded files.
- 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
- Ivliev-et-al-Nemo-rule-engine-demo-ICLP2023.pdf Markus Krötzsch
14:07, 16 June 2023
1,275 × 1,650, 3 pages; 109 KB
- Amw2023-efficient-dependency-analysis-for-existential-rules.pdf Larry Gonzalez
16:32, 31 May 2023
1,240 × 1,753, 6 pages; 234 KB
- Dresden Multilinguality in KGs 2023.pdf Ali Elhalawati
14:22, 16 February 2023
1,500 × 843, 43 pages; 2.38 MB
- Beutner-et-al HyperLTL-fragments LICS-2022.pdf Markus Krötzsch
09:01, 7 November 2022
1,275 × 1,650, 13 pages; 927 KB
- Wissensgraphen-Kroetzsch-Linux-Magazin-2022.png Markus Krötzsch
08:36, 7 November 2022
568 × 810; 366 KB
- Finite-Cliquewidth Sets of Existential Rules.pdf Thomas Feller
06:52, 12 September 2022
1,240 × 1,753, 42 pages; 1.17 MB
- An Existential Rule Framework for Computing Why Provenance On Demand for Datalog (2).pdf Ali Elhalawati
10:21, 9 September 2022
1,275 × 1,650, 16 pages; 444 KB
- Mk2022-complex-values-extended-abstract-slides.pdf Maximilian Marx
16:15, 5 September 2022
944 × 531, 23 pages; 285 KB
- Mk2022-complex-values-extended-abstract.pdf Maximilian Marx
15:38, 23 August 2022
1,240 × 1,753, 7 pages; 764 KB
- Urbani-Kroetzsch-Eiter LARS-streams-existential-rules KR2022.pdf Markus Krötzsch
11:01, 10 May 2022
1,275 × 1,650, 13 pages; 361 KB
- Borgwardt-et-al Horn-DL-planning AAAI-2022 with appendix.pdf Markus Krötzsch
09:33, 16 April 2022
1,275 × 1,650, 16 pages; 349 KB
- Swj-preprint-Darari-Completeness.pdf Sebastian Rudolph
20:39, 9 April 2022
1,240 × 1,753, 42 pages; 618 KB
- 2022-AIJ Strong-Equivalence.pdf Hannes Straß
17:24, 14 February 2022
1,240 × 1,753, 43 pages; 514 KB
- Session-03-topic assignment and more.pdf Stefan Ellmauthaler
15:46, 27 October 2021
944 × 590, 9 pages; 58 KB
- Diploma-thesis-defence-lukas-gerlach.pdf Lukas Gerlach
07:31, 13 October 2021
944 × 531, 89 pages; 302 KB
- Evaluation-of-the-Generality-of-DMFA-Lukas-Gerlach-Slides.pdf Lukas Gerlach
07:20, 13 October 2021
944 × 531, 78 pages; 338 KB
- Evaluation-of-the-Generality-of-DMFA-Lukas-Gerlach.pdf Lukas Gerlach
07:19, 13 October 2021
1,275 × 1,650, 12 pages; 471 KB
- On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics (PrePrint).pdf Tim Lyon
11:31, 18 June 2021
1,275 × 1,650, 59 pages; 741 KB
- A Decidable Multi-Agent Logic for Reasoning about Actions, Instruments, and Norms (PrePrint).pdf Tim Lyon
11:26, 18 June 2021
1,275 × 1,650, 22 pages; 481 KB
- Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents.pdf Tim Lyon
11:22, 18 June 2021
1,240 × 1,753, 16 pages; 586 KB
- Automating Agential Reasoning; Proof-Calculi and Syntactic Decidability for STIT Logics (PrePrint).pdf Tim Lyon
11:17, 18 June 2021
1,275 × 1,650, 23 pages; 319 KB
- From Display to Labelled Proofs for Tense Logics (PrePrint).pdf Tim Lyon
10:33, 18 June 2021
1,275 × 1,650, 16 pages; 387 KB