卡卡尔

因果计算器(CCALC)是一种用于表示对动作和变化的常识的系统。它实现了由Enrico Giunchiglia、Joohyung Lee、Vladimir Lifschitz、Norman McCain和Hudson Turner(人工智能,第153, 2004卷,第49-104页)所描述的“非单调因果理论”中的因果逻辑片段。CCALC的原始版本是Norman McCain博士论文的一部分,对常识推理行为的因果关系(德克萨斯大学,1997)。现在德克萨斯奥斯丁行动小组正在维持该系统。CCALC语言的语义与默认逻辑和逻辑编程有关。计算上,CCALC使用可满足性规划的思想。(相关系统,CPLUS 2ASP从亚利桑那州国家大学,处理CCALC输入使用答案集求解器,而不是SAT求解器。)


ZBMaX中的参考文献(74篇)1标准条款

显示结果1至20的74。
按年份排序(引文
  1. 巴塞洛缪,米迦勒;李,Joohyung:具有内涵函数的一阶稳定模型语义(2019)
  2. Biang-Ek,Ukasz;Dunin K-PrICZ,巴巴拉;SZA·AS,塔尔科夫斯基:信息复杂环境中的行为协调性方法(2019)
  3. 李,Joohyung;王,Yi:动作语言的概率扩展(\MathCalbC+)(2018)
  4. 李、Joohyung、洛尼、Nikhil、孟、云松:用动作语言模论表示混合自动机(2017)
  5. Yalciner,Ibrahim Faruk;NoMman,艾哈迈德;Patoglu,沃尔坎;Erdem,ESRA:使用答案集编程的混合条件规划(2017)
  6. De Giacomo,朱塞佩;莱斯普朗斯,Yves;Patrizi,法比奥:有界情境演算行动理论(2016)
  7. Fandinno,豪尔赫:从非单调因果关系导出结论(2016)
  8. 达妮埃拉,盖尔方德,米迦勒:模块化动作语言(MathCalalm)(2016)
  9. 兰特,杰瑞米;托马森,里士满H.:条件句的动作模型(2015)
  10. Skarlatidis,阿纳斯塔西奥斯;Paliouras,Georgios;阿蒂基斯,亚力山大;Vours,George A.:事件识别的概率事件演算(2015)
  11. 冀,Jianmin;陈,小平:获取和利用开放知识的加权因果理论(2014)
  12. Babb,约瑟夫;李,Joohyung:CPLS2ASP:答案集编程中的计算动作语言(MathCalc+)(2013)
  13. 盖尔方德,米迦勒;因克里赞,达妮埃拉:(MathCalalud)系统描述的一些性质(2013)
  14. 佐丹奴、劳拉、马特利、阿尔伯托、杜普雷、Daniele:用时态回答集推理动作(2013)
  15. Lifschitz,弗拉迪米尔;杨,Fangkai:功能完成(2013)
  16. Strues,汉尼斯;Thielscher,米迦勒:一个带循环分支问题的一般一阶解(2013)
  17. 阿曼多,Alessandro;Giunchiglia,恩里科;马拉泰阿,马珂;Ponta,Serena Elisa:一种基于动作的授权约束下的业务流程的形式化规范和自动分析方法(2012)
  18. Artikis,亚力山大:开放代理系统的动态规范(2012)
  19. Bochman,亚力山大;Gabbay,Dov M.:因果动态推理(2012)
  20. Cabalar,佩德罗:因果逻辑程序设计(2012)