20th PADL 2018: Los Angeles, CA, USA

Functional Programming

Constraint Programming and Business Rules

Prolog and Optimizations

Answer Set Programming

a service of Schloss Dagstuhl - Leibniz Center for Informatics