中国科学院科学院 swMATH编号： 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。损益;逻辑;arXiv_cs。润滑油;约束答案集编程;CASP公司;ASP公司 相关软件： 克林戈;ezcsp公司;github;格林戈;扣环;小队;水;StanfordCoreNLP公司;xclingo公司;GASP公司;黄蜂;XSB公司;SkuARE公司;VerbNet（动词网络）;z3（零3）;DLV-EX公司;Clingcon公司;右折叠式++;kFOIL公司;QuickFOIL公司 引用于： 18文件 标准文章 1出版物描述软件 年份 无接地约束应答集编程arXiv公司华金·阿里亚斯（Joaquin Arias）、曼努埃尔·卡罗（Manuel Carro）、埃尔默·萨拉查（Elmer Salazar）、凯尔·马普尔（Kyle Marple）、戈帕尔·古普塔（Gopal Gupta） 2018 全部的 前5名47位作者引用 9 戈帕尔·古普塔 4 华金·阿里亚斯 4 曼纽尔·卡罗 3 金加尔巴苏 3 法哈德·沙克林 2 陈卓 2 埃尔默·萨拉扎 2 瓦拉纳西，萨拉特·钱德拉 2 王华多 1 萨尔瓦多阿布雷乌 1 马塞洛·巴尔杜奇尼 1 佩德罗·卡巴拉 1 弗朗西斯科·卡利默里 1 弗朗西斯科·考特鲁西奥 1 Chen，Qian Matteo先生 1 乔瓦尼·西亚托 1 卢卡·西内利 1 维托尔·桑托斯·科斯塔 1 达尔，维罗妮卡 1 丹尼尔·迪亚兹 1 德雷克·德拉海姆 1 法国杜兰杜比夫 1 托马斯·艾特 1 豪尔赫·范丁诺 1 阿尔贝托·芬齐 1 曼努埃尔五世（Manuel V.Hermenegildo）。 1 普里特·Järv 1 菲利普·科纳 1 Michael Leuschel先生 1 托尼·曼奇尼 1 凯尔·马普尔 1 阿尔多·马尔祖洛 1 伊戈尔·梅拉蒂 1 何塞·弗朗西斯科·莫拉莱斯 1 穆尼兹，布雷斯 1 德鲁瓦省彭达尔卡 1 多米尼克·萨佩·马里尼尔 1 泽尼普·戈岑·萨里巴特 1 彼得·舒勒 1 克洛迪奥，坚韧 1 塔内尔·塔米特 1 乔治·特拉西纳 1 塞波·特尔马 1 Tran Cao Son公司 1 特里厄·里·里·里 1 恩里科·特隆西 1 Wielemaker，简 3篇连载文章中引用 7 逻辑程序设计理论与实践 1 人工智能 1 计算机基础理论 在3个字段中引用 18 计算机科学（68至XX） 1 运筹学、数学规划（90-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文