f2lp公司

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