Papers presented at the 32nd International Conference on Logic Programming (ICLP 2016)
Manuel Carro, Andy King (Eds.)

TL;DR
This document lists the accepted papers and conference activities for ICLP 2016, highlighting the event's scope, publication plans, and the number of submissions and accepted papers.
Contribution
It provides an overview of the conference's accepted papers, workshops, and publication process, serving as a summary of ICLP 2016's academic contributions.
Findings
27 papers accepted for TPLP publication
88 submissions received for the conference
15 papers published as Technical Communications
Abstract
This is the list of the full papers accepted for presentation at the 32nd International Conference on Logic Programming, New York City, USA, October 18-21, 2016. In addition to the main conference itself, ICLP hosted four pre-conference workshops, the Autumn School on Logic Programing, and a Doctoral Consortium. The final versions of the full papers will be published in a special issue of the journal Theory and Practice of Logic Programming (TPLP). We received eighty eight abstract submissions, of which twenty seven papers were accepted for publication as TPLP rapid communications. Papers deemed of sufficiently high quality to be presented as the conference, but not enough to be appear in TPLP, will be published as Technical Communications in the OASIcs series. Fifteen papers fell into this category.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Advanced Algebra and Logic · Logic, programming, and type systems
