中国科学院科学院 swMATH ID: 42995 软件作者： 华金·阿里亚斯（Joaquin Arias）、曼努埃尔·卡罗（Manuel Carro）、埃尔默·萨拉查（Elmer Salazar）、凯尔·马普尔（Kyle Marple）、戈帕尔·古普塔（Gopal Gupta） 描述： s（CASP）：无接地约束答案集编程。使用约束扩展ASP（CASP）增强了其表达能力和性能。这种扩展并不简单，因为大多数ASP系统中存在的接地阶段会删除变量及其之间的链接，并且还会导致程序大小的组合爆炸。已经设计了几种解决此问题的方法：限制约束域（例如，离散而非密集），或可以返回的模型类型（或数量）。在本文中，我们建议将约束合并到s（ASP）中，这是一个目标导向的自顶向下的执行模型，它实现了ASP，同时保留了执行期间和答案集中的逻辑变量。结果模型（CASP）可以约束在执行期间和答案集中保留的变量，如CLP中的变量。s（CASP）继承和推广了s（ASP）的执行模型，是约束求解器的参数化。我们描述了这种新颖的执行模型，并通过几个示例展示了s（CASP）w.r.t.ASP、CLP和其他CASP系统的增强表达能力。我们还报告了在一些基准测试中，与其他非常成熟、高度优化的ASP系统相比，性能有所提高。 主页： https://arxiv.org/abs/1804.11162 源代码： https://gitlab.software.imdea.org/ciao-lang/sCASP 关键词： arXiv_cs.PL公司;逻辑;arXiv_cs.LO公司;约束答案集编程;CASP公司;ASP公司 相关软件： 克林戈;GASP公司;ezcsp公司;Clingcon公司;右折叠式++;QuickFOIL公司;nFOIL（非燃油）;阿勒夫;XGBoost公司;UCI-毫升;小队;StanfordCoreNLP公司;DLV-EX公司;扣环;iClingo公司;格林戈;4.5条;kFOIL公司;SkuARE公司;VerbNet（动词网络） 引用于： 12出版物 标准条款 1出版物描述软件 年份 无接地约束应答集编程华金·阿里亚斯（Joaquin Arias）、曼努埃尔·卡罗（Manuel Carro）、埃尔默·萨拉查（Elmer Salazar）、凯尔·马普尔（Kyle Marple）、戈帕尔·古普塔（Gopal Gupta） 2018 全部的 前5名30位作者引用 6 戈帕尔·古普塔。 三 华金·阿里亚斯 三 曼纽尔·卡罗 2 金加尔巴苏 2 法哈德·沙克林 2 萨拉特·钱德拉·瓦拉纳西 2 王华多 1 佩德罗·卡巴拉尔 1 弗朗西斯科·卡利默里 1 弗朗西斯科·考特鲁西奥 1 Chen，Qian Matteo先生 1 陈卓 1 卢卡·西内利 1 法国杜兰杜比夫 1 托马斯·艾特 1 豪尔赫·范丁诺 1 阿尔贝托·芬齐 1 托尼·曼奇尼 1 凯尔·马普尔 1 阿尔多·马尔祖洛 1 伊戈尔·梅拉蒂 1 穆尼兹，布雷斯 1 埃尔默·萨拉扎 1 多米尼克·萨佩·马里尼尔 1 泽尼普·戈岑·萨里巴特 1 彼得·舒勒 1 克洛迪奥，坚韧 1 乔治·特拉西纳 1 塞波·特尔马 1 恩里科·特隆西 3篇连载文章中引用 4 逻辑程序设计理论与实践 1 人工智能 1 计算机基础理论 在3个字段中引用 12 计算机科学（68至XX） 1 运筹学、数学规划（90-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文