编辑配置文件(在新选项卡中打开) 克里斯蒂娜·费尔 合著者距离 作者ID: 费耶·克里斯蒂娜 发布日期: 克里斯蒂娜·费尔 外部链接: 逆戟鲸 已编制索引的文档: 8出版物自2008年起 合著者: 13合著者具有8联合出版物 311合著作者 全部的 前5名合著者 0 单作者的 三 卡斯滕·卢茨 2 托马斯·艾特 2 斯迪恩·海曼斯 2 安蒂·库西斯托 1 大卫·卡拉尔 1 伯纳多·昆卡·格劳 1 乔斯·德·布鲁因 1 迈克尔·芬克 1 帕斯卡·希茨勒 1 伊恩·霍洛克斯 1 利维亚·普雷多尤 1 Przybyłko,马钦 1 Davy Van Nieuwenborgh 系列 2 逻辑程序设计理论与实践 2 计算机科学中的逻辑方法 领域 8 计算机科学(68至XX) 1 数理逻辑与基础(03-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用23中的次20文件 引用人▼ 年份▼ 一元析取数据日志、MMSNP和表达描述逻辑中的可重写性。受邀演讲。 Zbl 1402.68046号 克里斯蒂娜·费尔;安蒂·库西斯托;卡斯滕·卢茨 7 2017 \(\数学{EL}\)化本体。 Zbl 1423.68487号 大卫·卡拉尔;克里斯蒂娜·费尔;伯纳多·昆卡·格劳;帕斯卡·希茨勒;伊恩·霍洛克斯 6 2014 保护混合知识库。 Zbl 1139.68410号 斯迪恩·海曼斯;乔斯·德·布鲁因;利维亚·普雷多尤;克里斯蒂娜·费尔;戴维·范·尼文堡 三 2008 一元析取数据日志、MMSNP和表达描述逻辑中的可重写性。 Zbl 1421.68037号 克里斯蒂娜·费尔;安蒂·库西斯托;卡斯滕·卢茨 三 2019 使用完全丰富的自动机进行森林逻辑程序推理。 Zbl 1467.68172号 克里斯蒂娜·费尔;托马斯·艾特 2 2015 使用ACTHEX模拟生产规则。 Zbl 1357.68217号 托马斯·艾特;克里斯蒂娜·费尔;迈克尔·芬克 1 2012 使用森林逻辑程序和f混合知识库进行推理。 Zbl 1266.68082号 克里斯蒂娜·费尔;斯迪恩·海曼斯 1 2013 一元析取数据日志、MMSNP和表达描述逻辑中的可重写性。 兹比尔1421.68037 克里斯蒂娜·费尔;安蒂·库西斯托;卡斯滕·卢茨 三 2019 一元析取数据日志、MMSNP和表达描述逻辑中的可重写性。受邀演讲。 Zbl 1402.68046号 克里斯蒂娜·费尔;安蒂·库西斯托;卡斯滕·卢茨 7 2017 使用完全丰富自动机的森林逻辑程序进行推理。 Zbl 1467.68172号 克里斯蒂娜·费尔;托马斯·艾特 2 2015 \(mathcal{EL})化本体。 Zbl 1423.68487号 大卫·卡拉尔;克里斯蒂娜·费尔;伯纳多·昆卡·格劳;帕斯卡·希茨勒;伊恩·霍洛克斯 6 2014 使用森林逻辑程序和f混合知识库进行推理。 Zbl 1266.68082号 克里斯蒂娜·费尔;斯迪恩·海曼斯 1 2013 使用ACTHEX模拟生产规则。 Zbl 1357.68217号 托马斯·艾特;克里斯蒂娜·费尔;迈克尔·芬克 1 2012 保护混合知识库。 Zbl 1139.68410号 斯迪恩·海曼斯;乔斯·德·布鲁因;利维亚·普雷多尤;克里斯蒂娜·费尔;戴维·范·尼文堡 三 2008 所有引用的出版物 前5名被引用出版物 全部的 前5名39位作者引用 三 卡斯滕·卢茨 2 曼纽尔·博迪尔斯基 2 托马斯·艾特 2 克里斯蒂娜·费尔 2 阿拉什·卡里米 2 阿吉·库鲁茨 2 安蒂·库西斯托 2 安托万·莫特 2 你,嘉慧 2 迈克尔·维克托洛维奇(Michael Viktorovich) 2 张恒 1 本杰明·阿米诺夫 1 梅亨·宾文努 1 莫里斯·布吕诺格 1 大卫,艾米莉 1 马克·德内克 1 迈克尔·芬克 1 默多克·詹姆斯·加贝 1 奥尔加·杰拉西莫娃 1 乔瓦姆巴蒂斯塔·伊安尼 1 斯坦尼斯拉夫·基科特 1 罗伯特·A·科瓦尔斯基。 1 托马斯·克伦瓦尔纳 1 弗洛伦特·玛德琳。 1 阿尼埃洛·穆拉诺 1 马格达莱娜·奥尔蒂斯 1 杰夫·Z·潘。 1 弗拉基米尔·弗拉迪米罗维奇 1 费比安·雷特 1 任、袁 1 萨沙·鲁宾 1 弗拉迪斯拉夫·里日科夫 1 Leif Sabellek 1 法里巴·萨德里 1 尤里·萨瓦提夫 1 伊南·塞兰 1 Joost Vennekens 1 弗兰克·沃尔特 1 赵玉婷 全部的 前5名8篇连载文章中引用 4 计算机科学中的逻辑方法 三 人工智能 2 信息与计算 1 SIAM计算机杂志 1 新一代计算 1 人工智能研究杂志 1 数学与人工智能年鉴 1 逻辑程序设计理论与实践 在3个字段中引用 20 计算机科学(68至XX) 6 数理逻辑与基础(03-XX) 1 一般代数系统(08-XX) 按年份列出的引文