Category: ALP ISSUE
The ILASP System for Inductive Learning of Answer Set Programs
By Mark Law, Alessandra Russo, Krysia BrodaILASP Limited and Department of Computing, Imperial College London, UK
In Memoriam: Christian Schulte
Polyvariant program specialisation and its application in program analysis and verification
Call for Participation: ICLP 2019
Editorial, Volume 32, No. 2, August 2019
Are you back in office after vacation? Or are your still holding your feet into the sea or climbing mountains? In both cases, you can enjoy reading the contents of your favorite newsletter. We have three feature articles: Dynamic and…
Dynamic and Temporal Answer Set Programming on Linear Finite Traces
An Arboriculture Approach for Parallel SMT and Symbolic Model Checking
Flattering Tax
by Paolo Baldan and Roberto Bruni
Universities of Padova and Pisa
Italy
Editorial, Volume 32, No. 1, April/May 2019
Welcome to the new issue of your favorite Newsletter. First of all, on behalf of the entire crew of the ALP Newsletter, we would like to apologize for some of the recent delays in getting the newsletter out. Administrative duties…