×
巴斯米，玛丽亚·格拉齐亚；乌戈·蒙塔纳里

基于约束的编程范例调查。 （英语） Zbl 1302.68249号

计算。科学。版次。 2，第3期，137-141（2008）.
摘要：约束支持一种以声明性描述和有效解决几类问题为特征的编程风格。与其他编程语言的基本原语不同，约束不指定计算操作，而是指定要找到的解决方案的属性。本文综述了基于约束的主要形式：约束满足问题、约束逻辑编程和并发约束编程。我们概述了这些方法最近的扩展，并讨论了正在进行的研究趋势。

引用于三文件

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）
68N17号 逻辑编程
68甲19 其他编程范式（面向对象、顺序、并发、自动等）
68-02 与计算机科学有关的研究展览会（专著、调查文章）

关键词：

约束逻辑程序设计；约束满足问题；并发约束编程

软件：

CC-Pi公司；欧兹
PDF格式BibTeX公司 XML格式引用
\textit｛M.G.Buscemi｝和\textit｛U.Montanari｝，计算机。科学。第2版，第3号，137--141（2008；Zbl 1302.68249）
全文： 内政部

参考文献：

[1] Apt，K.R。；Wallace，M.，《使用Eclipse的约束逻辑编程》（2007），剑桥大学出版社·Zbl 1119.68044号
[2] Bistarelli，S.，《软约束求解和编程的半环》（2004），Springer·Zbl 1054.68136号
[3] S.Bistarelli，U.Montanari，F.Rossi，基于半环的约束逻辑编程，in：Proc。1997年IJCAI；S.Bistarelli，U.Montanari，F.Rossi，基于半环的约束逻辑编程，in：Proc。1997年IJCAI·Zbl 0890.68032号
[4] 比斯塔雷利，S。；蒙塔纳里，美国。；Rossi，F.，基于半环的约束满足和优化，ACM杂志，44，2，201-236（1997）·Zbl 0890.68032号
[5] 比斯塔雷利，S。；蒙塔纳里，美国。；Rossi，F.，《软并发约束编程》，美国计算机学会计算逻辑汇刊，7，3，563-589（2006）·Zbl 1367.68315号
[6] S.Bistarelli，F.Santini，一种用于二语习得协商的非单调软并发约束语言，in：Proc。2008年8月CILC；S.Bistarelli，F.Santini，一种用于二语习得协商的非单调软并发约束语言，in：Proc。2008年8月CILC·Zbl 1234.68286号
[7] Buscemi，M.G。；法拉利，L。；莫伊索，C。；Montanari，U.，《电信服务基于约束的政策协商和实施》（Proc.TASE’07（2007），IEEE Computer Society），463-472
[8] Buscemi，M.G。；Montanari，U.，Cc-pi:一种基于约束的语言，用于指定服务级别协议（Proc.ESOP’07）。程序。ESOP’07，计算机科学讲义，第4421卷（2007），Springer），18-32·Zbl 1187.68063号
[9] Dechter，R.，《约束处理》（2003），Morgan Kaufmann出版社
[10] D.Dubois，H.Fargier，H.Prade，《在车间调度中使用模糊约束》，摘自：Proc。IJCAI'93/SIGMAN基于生产计划、调度和控制的知识研讨会，1993年；D.Dubois，H.Fargier，H.Prade，《在车间调度中使用模糊约束》，摘自：Proc。IJCAI'93/SIGMAN基于生产计划、调度和控制的知识研讨会，1993年
[11] 亨金，L。；塔斯基，A。；Monk，J.D.，《柱面代数》（1971），北荷兰：北荷兰阿姆斯特丹·Zbl 0214.01302号
[12] Jaffar，J。；Lassez，J.-L.，《约束逻辑编程》（Proc.POPL'87（1987），ACM出版社）
[13] Kondrak，G。；van Beek，P.，《选定回溯算法的理论评估》，《人工智能》，第89期，第365-387页（1997年）·Zbl 1042.68671号
[14] Mackworth，A.K.，关系网络的一致性，人工智能，899-118（1977）·Zbl 0341.68061号
[15] 英国万豪酒店。；Stuckey，P.J.，《约束逻辑编程导论》（1998），麻省理工学院出版社·Zbl 0935.68098号
[16] 米尔纳，R。；帕罗，J。；Walker，D.，移动过程微积分，i和ii，信息与计算，100，1，1-40（1992），41-77·Zbl 0752.68036号
[17] Montanari，U.，《约束网络：图像处理的基本属性和应用》，信息科学，795-132（1974）·Zbl 0284.68074号
[18] 帕拉米德斯，C。；Valencia，F.D.，《时间并发约束编程演算》（Proc.CP’01（2001），Springer），302-316·Zbl 1067.68662号
[19] Pin，J.E.，《热带半环》（Idempotency（1998），剑桥大学出版社），50-69·Zbl 0909.16028号
[20] 罗西，F。；范贝克，P。；Walsh，T.，《约束编程手册（人工智能基础）》（2006），爱思唯尔科学·兹比尔1175.90011
[21] Saraswat，V.，并发约束编程（1993），麻省理工出版社·Zbl 1002.68026号
[22] 萨拉斯瓦特，V。；Rinard，M.，并发约束编程（Proc.POPL'90（1990），ACM Press）·Zbl 1002.68026号
[23] 萨拉斯瓦特，V.A。；Jagadeesan，R。；Gupta，V.，定时默认并发约束编程，符号计算杂志，22，5-6，475-520（1996）·Zbl 0876.68041号
[24] T.Schiex，H.Fargier，G.Verfaillie，《有值约束满足问题：困难和容易的问题》，摘自：Proc。1995年IJCAI；T.Schiex，H.Fargier，G.Verfaillie，《有值约束满足问题：困难和容易的问题》，摘自：Proc。1995年IJCAI·Zbl 0940.68132号
[25] Scott，D.S.，指称语义学领域，（Proc.ICALP’82。程序。ICALP’82，《计算机科学讲义》，第140卷（1982年），施普林格出版社，577-613·Zbl 0495.68025号
[26] Smolka，G.，《Oz编程模型》（The Oz programming model），（《今日计算机科学》，《今日计算机科技》，《计算机科学讲义》，第1000卷（1995年），施普林格出版社），324-343·邮编：0875.00060
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。