Hostname: page-component-745bb68f8f-d8cs5 Total loading time: 0 Render date: 2025-02-06T19:22:03.875Z Has data issue: false hasContentIssue false
  • English
  • Français

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

Published online by Cambridge University Press:  14 October 2016

MANUEL CARRO  and
ANDY KING
MANUEL CARRO
Affiliation:
Technical University of Madrid and IMDEA Software Institute (e-mail: manuel.carro@upm.es, manuel.carro@imdea.org)
ANDY KING
Affiliation:
University of Kent (e-mail: A.M.King@kent.ac.uk)
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

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
Information
Theory and Practice of Logic Programming , Volume 16 , Special Issue 5-6: 32nd International Conference on Logic Programming , September 2016 , pp. 509 - 514
Copyright
Copyright © Cambridge University Press 2016