第 12 届约束与逻辑编程系统实现国际研讨会论文集
编程语言
2013-02-04 v1 人工智能
摘要
本卷收录了 CICLOPS'12（第 12 届约束与逻辑编程系统实现国际研讨会）上发表的论文，该会议于 2012 年 9 月 4 日星期二在布达佩斯举行。会议议程包括 1 场特邀报告、9 场技术报告以及一场关于 Prolog 开放标准（open.pl）的小组讨论。每篇会议论文均由 3 位审稿人评审。CICLOPS'12 延续了逻辑编程系统实现研讨会的成功传统，此前曾在布达佩斯（1993 年）和伊萨卡（1994 年）举办，还包括在马德里（1993 年和 1994 年）、乌得勒支（1995 年）和波恩（1996 年）举办的 Compulog Net 并行性与实现技术研讨会，在杰斐逊港（1997 年）、曼彻斯特（1998 年）、拉斯克鲁塞斯（1999 年）和伦敦（2000 年）举办的（约束）逻辑编程语言并行性与实现技术研讨会，以及最近在帕福斯（2001 年）、哥本哈根（2002 年）、孟买（2003 年）、圣马洛（2004 年）、锡切斯（2005 年）、西雅图（2006 年）、波尔图（2007 年）、乌迪内（2008 年）、帕萨迪纳（2009 年）、爱丁堡（2010 年）举办的约束与逻辑编程系统实现研讨会，并与 WLPE 联合在列克星敦（2011 年）举办。我们要感谢所有作者、特邀报告人 Tom Schrijvers、程序委员会成员以及 ICLP 2012 的组织者。我们还要感谢 arXiv.org 提供永久托管服务。
引用
@article{arxiv.1302.0126,
title = {Proceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems},
author = {Nicos Angelopoulos and Roberto Bagnara},
journal= {arXiv preprint arXiv:1302.0126},
year = {2013}
}
备注
1 invited talk, 9 papers and 1 panel discussion