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公司;FluCaP公司;ProbLog(问题日志);o克林戈;METATEM公司 引用于: 77文件 标准文章 1出版物描述软件,包括1出版物以zbMATH为单位 年份 非单调因果理论。 Zbl 1085.68161号恩里科·金西格里亚;Lee,Joohyng先生;弗拉基米尔·利夫希茨;诺曼·麦凯恩;特纳,哈德逊 2004 全部的 前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 达尼埃拉·因利赞 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 Białek,Łukasz 1 佩德罗·卡巴拉尔 1 迈克尔·卡索拉里 1 欧文·克利夫 1 贾纳斯·Czelakowski 1 朱塞佩·德贾科莫 1 佛罗伦萨·杜宾·德圣西尔 1 玛丽娜·德沃斯 1 马克·德内克 1 巴巴拉·杜宁·科普里茨 1 欧尚·埃尔登 1 塞利姆·T·埃尔多安。 1 豪尔赫·范丁诺 1 克里斯蒂娜·费尔 1 保罗·费拉里斯 1 Dov M.加巴伊。 1 瓦利德·E·戈马。 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 卡米拉·施温德。 1 阿纳斯塔西奥斯·斯卡拉提迪斯 …还有9位作者 全部的 前5名13篇连载文章中引用 20 人工智能 11 逻辑程序设计理论与实践 7 数学与人工智能年鉴 三 应用逻辑杂志 2 国际近似推理杂志 2 逻辑与计算杂志 2 逻辑、语言与信息杂志 2 应用非经典逻辑杂志 2 ACM计算逻辑事务 1 计算机与系统科学杂志 1 哲学逻辑杂志 1 Studia Logica公司 1 计算机基础理论 全部的 前5名在6个字段中引用 73 计算机科学(68至XX) 19 数学逻辑和基础(03-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 运筹学、数学规划(90-XX) 1 历史和传记(01-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文