故障电流互感器++ swMATH ID: 9836 软件作者: 德米特里·察尔科夫;伊恩·霍洛克斯 描述: FaCT++是著名的FaCT OWL-DL推理器的新一代。FaCT++使用已建立的FaCT算法,但具有不同的内部架构。此外,FaCT++是使用C++实现的,以创建更高效的软件工具,并最大限度地提高可移植性。还引入了新的优化功能,并添加了一些新功能。 主页: http://owl.man.ac.uk/factplusplus网址/ 相关软件: 弹丸;赛车手;HermiT公司;KL-ONE公司;SPARQL公司;康clude;旋转(swrl);斯巴达克斯;CEL公司;ELK公司;RacerPro赛车;InKreSAT公司;蛋白质;耶拿;HTab公司;LUBM公司;BDD标签;github;E定理证明器;TPTP公司 引用于: 66文件 全部的 前5名133位作者引用 10 伊恩·霍洛克斯 5 格利姆,伯尔特 5 鲍里斯·莫提克 5 乌尔里克·萨特勒 4 弗兰兹·巴德 4 伯纳多·昆卡·格劳 4 叶夫根尼·哈萨克夫 三 迭戈·卡尔瓦内斯 三 克莱尔·狄克逊 三 乌尔里希·赫斯塔特 三 姜云成 三 克劳迪娅·纳隆 三 王菊 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 恩里科Giunchilia 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 亚当·迈斯纳 1 拉尔夫·莫利托 1 马可·蒙塔利 1 罗伯特·S·R·迈尔斯。 1 玛丽安娜·尼科洛西·阿斯蒙多 1 纳德斯赫达·尼基蒂娜 1 伊泽基尔·奥贝 1 马格达莱娜·奥尔蒂斯 1 彼得·施奈德(Peter F.Patel-Schneider)。 1 劳伦斯·查尔斯·保尔森 1 弗朗西斯科·里卡 1 法布里西奥·里古齐 1 帕特里克·罗德勒 1 塞巴斯蒂安·鲁道夫 1 丹尼尔·弗朗西斯科·桑塔马利亚 1 乌利·萨特勒 1 罗马辛德劳 1 斯特凡·施洛巴赫 1 雷娜特·施密特(Renate A.Schmidt)。 …还有33位作者 全部的 前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个字段中引用 65 计算机科学(68-XX) 16 数学逻辑和基础(03-XX) 2 生物学和其他自然科学(92-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文