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…
Category: ALP ISSUE
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 …
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
