Hostname: page-component-586b7cd67f-t7czq Total loading time: 0 Render date: 2024-11-22T05:12:31.531Z Has data issue: false hasContentIssue false

Introduction to the 32nd International Conference on Logic Programming Special Issue

Published online by Cambridge University Press:  14 October 2016

MANUEL CARRO
Affiliation:
Technical University of Madrid and IMDEA Software Institute (e-mail: [email protected], [email protected])
ANDY KING
Affiliation:
University of Kent (e-mail: [email protected])

Extract

The main track of the Thirty Second International Conference on Logic Programming (ICLP) took place in New York City, USA, from the 18th to the 21st October 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 programming-based systems, such as Ergo. New York has also been (and is) the cradle of several start-ups based on logic programming.

Type
Introduction
Copyright
Copyright © Cambridge University Press 2016 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)