Attribut:Slides
Aus International Center for Computational Logic
This property stores a file name as a plain string.
C
Obiedkov-sertkaya.pdf +
Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules +
KR 2023 Short Paper Talk - Lyon.pdf +
Diplomverteidigung.pdf +
D
Bednarczyk-PhD-Defense-Slides.pdf +
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures +
Msobapa final.pdf +
Comma14 gaggl slides.pdf +
Decomposing-talk.pdf +
LR-JELIA23-talk.pdf +
HMS19-icfca-discovering-wikidata.pdf +
Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination (Technical Report) +
gerlach-carral-kr-2023-talk.pdf +
Defence-lukas-gerlach.pdf +
E
ISWC 2022 Dependency Talk.pdf +
Dl-2018-presentation-vlog.pdf +
Evaluation-of-the-Generality-of-DMFA-Lukas-Gerlach-Slides.pdf +
Lpnmr2013-talk.pdf +
2015-06-08 hybris-workshop-talk.pdf +
Icfca2013-tutorial-talk.pdf +
Icfca-2015-talk.pdf +
2014-10-06 quantla-workshop.pdf +