Cplus2ASP Cplus2ASP是一个系统,用于将为CCalc编写的动作描述转换成应答集程序。目前的工作包括翻译CCalc动作描述、求解翻译后的ASP程序、生成与CCalc输出的模型类似的答案集的工具。如果您不熟悉CCalc,那么它是动作语言C+的一个实现(因果逻辑的扩展),对于使用相对直观的语法来描述和推理基于时间和状态的域非常有用。有关更多信息,请使用侧栏中的链接查看CCalc网站。我们的目标是将CCalc语言的用户友好性与现代答案集求解器的速度结合起来,以达到两者的最佳效果。 zbMATH参考文献(参考 显示结果1到3,共3个。 是的按年份排序(引用) 10 20 50 全部的 Bartholomew,Michael;Lee,Joohung:System\textscaspmt2smt:SMT solvers的计算ASPMT理论(2014) Babb,Joseph;Lee,Joohung:Cplus2ASP:答案集编程中的计算动作语言(\mathcalC+)(2013) Casolary,Michael;Lee,joohung:在答案集编程中代表因果计算器的语言(2011)