×

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个字段中引用

5 计算机科学(68至XX)

按年份列出的引文