Workshop Report: Trends and Applications of Answer Set Programming (TAASP) 2018 By Stefan Woltran, TUWIEN, Austria The TAASP workshop series is jointly organized by research groups at Alpen-Adria-Universität Klagenfurt, Technische Universität Wien, and Universität Potsdam. TAASP 2018 was the second…
The SAT Compiler in Picat
By Neng-Fa Zhou (CUNY Brooklyn College & Graduate Center) Abstract SAT solvers’ performance has drastically improved during the past 20 years, thanks to the inventions of techniques from conflict-driven clause learning, backjumping, variable and value selection heuristics, to random restarts.…
System Announcement: PROJECTOR
PROJECTOR is an automated rewriting system for non-ground logic programs under answer set semantics. It is designed to improve the performance of answer set programing solutions. Its ideas stem from relational database query optimization techniques. PROJECTOR version 1.0.0 is available…
Editorial, Volume 31, No. 2, July/August 2018
Dear Logic Programming Colleagues, welcome to a new issue of your favorite ALP Newsletter! First of all, we need to apologize for the slight delay in the recent publications of the newsletter – new administrative appointments have taken a toll…
Report on ICLP 2018
By Alessandro Dal Palu’ and Paul Tarau,
University of Parma and University of North Texas,
Italy and USA
CFP: Practical Aspects of Declarative Languages 2019
By Moa Johansson
Chalmers University of Technology
Sweden