Cplus2ASP swMATH ID: 9897 软件作者： 约瑟夫·巴伯（Joseph Babb）；Lee，Joohyng先生 描述： Cplus2ASP是一个设计用于将为CCalc编写的动作描述模块化转换为答案集程序的系统。当前的工作包括一套工具，用于翻译CCalc操作描述、求解翻译的ASP程序并生成与CCalc输出的模型类似的答案集。如果您不熟悉CCalc，它是动作语言C++（因果逻辑的扩展）的一个实现，对于使用相对直观的语法描述和推理基于时间和状态的域非常有用。有关更多信息，请使用侧栏中的链接查看CCalc网站。我们的目标是将CCalc语言的用户友好性与现代答案集求解器的速度相结合，以获取两者的最佳效果。 主页： http://reasoning.eas.asu.edu/cplus2asp/ 相关软件： f2低压;CCalc公司;考拉;ASPMT2SMT公司;z3（零3）;o克林戈 引用于： 3出版物 4位作者引用 三 Lee，Joohyng先生 1 约瑟夫·巴伯 1 迈克尔·巴塞洛缪 1 迈克尔·卡索拉里 0连载引用 在2个字段中引用 三 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文