×

CCalc公司

swMATH ID: 9899
软件作者: 恩里科·金奇利亚(Enrico Giunchiglia);Lee,Joohyung;弗拉基米尔·利夫希茨;诺曼·麦凯恩;哈德森·特纳
描述: 因果计算器(CCalc)是一个用于表示有关行动和变化的常识知识的系统。它实现了Enrico Giunchiglia、Joohyung Lee、Vladimir Lifschitz、Norman McCain和Hudson Turner(《人工智能》,2004年第153卷,第49-104页)在论文“非单调因果理论”中描述的因果逻辑的一个片段。CCalc的原始版本是诺曼·麦凯恩的论文《关于行动的常识推理中的因果关系》(德克萨斯大学,1997年)的一部分。现在该系统由奥斯汀的德克萨斯行动小组维护。CCalc语言的语义与默认逻辑和逻辑编程有关。计算上,CCalc使用了可满足性规划的思想。(亚利桑那州立大学的一个相关系统Cplus2ASP使用答案集解算器而不是SAT解算器处理CCalc输入。)
主页: http://www.cs.utexas.edu/users/tag/ccalc/
相关软件: 斯莫德尔斯;考拉;高尔夫;PDDL公司;社会可视化者;NuSMV公司;Cplus2ASP;f2低压;亚萨特;Potassco公司;GDL公司;岛国;超小卫星;资产负债管理;人民;REBA公司;氟氯化钙;ProbLog(问题日志);o克林戈;METATEM公司
引用于: 77文件
全部的 前5名

109位作者引用

12 Lee,Joohyng先生
7 埃斯拉·埃尔登
7 马雷克·塞尔戈特。
6 迈克尔·泰尔舍尔
5 亚历山大·阿提基斯
5 托马斯·艾特
5 弗拉基米尔·利夫希茨
4 罗伯特·P·M·克雷文。
4 迈克尔·芬克
4 托尔斯滕·绍布(Torsten H.Schaub)。
4 杨芳凯
詹姆斯·德尔格兰德。
劳拉·佐丹奴
沃尔坎州帕托格鲁
詹森科
王毅
2 亚历山大·波奇曼
2 陈小平
2 亚尼斯·迪莫普洛斯
2 沃尔夫冈·费伯
2 马丁·格布瑟
2 迈克尔·盖尔芬德
2 恩里科·金西格里亚
2 丹妮拉Inclezan
2 安东尼斯·卡卡斯(Antonis C.Kakas)。
2 尤利亚·利勒
2 阿尔贝托·马泰利
2 米歇尔·洛伊索斯
2 乔治·巴利乌拉斯
2 杰里米·皮特
2 汉内斯·斯特拉斯
2 塞塞迪尔·杜普雷,丹尼尔
2 哈德森·特纳
1 法西·艾哈迈德
1 瓦罗尔·阿克曼
1 迈克尔·安德森。
1 法布里齐奥·安吉乌利
1 亚历山德罗·阿曼多
1 约瑟夫·巴伯
1 Hideyuki Bando
1 奇塔·R·巴拉尔。
1 迈克尔·巴塞洛缪
1 赛琳·巴索尔
1 比亚·埃克、乌卡斯
1 佩德罗·卡巴拉尔
1 迈克尔·卡索拉里
1 欧文·克利夫
1 贾纳斯·Czelakowski
1 朱塞佩·德贾科莫
1 佛罗伦萨·杜宾·德圣西尔
1 滨海德沃斯
1 马克·德内克
1 巴巴拉·杜宁·科普里茨
1 厄德姆,奥赞
1 塞利姆·T·埃尔多安。
1 豪尔赫·范丁诺
1 克里斯蒂娜·费尔
1 保罗·费拉里斯
1 Dov M.加巴伊。
1 瓦利德·戈马。
1 约翰·格兰特。
1 吉安路易吉·格雷科
1 塞巴斯蒂安·豪夫
1 安德烈亚斯·赫齐格
1 乔瓦姆巴蒂斯塔·伊安尼
1 井上,Katsumi
1 Ismail,Haythem O。
1 季建民
1 金国强
1 罗兰·卡明斯基
1 本杰明·考夫曼
1 杰里米·伦特
1 伊夫莱斯佩伦斯
1 林方珍
1 尼基尔·罗尼
1 帕特里克·吕内
1 埃文格洛斯·马克里斯
1 马可·马拉提亚
1 诺曼·麦凯恩
1 希拉·麦克拉伊思。
1 孟云松
1 罗布·米勒
1 莱奥拉·摩根斯坦
1 埃里克·穆勒。
1 希德托莫·纳贝希玛
1 蒂莫西·诺曼。
1 艾哈迈德·努曼
1 马克斯·奥斯特罗斯基
1 朱利安·帕吉特
1 路易吉·帕洛波利
1 法比奥·帕特里齐
1 唐·佩利斯
1 塞雷娜·伊丽莎·蓬塔
1 亨利·普拉德。
1 米哈伊尔·普罗科彭科
1 克里斯·里德
1 哈维尔·罗梅罗
1 斯蒂芬·希菲尔
1 卡米拉·B·施文。
1 阿纳斯塔西奥斯·斯卡拉提迪斯
…还有9位作者

按年份列出的引文