×

f2低压

swMATH ID: 9898
软件作者: Lee,J.、Palla,R。
描述: f2lp系统–计算一阶公式的答案集。我们介绍了Ferraris、Lee和Lifschitz提出的稳定模型的通用语言的实现。在一定条件下,系统f2lp将稳定模型语义下的一阶理论转化为答案集程序,使现有的答案集求解器可以用于计算通用语言。首先消除量词,然后将生成的无量词公式转换为规则。基于稳定模型和范围之间的关系,f2lp也可以作为一般范围理论的推理引擎。我们举例说明如何使用f2lp计算外切事件演算。
主页: http://link.springer.com/chapter/10.1007%2F978-3-642-04238-6_51
相关软件: CCalc公司;Cplus2ASP;考拉;WASP公司;棱镜;预ASP;ProbLog(问题日志);ASPMT2SMT公司;z3(零3);o克林戈
引用于: 9出版物

按年份列出的引文