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;考拉;NeurASP公司;亚萨特;WASP公司;棱镜;预ASP;ProbLog（问题日志）;ASPMT2SMT公司;z3（零3）;o克林戈 引用于： 10文件 全部的 前5名15位作者引用 6 Lee，Joohyng先生 1 马里奥·阿尔维亚诺 1 约瑟夫·巴伯 1 迈克尔·巴塞洛缪 1 佩德罗·卡巴拉尔 1 迈克尔·卡索拉里 1 保罗·费拉里斯 1 尼古拉·利昂 1 尤利亚·利勒 1 弗拉基米尔·利夫希茨 1 马蒂亚斯·尼克尔斯 1 保罗·爱德华多·桑托斯 1 阿古斯汀·瓦尔弗德 1 杨芳凯 1 Yang、Zhun 3篇连载文章中引用 2 逻辑程序设计理论与实践 1 人工智能 1 计算机与系统科学杂志 在2个字段中引用 10 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 按年份列出的引文