第 13 届约束与逻辑编程系统实现国际研讨会论文集
编程语言
2013-08-01 v1
摘要
本卷收录了第 13 届约束与逻辑编程系统实现国际研讨会（CICLOPS 2013）的论文集，该会议于 2013 年 8 月 25 日在土耳其伊斯坦布尔举行。CICLOPS 是一个成熟的系列研讨会，传统上与 ICLP 联合举办，旨在讨论和交流关于约束与逻辑编程系统以及其他基于逻辑作为计算表达手段的系统的设计、实现和优化方面的经验。今年，CICLOPS 收到了 8 篇投稿。每篇投稿至少由 3 名程序委员会成员评审，最终有 6 篇论文被接受在研讨会上展示。我们要感谢 ICLP 组织者的支持，感谢 EasyChair 会议管理系统为程序主席提供了便利，感谢 arxiv.org 提供永久托管。还要感谢所有投稿作者为保持 CICLOPS 的活力所做的贡献，以及与会者使本次活动成为交流思想和反馈近期发展的富有成效的聚会点。最后，我们要向程序委员会成员表示感激，如果没有他们的辛勤工作，本次研讨会将无法举行。
引用
@article{arxiv.1307.8389,
title = {Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems},
author = {Ricardo Rocha and Christian Theil Have},
journal= {arXiv preprint arXiv:1307.8389},
year = {2013}
}
备注
Proceedings of the 13th International Colloquium on Implementation of Constraint LOgic Programming Systems (CICLOPS 2013), Istanbul, Turkey, August 25, 2013