Tue 9 Jan 2018 16:00 - 16:30 at Rose - Best Papers

This paper presents PFLP, a library for probabilistic programming in the functional logic programming language Curry. It demonstrates how the concepts of a functional logic programming language support the implementation of a library for probabilistic programming. In fact, the paradigms of functional logic and probabilistic programming are closely connected. That is, we can apply techniques from one area to the other and vice versa. We will see that an implementation based on the concepts of functional logic programming can have benefits with respect to performance compared to a standard list-based implementation.

Tue 9 Jan

Displayed time zone: Tijuana, Baja California change

16:00 - 18:00
Best Papers PADL at Rose
16:00
30m
Talk
Probabilistic Functional Logic Programming
PADL
A: Sandra Dylus University of Kiel, Germany, A: Jan Christiansen Flensburg University of Applied Sciences, Germany, A: Finn Teegen University of Kiel, Germany
16:30
30m
Talk
Optimizing Answer Set Computation via Heuristic-Based Decomposition
PADL
A: Francesco Calimeri University of Calabria, A: Davide FuscĂ  , A: Simona Perri , A: Jessica Zangari
17:00
30m
Day closing
Closing
PADL