×
斯涅尔斯，乔恩；彼得·范·威特；汤姆·施里杰弗斯；莱斯利·德科宁克

随着时间的推移：约束处理规则。 （英语） Zbl 1186.68096号

理论与实践。日志。程序。 10，第1期，1-47页（2010年）.
概要：约束处理规则是一种基于多头多集重写规则的高级编程语言。它最初是为编写用户定义的约束解算器而设计的，现在被认为是一种优雅的通用语言。在上一次调查之后的十年间，与约束处理规则相关的研究激增T.Frühwirth先生[J.Log.Program.37，No.1-3，95-138（1998；Zbl 0920.68029号)]. 这项新的调查涵盖了180多份出版物，概述了从语义和分析到系统、扩展和应用等广泛研究领域的最新成果。

引用于16文件

MSC公司：

68甲15 编程语言理论
68N17号 逻辑编程

关键词：

约束处理规则；调查

引文：

Zbl 0920.68029号

软件：

HYPROLOG公司
PDF格式BibTeX公司 XML格式引用
\textit{J.Sneyers}等人，《理论与实践》。日志。程序。10，第1号，1-47（2010；Zbl 1186.68096）
全文： 内政部

参考文献：

[1] DOI:10.1017/S1471068405002541·Zbl 1109.68029号 ·doi:10.1017/S1471068405002541
[2] Schrijvers，CHR’06：程序。第三届约束处理规则研讨会（2006年）
[3] Schrijvers，CHR'05：会议记录。第二届约束处理规则研讨会（2005年）
[4] Schrijvers，规则'05:第六届基于规则的编程国际研讨会，第93页–（2006）
[5] Dahl，NLUCS’04：程序。第一届国际自然语言理解与认知科学研讨会（2004年）
[6] Dahl，ICLP’07：程序。第23届国际会议逻辑编程（2007）
[7] Dahl，CSLP’04：程序。第一届约束求解和语言处理国际研讨会第17页–（2004年）
[8] Schrijvers，CHR基于反单调的延迟避免（2004）
[9] 内政部：10.1145/1140335.1140347·数字对象标识代码：10.1145/1140335.1140347
[10] Schmauss，CHR在Java中的实现（1999）
[11] Schiffel，AAAI’07：程序。第22届AAAI人工智能大会第1191页–（2007年）
[12] Sarna-Starosta，基于程序转换的CHR索引技术（2007）
[13] Robin，《通用计算机系统杂志》13第701页–（2007）
[14] Coquery，WLPE’03第17页–（2003）
[15] Christiansen，上下文'05:Proc。第四届国际和跨学科Conf.建模和使用上下文pp 97–（2005）
[16] 内政部：10.1142/S0218213003001216·Zbl 05421377号 ·doi:10.1142/S0218213003001216
[17] Christiansen，CLIMA’06：第七届国际多智能体系统计算逻辑研讨会-修订、精选和邀请论文第226页–（2006）
[18] 内政部：10.1145/1167515.1167498·数字对象标识代码：10.1145/1167515.1167498
[19] 数字对象标识码：10.1007/s10009-003-0128-3·兹比尔02243212 ·doi:10.1007/s10009-003-0128-3
[20] Wolf，W（C）LP’05：程序。第19届（约束）逻辑编程研讨会（2005年）
[21] Morawietz，COLING'00:程序。第18届国际计算语言学大会（2000年）
[22] 沃尔夫，Proc。第14届Prolog第211页国际Conf.应用（2001）
[23] Wolf，CP’01第256页–（2001）
[24] Wolf，《约束的新趋势》，ERCIM/Compulog网络联合研讨会，1999年10月，论文选编，第318页–（2000）
[25] Cabedo，《通用计算机科学杂志》，第9页，1096页–（2003年）
[26] 内政部：10.1007/BFb0055992·doi:10.1007/BFb0055992
[27] 品牌，规则'03：第四届基于规则的编程国际研讨会第45页–（2003）
[28] Brand，ERCIM/CologNet国际联合约束求解和约束逻辑编程研讨会，论文选，第279页–（2002）
[29] Boespflug，Monad出版社。读者9第17页–（2007年）
[30] Frühwirth，WFLP’02：程序。第11届国际功能和（约束）逻辑编程研讨会，论文选集（2002年）
[31] Bistarelli，《计算智能：AI和CP偏好专刊》，第20页，287–（2004）·doi:10.1111/j.0824-7935.2004.00239.x
[32] 内政部：10.1109/5254.820329·Zbl 05094224号 ·doi:10.1109/5254.820329
[33] Frühwirth，CP’98第476页–（1998）
[34] Betz，CP’05第137页–（2005）
[35] Sarna-Starosta，PADL'07：程序。第九届国际研讨会。声明性语言的实用方面第170页–（2007）
[36] Frühwirth，约束处理规则的高级实现（1995）
[37] Frühwirth，《约束编程要点》（2003）·doi:10.1007/978-3-662-05138-2
[38] Frühwirth，《逻辑程序设计理论与实践杂志》1第303页–（2001）·Zbl 1090.68572号 ·文件编号：10.1017/S147106840101181
[39] Frühwirth，《约束处理规则》（2009）·Zbl 1182.68039号 ·doi:10.1017/CBO9780511609886
[40] DOI:10.1007/978-3-540-7200-7_18·Zbl 1149.68424号 ·doi:10.1007/978-3-540-72200-718
[41] 梅斯特，CSCLP’06：程序。第11届ERCIM约束求解和约束编程年度研讨会第139页–（2006年）
[42] Lam，DAMP’07：程序。ACM SIGPLAN多核编程声明方面研讨会（2007年）
[43] Van Weert，《约束处理规则专刊》（2008年）
[44] Krämer，Java Constraint Kit的通用搜索引擎（2001）
[45] Van Weert，编译Java约束处理规则：重构（2008）
[46] Bès，程序。Lorraine Saarland语法/语义界面的前景和进展研讨会（2003）
[47] 巴伐利亚，《通用计算机科学杂志》，12页，1500–（2006）
[48] Badea，PPSWR’04：语义Web推理原理与实践研讨会第61页–（2004）·doi:10.1007/978-3-540-30122-65
[49] Apt，TPLP 1第713页–（2001年）
[50] 阿尔维斯，WFLP’01：程序。第十届功能和（约束）逻辑编程国际研讨会，论文选集第56页–（2002）
[51] 2006年PADL Gouraud：程序。第八届国际交响乐团。声明语言的实际方面第1页–（2006年）
[52] 内政部：10.1109/SCC.2002.1173200·doi:10.1109/SCC.2002.1173200
[53] Frühwirth，约束的最新进展，CSCLP’05：约束求解和CLP的ERCIM/CoLogNET国际联合研讨会，修订精选和邀请论文（2006）
[54] Alberti，LCMAS’03：多代理系统中的逻辑和通信第94页–（2004）
[55] Frühwirth，LOPSTR'04第133页–（2005）
[56] 内政部：10.1080/08839510500479546·Zbl 05386648号 ·doi:10.1080/08839510500479546
[57] 内政部：10.1145/967900.967918·数字对象标识代码：10.1145/967900.967918
[58] Frühwirth，QAPL’01：程序。第一届国际编程语言定量方面研讨会（2002年）
[59] Frühwirth，KR’02：程序。第八届国际会议《知识表示与推理》第547页–（2002年）
[60] Frühwirth，声明性编程——AGP 2000论文选集，第147页——（2001）
[61] Frühwirth，《约束的新趋势》，ERCIM/Compulog网络联合研讨会，1999年10月，论文选，第298页–（2000）
[62] Frühwirth，逻辑编程杂志，约束逻辑编程专刊37 pp 95–（1998）
[63] Frühwirth，《约束编程：基础与趋势——第22届春季理论计算机科学学院论文集》，1994年5月16日至20日，第90页–（1995）
[64] Kosmatov，INAP’05：程序。第16届国际声明性编程和知识管理应用大会第25页–（2006年）·数字对象标识代码：10.1007/119635783
[65] 内政部：10.1145/1141277.1141369·doi:10.1145/1141277.1141369
[66] Holzbaur，《应用人工智能杂志》14（2000）
[67] 内政部：10.1080/088395100117043·兹伯利05386824 ·doi:10.1080/088395100117043
[68] 塔切拉，2007年PPDP第179页–（2007年）·doi:10.1145/1273920.1273945
[69] Holzbaur，PPDP’99第117页–（1999）
[70] Holzbaur，约束处理规则参考手册，2.2版（1998年）
[71] Sulzmann，APLAS’06：程序。第四届亚洲交响乐团。编程语言和系统第26页–（2006）·Zbl 1168.68367号 ·数字对象标识代码：10.1007/11924661_2
[72] Sulzmann，IFL’07：第19届国际交响乐团。函数语言的实现和应用第195页–（2007年）
[73] 内政部：10.1017/S0956796806006137·兹比尔1107.68031 ·doi:10.1017/S0956796806006137
[74] 内政部：10.1145/108970.1108974·Zbl 05459340号 ·数字对象标识代码：10.1145/108970.1108974
[75] Stuckey，ICLP’02：程序。第18届国际Conf.逻辑编程（2002）
[76] Aguilar-Solis，IBERAMIA’04：程序。第九届伊比利亚-美国AI大会第315页–（2004）
[77] Abdennadher，LOPSTR'07，修订论文集（2008）
[78] 内政部：10.1007/BFb0055987·doi:10.1007/BFb0055987
[79] Frühwirth，约束简化规则（1992）
[80] 内政部：10.1145/976706.976707·Zbl 1367.68259号 ·数字对象标识代码：10.1145/976706.976707
[81] Fink，WLP’06：程序。第20届逻辑程序设计研讨会（2006年）
[82] Abdennadher，LOPSTR'06，修订论文集（2006）
[83] Etalle，ICLP’06：程序。第22届国际逻辑编程会议（2006）
[84] Escrig，《定性空间推理：理论与实践——机器人导航应用》（1998年）·Zbl 0923.68115号
[85] 内政部：10.1006/jvlc.1997.0067·doi:10.1006/jvlc.1997.0067
[86] 内政部：10.1145/888251.888260·doi:10.1145/888251.888260
[87] Haemmerlé，RTA’07：程序。第18届国际商会术语改写与应用（2007年）
[88] 内政部：10.1145/1462166.1462169·doi:10.1145/1462166.1462169
[89] 内政部：10.1145/1462179.1462183·Zbl 1351.68050号 ·数字对象标识代码：10.1145/1462179.1462183
[90] 加布里埃利，ICLP’05：Proc。第21届国际会议逻辑编程（2005）
[91] 模拟，WFLP’04：程序。第13届国际功能和（约束）逻辑编程研讨会第48页–（2004年）
[92] Shigeta，《高级计算智能与智能信息学杂志》10 pp 339–（2006）·兹伯利05426389 ·doi:10.20965/jaciii.2006.p0339
[93] Seitz，IC-AI’02：程序。国际人工智能会议第295页–（2002年）
[94] 舒曼，WFLP’02：程序。第11届国际功能和（约束）逻辑编程研讨会（2002年）
[95] DOI:10.1016/S0743-1066（98）10036-5·兹伯利0938.68023 ·doi:10.1016/S0743-1066（98）10036-5
[96] 内政部：10.1145/124402.1244016·doi:10.1145/124402.1244016
[97] Demen，ICLP’04：程序。第20届国际会议逻辑编程（2004）
[98] 内政部：10.1145/1069774.1069794·数字对象标识代码：10.1145/1069774.1069794
[99] 内政部：10.1007/978-3-540-78969-7_5·Zbl 05262479号 ·doi:10.1007/978-3-540-78969-7_5
[100] De Konink，2007年PPDP第25页–（2007年）·数字对象标识代码：10.1145/1273920.1273924
[101] Abdennadher，WFLP’01：程序。第十届功能和（约束）逻辑编程国际研讨会，论文选集第1页–（2002）
[102] DOI:10.1023/A:1009842826135·兹比尔0951.68070 ·doi:10.1023/A:1009842826135
[103] Abdennadher，LOPSTR'03第198页–（2004）
[104] Abdennadher，CP’99第43页–（1999）
[105] Abdennadher，CP’98第25页–（1998）
[106] Schrijvers，CICLOPS’03：程序。第三届约束和逻辑编程系统实施国际学术会议第7页–（2003年）
[107] Abdennadher，FQAS’00:程序。第四届国际会议灵活问答系统第141页–（2000）
[108] Abdennadher，《基于规则的约束编程：理论与实践》（2001年）
[109] 内政部：10.1145/1069774.10697795·数字对象标识代码：10.1145/1069774.1069795
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。