Dear LPers, Welcome to the Fall issue of your favorite newsletter. As we anticipated during the ALP meeting at ICLP in Melborne, we have some great news: the newsletter is launching a new effort aimed at promoting students’ contributions to…
Category: ALP ISSUE
ICLP 2017 report
By Ricardo Rocha, University of Porto and Tran Cao Son, New Mexico State University The 33rd edition of the International Conference of Logic Programming (ICLP 2017) took place in Melbourne, Australia from the 28th of August to the 1st of…
Energy Consumption Analysis and Verification using CiaoPP
By P. Lopez-Garcia, M. Hermenegildo, M. Klemen and U. Liqat
IMDEA Software Institute
Spain
Editorial, Vol. 30, No. 2, July 2017
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…
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…