f2lp公司

系统f2lp–计算一阶公式的答案集。我们提出了一个实现的通用语言的稳定模型提出了法拉利，李和利夫希茨。在一定条件下，系统f2lp将稳定模型语义下的一阶理论转化为一个答案集程序，使得现有的答案集求解器可以用来计算通用语言。首先消除量词，然后将生成的无量词公式转化为规则。基于稳定模型与边界的关系，f2lp还可以作为一般约束理论的推理机。我们举例说明如何使用f2lp来计算限定事件演算。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考

显示第1到第10个结果，共10个。
按年份排序(引用)

  1. Nickles，Matthias:稳定模型语义下基于逻辑编程和一阶理论的概率推理工具（2016）
  2. Alviano，Mario；Leon，Nicola:答案集编程中GZ聚合的复杂性和编译（2015）
  3. Bartholomew，Michael；Lee，Joohung:System\textscaspmt2smt:SMT solvers的计算ASPMT理论（2014）
  4. Babb，Joseph；Lee，Joohung:Cplus2ASP：答案集编程中的计算动作语言（\mathcalC+）（2013）
  5. Ferraris，Paolo；Lee，Joohung；Lierer，Yuliya；Lifschitz，Vladimir；Yang，Fangkai:用逻辑程序表示一阶因果理论（2012）
  6. Lee，Joohung:在答案集编程中重新制定动作语言（\mathcalC+）（2012）
  7. Pearce，D.；Valverde，A.：答案集编程中的同义理论和知识表示（2012）
  8. 卡巴拉，佩德罗；桑托斯，保罗E.：形式化渔民的愚蠢之谜（2011）
  9. Casolary，Michael；Lee，joohung：在答案集编程中代表因果计算器的语言（2011）
  10. Lee，Joohung；Palla，Ravi:系统f2lp——计算一阶公式的答案集（2009）ioport公司