芦笋 swMATH ID: 8841 软件作者： 基督教愤怒；托尔斯滕·绍布；米罗斯瓦·特鲁兹琴斯基 描述： 基于Asparagus网络的基准测试环境：答案集编程（ASP）是20世纪90年代末出现的一种新的声明式编程范式，其根源在于非单调推理、演绎数据库和逻辑编程中的否定即失败。自诞生以来，ASP一直被视为非单调推理的计算体现，是有效的知识表示工具的主要候选。ASP高效求解器的出现促进了这一观点。 主页： http://asparagus.cs.uni-potsdam.de 相关软件： 亚萨特；TPTP公司；运行求解器；StarExec公司；RunLim公司；VCWC公司；扣环；加里瓦斯；ProbLog（问题日志）；C模型；诺莫尔++；NoMoRe公司；LAIMA公司；干杯；德纳利；Lparse（L解析）；斯莫德尔斯 引用于： 3文件 全部的 前5名12位作者引用 2 托尔斯滕·绍布（Torsten H.Schaub）。 1 本杰明·安德烈斯 1 愤怒，克里斯蒂安 1 布莱恩，马丁 1 克里克，汤姆 1 玛丽娜·德沃斯 1 约翰·惠誉 1 马丁·格布瑟 1 本杰明·考夫曼 1 托马斯·林奇 1 奥利弗·马塞斯 1 安德烈·诺依曼 0连载引用 在1个字段中引用 三 计算机科学（68至XX） 按年份列出的引文