Dear LPers, Welcome to the Summer issue of your favorite newsletter. it is sad to open the newsletter with news about friends and colleagues that have passed away. Unfortunately, logic programming has lost one of its founding fathers, a charismatic…
Category: ALP ISSUE
About negation-as-failure and the informal semantics of Logic Programming
By M. Denecker, M. Truszczynski, J. Vennekens
In Memoriam: Alain Colmerauer (24 January 1941 – 12 May 2017)
In Search of the Perfect Musical Scale
By John Hooker
Carnegie Mellon University
USA
Mosquitos reloaded
By Paolo Baldan, University of Padova and
Roberto Bruni, University of Pisa
In Memoriam: Alain Colmerauer
By
Frédéric Benhamou
Editorial: April/May 2017
Dear LP’ers, Welcome to another issue of your favorite newsletter. The logic programming field is alive and well, and the summer plans for conferences and events are in full swing. ICLP 2017 is coming quickly our way, in beautiful Australia…
CFP: CPP 2018
CALL FOR PAPERS The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2018) co-located with POPL 2018 in cooperation with ACM SIGLOG http://popl18.sigplan.org/track/CPP-2018 8-9 January, 2018, Los Angeles, USA Certified Programs and Proofs (CPP) is an international…
Conference Report: The 26th International Conference on Inductive Logic Programming (ILP’16)
By James Cussens, University of York, Alessandra Russo, Imperial College London FULL PDF VERSION Extended Abstract The 26th International Conference on Inductive Logic Programming (ILP 2016) was held in London, during September 4-6 2016, in the pleasant surroundings of the…
The s(ASP) Predicate Answer Set Programming System
By Kyle Marple, Elmer Salazar Zhuo Chen, and Gopal Gupta Department of Computer Science The University of Texas at Dallas Abstract: We present the s(ASP) system that computes stable models of normal logic programs, i.e., logic programs extended with…