×

f2lp公司

swMATH标识: 9898
软件作者: 李,J.,帕拉,R。
说明: 系统f2lp–计算一阶公式的答案集。我们提出了一个实现的通用语言的稳定模型提出了法拉利,李和利夫希茨。在一定条件下,系统f2lp将稳定模型语义下的一阶理论转化为一个答案集程序,使得现有的答案集求解器可以用来计算通用语言。首先消除量词,然后将生成的无量词公式转化为规则。基于稳定模型与边界的关系,f2lp还可以作为一般约束理论的推理机。我们举例说明如何使用f2lp来计算限定事件演算。
主页: http://link.springer.com/chapter/10.1007%2F978-3-642-04238-6_51
相关软件: CCalc公司;Cplus2ASP;;黄蜂;棱镜;普拉斯;ProbLog公司;ASPMT2SMT公司;z3型;奥克林戈
参考文献: 9种出版物

按年份引用出版物