Introduction to the 32nd International Conference on Logic Programming Special Issue. Issue 5 (14th October 2016)
- Record Type:
- Journal Article
- Title:
- Introduction to the 32nd International Conference on Logic Programming Special Issue. Issue 5 (14th October 2016)
- Main Title:
- Introduction to the 32nd International Conference on Logic Programming Special Issue
- Authors:
- CARRO, MANUEL
KING, ANDY - Editors:
- Carro, Manuel
King, Andy - Abstract:
- Abstract : The main track of the Thirty Second International Conference on Logic Programming (ICLP) took place in New York City, USA, from the 18 th to the 21 st 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.
- Is Part Of:
- Theory and practice of logic programming. Volume 16:Issue 5/6(2016)
- Journal:
- Theory and practice of logic programming
- Issue:
- Volume 16:Issue 5/6(2016)
- Issue Display:
- Volume 16, Issue 5/6 (2016)
- Year:
- 2016
- Volume:
- 16
- Issue:
- 5/6
- Issue Sort Value:
- 2016-0016-NaN-0000
- Page Start:
- 509
- Page End:
- 514
- Publication Date:
- 2016-10-14
- Subjects:
- Logic programming -- Periodicals
Artificial intelligence -- Computer programs -- Periodicals
Constraint programming (Computer science) -- Periodicals
005.115 - Journal URLs:
- https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming ↗
- DOI:
- 10.1017/S1471068416000491 ↗
- Languages:
- English
- ISSNs:
- 1471-0684
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD Digital store
- Ingest File:
- 1789.xml