ASPMT2SMT公司 swMATH ID: 13280 软件作者： 迈克尔·巴塞洛缪；Lee，Joohyng先生 描述： 系统ASPMT2SMT：通过SMT求解器计算ASPMT理论。答案集编程模理论（ASPMT）是一种基于函数稳定模型语义将答案集编程与可满足性模理论相结合的方法。结果表明，ASPMT程序的紧密片段可以转化为SMT实例，从而允许SMT求解器计算ASPMT程序稳定的模型。在本文中，我们提出了一个名为aspsmt2smt的编译器，它实现了这种转换。该系统使用ASP grounder gringo和SMT solver z3。gringo部分地将输入程序接地，同时将一些变量留给z3处理。我们证明，该系统可以有效地处理实数计算，以推理连续变化。 主页： http://reasoning.eas.asu.edu/aspmt/ 相关软件： Clingcon公司;DLV2型;ezcsp公司;克林戈;WASP公司;扣环;z3（零3）;Potassco公司;糠;超小卫星;数据日志;GASP公司;格林戈;CCalc公司;d真实;PDDL公司;QEPCAD公司;f2低压;Cplus2ASP 引用于： 5出版物 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 系统aspmt2米：通过SMT求解器计算ASPMT理论。 Zbl 1432.68055号迈克尔·巴塞洛缪;Lee，Joohyng先生 2014 全部的 前5名9位作者引用 2 迈克尔·巴塞洛缪 2 卡明·多达罗 2 Lee，Joohyng先生 2 弗朗西斯科·里卡 1 梅胡尔·巴特 1 贝尔纳多·卡特里 1 彼得·舒勒 1 卡尔·R·舒尔茨。 1 Wałga，Przemys aw Andrzej 2篇连载文章中引用 三 逻辑程序设计理论与实践 1 人工智能 在1个字段中引用 5 计算机科学（68至XX） 按年份列出的引文