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