扣环 swMATH ID: 7095 软件作者: 马丁·格布瑟(Martin Gebser)、本杰明·考夫曼(Benjamin Kaufmann)、安德烈·诺伊曼(AndréNeumann)、托尔斯滕·绍布(Torsten Schaub) 描述: 扣:冲突驱动的答案集求解器。clasp是SourceForge托管的Potassco项目的一部分。源代码和预编译的二进制文件可在Potassco-download页面上获得。clip是一个用于(扩展的)常规逻辑程序的答案集求解器。它将答案集编程(ASP)的高级建模能力与布尔约束求解领域的最新技术相结合。主扣算法依赖于冲突驱动的nogood学习,该技术被证明在可满足性检查(SAT)中非常成功。与其他学习ASP解算器不同,clip不依赖于传统软件,例如SAT解算程序或任何其他现有的ASP求解器。相反,卡环是基于冲突驱动的非好的学习为解决答案集而真正开发的。扣可以用作ASP解算器(在SMODELS格式上,作为Gringo的输出)、SAT解算程序(在DIMACS/CNF格式的简化版本上)或PB解算仪(在OPB格式上)。 主页: http://www.cs.uni-potsdam.de/chap/ 关键词: Potassco公司;答案集求解器;ASP公司 相关软件: 格林戈;克林戈;WASP公司;亚萨特;超小卫星;烟雾;Potassco公司;iClingo公司;C模型;萨特齐拉;Clingcon公司;Lparse(Lparse);DLV2型;DLV公司;GASP公司;玲玲;糠;迷你锌;国内流离失所者3;葡萄糖 引用于: 104文件 全部的 前5名214位作者引用 21 Schaub,Torsten H。 16 马丁·格布瑟 11 弗朗西斯科·里卡 10 汤米·詹胡宁 9 卡明·多达罗 8 本杰明·考夫曼 5 马里奥·阿尔维亚诺 5 乔瓦尼·阿蒙多拉 4 弗朗西斯科·卡利默里 4 马可·马拉提亚 4 恩里科·蓬泰利 4 Thiele,斯文 三 巴特·博加特 三 乔里·博曼森 三 克里斯蒂安·德雷舍尔 三 迈克尔·芬克 三 霍尔格·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 斯扎·阿斯、安德烈吉 2 斯泽德,斯特凡 2 菲利普·韦伯 2 沃尔什,托比 2 菲利普·万科 2 斯特凡·沃尔特兰 1 萨尔瓦多阿布雷乌 1 缺席者,迈克尔 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位作者 全部的 前5名15篇连载文章中引用 32 逻辑程序设计理论与实践 10 人工智能 6 计算机基础理论 4 约束条件 三 国际近似推理杂志 三 AI通信 三 数学与人工智能年鉴 2 机器学习 2 ACM计算逻辑事务 2 计算机科学中的逻辑方法 1 理论计算机科学 1 自动推理杂志 1 运筹学年鉴 1 逻辑与计算杂志 1 美国计算机学会期刊 全部的 前5名10个领域引用 101 计算机科学(68至XX) 7 生物学和其他自然科学(92-XX) 5 运筹学、数学规划(90-XX) 三 数学逻辑和基础(03-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 信息与通信理论、电路(94-XX) 1 历史和传记(01-XX) 1 组合数学(05-XX) 1 有序,格,有序代数结构(06-XX) 1 统计学(62-XX) 按年份列出的引文