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…
PhD Position: INSIGHT Centre for Data Analytics
PhD Position INSIGHT Centre for Data Analytics, Dublin City University In collaboration with the Amsterdam Data Science (NL) and Nokia Bell-Labs (IE) We invite applications for a PhD fellowship at the INSIGHT Centre for Data Analytics, Dublin City University. The…
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 …
CFP: ICLP-DC 2018 Doctoral Consortium
ICLP-DC 2018 – 14th Doctoral Consortium (DC) on Logic Programming https://logicprogramming.org/iclp2018/Proceedings/ICLP_DC.html Call for Applications The 14th Doctoral Consortium (DC) on Logic Programming will be held in conjunction with ICLP 2018 and FLoC 2018. It provides a forum for students…