Invited Talks
GPU-based parallelism for ASP-solving
A Process Calculus for Formally Verifying Blockchain Consensus Protocols
22nd International Conference on Applications of Declarative Programming and Knowledge Management
INAP 2019
Modular Modeling and Optimized Scheduling of Building Energy Systems Based on Mixed Integer Programming
Finding Maximal Non-Redundant Association Rules in Tennis Data
From Textual Information Sources to Linked Data in the Agatha Project
Allen's Interval Algebra Makes the Difference
Exploring Properties of Icosoku by Constraint Satisfaction Approach
The Regularization of Small Sub-Constraint Satisfaction Problems
33rd Workshop on (Constraint) Logic Programming
WLP 2019
Declarative Programming for Microcontrollers
Datalog on Arduino
Towards Constraint Logic Programming over Strings for Test Data Generation
Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order Logic
KBSET
Knowledge-Based Support for Scholarly Editing and Text Processing with Declarative LaTeX Markup and a Core Written in SWI-Prolog
27th International Workshop on Functional and Logic Programming
WFLP 2019
Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming
Performance Analysis of Zippers
Adding Data to Curry
Free Theorems Simply, via Dinaturality
Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation
ICurry.