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种出版物 全部的 前5名13位作者引用 5 李，卓容 1 阿尔维亚诺，马里奥 1 爸爸，约瑟夫 1 巴塞洛缪，迈克尔 1 卡巴拉，佩德罗 1 卡索利，迈克尔 1 法拉利，保罗 1 利昂，尼古拉 1 利勒，尤利娅 1 利夫希茨，弗拉基米尔 1 尼克尔斯，马提亚斯 1 桑托斯，保罗·爱德华多 1 杨芳凯 在3个系列中引用 2 逻辑程序设计理论与实践 1 人工智能 1 计算机与系统科学杂志 在2个字段中引用 9 计算机科学（68-XX） 三 数理逻辑与基础（03-XX） 按年份引用出版物