×

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/
相关软件: 克林戈;z3(零3);Clingcon公司;DLV2型;WASP公司;ezcsp公司;扣环;中国科学院科学院;超小卫星;Potassco公司;;数据日志;GASP公司;格林戈;CCalc公司;d真实;PDDL公司;QEPCAD公司;f2低压;Cplus2ASP
引用于: 6文件

在1个字段中引用

6 计算机科学(68至XX)

按年份列出的引文