By Amelia Harrison UT Austin, USA ABSTRACT We show an example of how the proposal for the semantics of the subset of the input language of gringo called AG can be used as the basis for a proof of correctness of a…
Category: ALP ISSUE
Editorial, Volume 31, No. 1, April 2018
By Agostino Dovier and Enrico Pontelli
ICLP 2018 Accepted papers
Communicated by Alessandro Dal Palù and Paul Tarau
DLV: Evolution and Perspectives
DLV is a system for Answer Set Programming (ASP), a logic-based programming paradigm for solving problems in a fully declarative way. It has been one of the first solid and reliable ASP systems, widely used in academy and fruitfully employed in many relevant industrial applications. In this paper …
Editorial, Vol. 30, No. 3, October 2017
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…
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
