20th PADL 2018: Los Angeles, CA, USA

Functional Programming

Constraint Programming and Business Rules

Prolog and Optimizations

Answer Set Programming

maintained by Schloss Dagstuhl LZI, founded at University of Trier