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…
Category: ALP ISSUE
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…
Report on ICLP 2018
By Alessandro Dal Palu’ and Paul Tarau,
University of Parma and University of North Texas,
Italy and USA
Feetbook Profiling (or (bi)simulation in disguise)
By Paolo Baldan University of Padova Roberto Bruni Universtity of Pisa A new social network has become extremely popular. It is called Feetbook. Users share stories, anecdotes and pictures about their feet. What is (especially) peculiar is that posts…
System Announcement: EZSMT
by Yuliya Lierler
University of Nebraska Omaha
USA
PSOA RuleML Bridges Graph and Relational Databases
By Harold Boley University of New Brunswick, Fredericton, Canada ABSTRACT In PSOA RuleML, Graph Databases and Relational Databases are bridged conceptually, with interoperation paths through its metamodel of three orthogonal dimensions, as well as programmatically, with transition rules realized in…
Proving Program Correctness Using the AG Semantics: An Example with n-Queens
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…
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 …