×

扣环

swMATH ID: 7095
软件作者: 马丁·格布瑟(Martin Gebser)、本杰明·考夫曼(Benjamin Kaufmann)、安德烈·诺依曼(AndréNeumann)、托尔斯滕·绍布(Torsten Schaub)
描述: 扣:冲突驱动的答案集求解器。clasp是SourceForge托管的Potassco项目的一部分。源代码和预编译的二进制文件可在Potassco-download页面上获得。clip是一个用于(扩展的)常规逻辑程序的答案集求解器。它将答案集编程(ASP)的高级建模能力与布尔约束求解领域的最新技术相结合。主扣算法依赖于冲突驱动的nogood学习,该技术被证明在可满足性检查(SAT)中非常成功。与其他学习ASP解算器不同,clip不依赖于传统软件,例如SAT解算程序或任何其他现有的ASP求解器。相反,卡环是基于冲突驱动的非好的学习为解决答案集而真正开发的。clamp可以作为ASP解算器(在SMODELS格式上,由Gringo输出)、SAT解算器(在DIMACS/CNF格式的简化版本上)或PB解算器(在OPB格式上)应用。
主页: http://www.cs.uni-potsdam.de/chap/
关键词: Potassco公司;答案集求解器;ASP公司
相关软件: 格林戈;克林戈;WASP公司;亚萨特;超小卫星;斯莫德尔斯;Potassco公司;iClingo公司;C模型;萨特齐拉;Clingcon公司;Lparse(L解析);DLV2型;DLV公司;GASP公司;玲玲;;迷你锌;国内流离失所者3;葡萄糖
引用于: 104文件
全部的 前5名

214位作者引用

21 托尔斯滕·绍布(Torsten H.Schaub)。
16 马丁·格布瑟
11 弗朗西斯科·里卡
10 汤米·詹胡宁
9 卡明·多达罗
8 本杰明·考夫曼
5 马里奥·阿尔维亚诺
5 乔瓦尼·阿蒙多拉
4 弗朗西斯科·卡利默里
4 马可·马拉提亚
4 恩里科·蓬泰利
4 斯文·蒂勒
巴特·博加特
乔里·博曼森
克里斯蒂安·德雷舍尔
迈克尔·芬克
霍尔格·H·胡斯。
罗兰·卡明斯基
尤利亚·利勒
马吕斯·林道尔
Joáo P.塞尔瓦侯爵。
马克斯·奥斯特罗斯基
西蒙娜·佩里
彼得·舒勒
安妮·西格尔
特鲁什琴斯基,米洛斯奥
Jessica Zangari
2 本杰明·安德烈斯
2 穆苏诺里·班巴拉
2 伯恩哈德·布利姆
2 贝尔纳多·卡特里
2 马克·达勒姆
2 帕特里克·多尔蒂
2 阿戈斯蒂诺·多维尔
2 皮埃尔·德拉普
2 埃斯拉·埃尔登
2 沃尔夫冈·费伯
2 贾尼契奇,普雷德拉格
2 尼古拉·利昂
2 凯文·莱顿·布朗
2 V.Wiktor马雷克
2 安托尼奥·莫尔加多
2 Niemelä,Ilkka N.F。
2 埃米利亚·奥伊卡里宁
2 奥德尔·帕皮尼
2 杰弗里·布赖恩·雷梅尔
2 克劳斯·施耐德
2 玛丽埃特·塞雷耶特
2 儿子Tran Cao
2 斯扎·阿斯(Szałas)、安德烈吉(Andrzej)
2 斯泽德,斯特凡
2 菲利普·韦伯
2 托比·沃尔什
2 菲利普·旺科
2 斯特凡·沃尔特兰
1 萨尔瓦多阿布雷乌
1 Michael Abseher先生
1 约塞普·阿格利奇
1 马塞洛·巴尔杜奇尼
1 奇塔·R·巴拉尔。
1 金加尔巴苏
1 贝恩德·贝克尔
1 贝莱德·本哈莫
1 阿诺普·巴贾纳什
1 曼纽尔·比什勒
1 伯恩德·比施尔
1 罗伯托·比西亚尼
1 亨德里克,Blockeel
1 格哈德·布鲁卡
1 莫里斯·布吕诺格
1 马可·卡洛蒂
1 格恩瑟·查瓦特
1 乔瓦尼·西亚托
1 纪尧姆·科莱特
1 维托尔·桑托斯·科斯塔
1 维罗妮卡·达尔
1 亚历山德罗·达尔·帕洛
1 德卡特,布罗斯
1 马丁·德·科克
1 斯特夫·德·普特
1 詹姆斯·德尔格兰德。
1 马克·德内克
1 丹尼尔·迪亚兹
1 弗雷德里科·杜斯伯格
1 史蒂夫·德沃夏克
1 朱拉杰·Dzifcak
1 费德里卡·埃德瓦蒂
1 托马斯·艾特
1 奥马尔·埃尔卡提卜
1 斯特凡·埃尔马瑟勒
1 达米安·埃维拉德
1 约翰·克劳斯·费希特
1 保罗·菲奥里尼
1 安德烈亚·福米萨诺
1 亚历山大·弗雷谢特
1 弗里克斯,克莱门斯
1 戴维·福斯卡
1 埃米利奥·冈巴
1 菲利普·加斯泰格
1 迈克尔·盖尔芬德
…还有114位作者

按年份列出的引文