A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Introduction to the 32nd International Conference on Logic Programming Special Issue
2016
Theory and Practice of Logic Programming
The main track of the Thirty Second International Conference on Logic Programming (ICLP) took place in New York City, USA, from the 18thto the 21stOctober 2016. It seems fitting to hold a significant, power of two, ICLP in New York because the city has a long and distinguished association with logic programming: XSB was developed at Stony Brook, as was HiLog before that, and SB-Prolog before that. Moreover, Picat was developed at the City University of New York, as was B-Prolog, and other logic
doi:10.1017/s1471068416000491
fatcat:qzindp2mnbbk3p54666cwmebee