故障电流互感器++ swMATH ID: 9836 软件作者： 德米特里·察尔科夫；伊恩·霍洛克斯 描述： FaCT++是著名的FaCT OWL-DL推理器的新一代。FaCT++使用已建立的FaCT算法，但具有不同的内部架构。此外，FaCT++是使用C++实现的，以创建更高效的软件工具，并最大限度地提高可移植性。还引入了新的优化功能，并添加了一些新功能。 主页： http://owl.man.ac.uk/factplusplus网址/ 相关软件： 弹丸;赛车手;HermiT公司;KL-ONE公司;斯巴达克斯;SPARQL公司;Konclude公司;旋转（swrl）;CEL公司;ELK公司;RacerPro赛车;InKreSAT公司;Protege公司;耶拿;CoLoSS公司;HTab公司;LUBM公司;BDD标签;github;E定理证明器 引用于： 68文件 全部的 前5名138位作者引用 10 伊恩·霍洛克斯 5 格利姆，伯尔特 5 鲍里斯·莫提克 5 乌尔里克·萨特勒 4 Franz巴德 4 伯纳多·昆卡·格劳 4 克莱尔·迪克森 4 乌尔里希·赫斯塔特 4 叶夫根尼·哈萨克夫 4 Cláudia Nalon 三 迭戈·卡尔瓦内斯 三 姜云成 三 德克·帕丁森 三 王菊 2 博雷戈·迪亚斯（Borrego-Díaz，Joaquín） 2 拉杰夫·普拉巴卡尔·戈尔 2 沃尔克·哈尔斯列夫 2 马克·卡明斯基 2 卡斯滕·卢茨 2 Martín-Mateos，Francisco-Jesüs 2 尼古拉斯·马滕佐格鲁 2 比扬·帕西娅 2 何塞·路易斯·鲁伊斯·雷纳 2 卢茨·施罗德 2 罗伯托·塞巴斯蒂安 2 巴尔·塞尔特卡亚 2 弗朗蒂舍克·西蒙切克 2 安德烈亚斯·斯特格米勒 2 唐素琴 1 阿方索、恩里克·马托斯 1 阿隆索-吉梅内斯，何塞·安东尼奥 1 阿隆索、何塞·安东尼奥 1 卡洛斯·阿雷塞斯 1 埃琳娜·贝洛迪 1 达尼埃拉·贝拉迪 1 尼古拉·S·比约纳。 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 Hidalgo-Doblado，M.J。 1 玛丽亚·何塞·伊达尔戈 1 肖恩·霍尔顿。 1 悍马、梅林 1 穆罕默德·科达达迪 1 席蒙·克拉曼 1 马蒂亚斯·克诺尔 1 鲍里斯·科涅夫 1 丹尼尔·科宁 1 马库斯·科洛奇 1 希勒尔·库格勒 1 拉尔夫·库斯特斯 1 伊芙琳娜·拉姆 1 菲利波·拉努比莱 1 尼古拉·利昂 1 托尔斯滕·利比格 1 托马斯·卢卡西维奇 1 法布里奇奥·玛丽亚·马吉 1 Chaitanya曼格拉 1 亚当·迈斯纳 1 拉尔夫·莫利托 1 马尔科·蒙塔利 1 罗伯特·S·R·迈尔斯。 1 玛丽安娜·尼科洛西·阿斯蒙多 1 纳德斯赫达·尼基蒂娜 1 伊泽基尔·奥贝 1 马格达莱娜·奥尔蒂斯 1 法比奥·帕帕奇尼 1 彼得·施奈德（Peter F.Patel-Schneider）。 1 劳伦斯·查尔斯·保尔森 1 西蒙·普鲁克 1 弗朗西斯科·里卡 1 法布里西奥·里古齐 1 帕特里克·罗德勒 …还有38位作者 全部的 前5名18篇连载文章中引用 13 自动推理杂志 8 人工智能 2 Studia Logica公司 2 逻辑与计算杂志 2 人工智能研究杂志 2 逻辑程序设计理论与实践 1 模糊集与系统 1 信息科学 1 理论计算机科学 1 新一代计算 1 国际近似推理杂志 1 应用非经典逻辑杂志 1 国际应用数学与计算机科学杂志 1 计算机基础理论 1 应用逻辑杂志 1 数学生物科学与工程 1 中国科学。F系列 1 理论计算机科学文本。EATCS系列 在4个字段中引用 67 计算机科学（68至XX） 18 数学逻辑和基础（03-XX） 2 生物学和其他自然科学（92-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文