×
马蒂亚斯·霍尔兹尔;马克斯·迈耶;马丁·威尔辛

您更喜欢哪些软约束？ （英语） Zbl 1347.68197号

Grigore（编辑），《第七届重写逻辑及其应用国际研讨会论文集》（WRLA 2008），匈牙利布达佩斯，2008年3月29日至30日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》238，第3期，189-205（2009）。
概述：软约束在不同领域越来越流行，例如Web服务的编排或调度决策的优化。然而，现有的软约束方法使其无法用多重偏好准则来建模某些决策问题。我们提出了一种新的软约束的方法，该方法可以自然地表达这些问题，描述了重写逻辑系统Maude中的一个实现，并证明了其正确性。
有关整个系列，请参见[Zbl 1279.68017号].

引用于5文件

MSC公司：

2012年第68季度 语法和重写系统
68T20型 人工智能背景下的问题解决（启发式、搜索策略等）

关键词：

软约束;重写逻辑

软件：

帕戈达;食火鸡
PDF格式BibTeX公司 XML格式引用
\textit{M.Hölzl}等人，《电子》。理论注释。计算。科学。238，第3号，189--205（2009；Zbl 1347.68197）
全文： 内政部

参考文献：

[1] Andréka，Hajnal；马克·瑞安；肖本斯，皮尔里·伊夫斯，《组合偏好关系的算子和定律》，J.Log。计算。，12, 1, 13-53 (2002) ·Zbl 1008.91027号
[2] 格雷格·巴德罗斯（Greg J.Badros）。；艾伦·博宁；Stuckey，Peter J.，食火鸡线性算术约束求解算法，ACM Trans。计算-嗯，互动。，8, 4, 267-306 (2001)
[3] 斯蒂法诺·比斯塔雷利；托姆·W·弗里沃思（Thom W.Frühwirth）。；Michael Marte，chrs中的软约束传播和求解。，（SAC（2002），ACM），1-5
[4] 斯蒂法诺·比斯塔雷利；Gadducci，Fabio，《在基于半环的形式中加强约束操作》，（Brewka，G.；Coradeschi，S.；Perini，A.；Traverso，P.，《ECAI学报》，2006年。ECAI 2006年会议记录，第17届欧洲人工智能会议。2006年ECAI会议记录。ECAI 2006年会议记录，第17届欧洲人工智能会议，人工智能和应用前沿，第141卷（2006年），IOS出版社，63-67
[5] 斯蒂法诺·比斯塔雷利；乌戈·蒙塔纳里；Rossi，Francesca，基于半环的约束满足和优化，J.ACM，44，2，201-236（1997）·Zbl 0890.68032号
[6] 斯蒂法诺·比斯塔雷利；乌戈·蒙塔纳里；Rossi，Francesca，软并发约束编程，ACM Trans。计算。日志。，7, 3, 563-589 (2006) ·Zbl 1367.68315号
[7] 斯蒂法诺·比斯塔雷利；玛丽亚·西尔维亚·皮尼；弗朗西丝卡·罗西；维纳布尔，克里斯汀·布伦特，《双极偏好问题：框架、性质和解决技术》，（阿泽夫多，弗朗西斯科；巴拉霍纳，佩德罗；法赫斯，弗朗索瓦；罗西，弗朗西斯卡，CSCLP。CSCLP，计算机科学讲义，第4651卷（2006），斯普林格），78-92·Zbl 1176.68196号
[8] 斯蒂法诺·比斯塔雷利；皮尼，玛丽亚·西尔维娅；弗朗西丝卡·罗西；克里斯汀·布伦特（Kristen Brent Venable），《两极偏好问题中的不确定性》（Bessiere，Christian，CP.CP，计算机科学讲稿，第4741卷（2007年），施普林格出版社），782-789·Zbl 1176.68196号
[9] 阿兰·博宁（Alan Borning）；比约恩·N·弗里曼-本森。；Wilson，Molly，约束层次，Lisp和符号计算，5，3，223-270（1992）·Zbl 0942.68515号
[10] 阿兰·博宁（Alan Borning）；比约恩·N·弗里曼-本森。；Molly Wilson，《约束层次》（Constraint hierarchies）（Jampel，Michael；Freuder，Eugene C.；Maher，Michael J.，《过度约束系统》（Over-Constrained Systems.Over-Contstrained System），计算机科学讲义，第1106卷（1995），Springer），第23-62页·Zbl 0942.68515号
[11] 布尔巴吉，尼古拉斯，《代数一》，第1-3章，《数学要素》（1989），斯普林格，英语·Zbl 0673.00001号
[12] 布尔巴吉，尼古拉斯，《代数II》，第4-7章，《数学要素》（1990），斯普林格出版社，英语·Zbl 1017.12001年
[13] 德尼古拉（De Nicola）、罗科（Rocco）；Gianluigi法拉利；乌戈·蒙塔纳里；罗萨里奥，普利斯；Emilio Tuosto，《服务水平协议建模的基本演算》，（Jacquet，Jean-Marie；Picco，Gian Pietro，协调模型和语言国际会议，Namur（比利时）。国际协调模式和语言会议。国际协调模型和语言会议，纳穆尔（比利时），LNCS，第3454卷（2005年4月），斯普林格，33-48
[14] 阿尔贝托·德尔加多；卡洛斯·阿尔贝托（Carlos Alberto Olarte）；佩雷斯，豪尔赫·安德烈斯；Rueda，Camilo，使用mozart实现基于半环的约束，（Van Roy，Peter，MOZ.MOZ，计算机科学讲义，第3389卷（2004），Springer），224-236
[15] Georget，Yan；Codognet，Philippe，用clp（fd，s）编译基于半环的约束，（Maher，Michael J.；Puget，Jean-Francois，CP，计算机科学讲义，第1520卷（1998年），Springer），205-219
[16] 沃里克·哈维；Peter J.Stuckey。；Borning，Alan，Fourier消去编译约束层次结构，Constraints，7，2，199-219（2002）·Zbl 1018.68020号
[17] Keeney，R.L。；Raiffa，H.，《多目标决策：偏好和价值权衡》（1993），剑桥大学出版社：剑桥大学出版社
[18] Rudová，Hana，Soft clp（fd），（罗素，英格丽德；哈勒，苏珊M.，FLAIRS会议（2003），AAAI出版社），202-207
[19] Michael Sannella；约翰·马洛尼；弗里曼·本森，比约恩·N。；Alan Borning，《用户界面中的多路径与单向约束：Deltable算法的经验》，软件。，实际。专家。，23, 5, 529-566 (1993)
[20] Wirsing，Martin；艾伦·克拉克；斯蒂芬·吉尔摩（Stephen Gilmore）；Hölzl，马提亚斯；亚历山大·纳普（Alexander Knapp）；科赫，诺拉；Schroeder，Andreas，面向服务系统的基于语义的开发，（Najn，E.；et al.，Proc.26th IFIP WG 6.1 Internat.Conf.on Formal Methods for Networked and Distributed Systems（FORTE’06））。程序。第26届IFIP工作组6.1国际。网络和分布式系统形式化方法会议（FORTE’06），法国巴黎。程序。第26届IFIP工作组6.1国际。网络化和分布式系统形式化方法会议（FORTE’06）。程序。第26届IFIP工作组6.1国际。网络化和分布式系统形式方法会议（FORTE’06），法国巴黎，LNCS，第4229卷（2006），Springer，24-45
[21] 马丁·威辛（Martin Wirsing）、格里特·丹克（Grit Denker）、卡罗琳·塔尔科特（Carolyn Talcott）、安迪·波乔（Andy Poggio）和琳达·布里塞梅斯特（Linda Briesemeister）。软约束的重写逻辑框架。在WRLA 2006，第六届重写逻辑及其应用国际研讨会；马丁·威辛（Martin Wirsing）、格里特·丹克（Grit Denker）、卡罗琳·塔尔科特（Carolyn Talcott）、安迪·波乔（Andy Poggio）和琳达·布里塞梅斯特（Linda Briesemeister）。软约束的重写逻辑框架。在WRLA 2006，第六届重写逻辑及其应用国际研讨会·Zbl 1279.68124号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。