A little collection of talks I gave.
University of Würzburg, 10/31/2022.
Rules and Reasoning - Second International Joint Conference (RuleML+RR'18), Luxembourg, 9/21/2018.
20th International Symposium on Principles and Practice of Declarative Programming (PPDP'18), Frankfurt/Main, 9/4/2018.
DB Summercamp, DB mindbox Berlin, 7/27/2018.
University of Würzburg, 1/31/2018
Workshop on (Constraint) Logic Programming (WLP'17), University of Würzburg, 9/20/2017.
University of Würzburg, 7/20/2017.
Implementing GraphQL as a Query Language for Deductive Databases in SWI–Prolog Using DCGs, Quasi Quotations, and Dicts
Workshop on (Constraint) Logic Programming (WLP'16), HTWK Leipzig, 9/12/2016.
University of Würzburg, 4/28/2016.
University of Ulm, 12/01/2015. Presentation of my Master Thesis.
Related Links:
- Master Thesis
- CHR.js, JIT Compiler
- chrjs.net, Online Playground for CHR.js
- CHR.js-website, source code of chrjs.net
- CHR-Benchmarks, benchmark suite for CHR systems
University of Ulm, 7/10/2015 - 7/14/2015
Prolog & CHR: Skript | Übungen
Mixed: Übungen
University of Ulm, 2 June 2015
University of Ulm, 7/26/2014 - 7/31/2014
Prolog & CHR: Skript | Übungen
Mixed: Übungen
University of Ulm, 7/19/2013 - 7/21/2013
Prolog & CHR: Skript | Übungen
Mixed: Übungen
University of Ulm, 1/31/2013, Web Engineering lecture.
University of Ulm, 7/24/2012 - 7/26/2012 and 9/25/2012 - 9/27/2012
Prolog & CHR: Skript | Übungen
University of Ulm, 3/10/2012.
University of Ulm, 2/14/2012.