Hostname: page-component-8448b6f56d-gtxcr Total loading time: 0 Render date: 2024-04-18T19:47:27.673Z 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)
Get access Rights & Permissions [Opens in a new window]

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
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 

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.)