OVERVIEW The Vienna Center for Logic and Algorithms (VCLA) at TU Wien (ViennaUniversity of Technology) seeks nominations for the VCLA InternationalStudent Awards 2019. The annually awarded VCLA International StudentAwards for Outstanding Master and Undergraduate Research (Bachelor)Theses (or equivalent) recognize authors…
Promotional access to ICLP 2018 proceedings
Cambridge University press have just launched a promotional access offer to the Volume 18 – Special Issue 3-4 – July 2018 of Theory and Practice of Logic Programming. Have a nice reading! Thanks to CUP for the fundamental role for…
Workshop Report: TAASP 2018
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…