编辑配置文件（在新选项卡中打开） 克里斯蒂娜·费尔 合著者距离 作者ID： 克里斯蒂纳飞禽 发布日期： 克里斯蒂娜·费尔 外部链接： ORCID公司 已编制索引的文档： 10出版物自2008年起 合著者： 13合著者具有8联合出版物 313联合作者 全部的 前5名合著者 2 单作者的 三 卡斯滕·卢茨 2 托马斯·艾特 2 斯迪恩·海曼斯 2 安蒂·库西斯托 1 大卫·卡拉尔 1 伯纳多·昆卡·格劳 1 乔斯·德·布鲁因 1 迈克尔·芬克 1 帕斯卡·希茨勒 1 伊恩·霍洛克斯 1 利维亚·普雷多尤 1 Przybyłko，马钦 1 Davy Van Nieuwenborgh 系列 2 逻辑程序设计理论与实践 2 计算机科学中的逻辑方法 领域 10 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用23中的次20文件 引用人▼ 年份▼ 一元析取数据日志、MMSNP和表达描述逻辑中的可重写性。受邀演讲。 兹比尔1402.68046 克里斯蒂娜·费尔;安蒂·库西斯托;卡斯滕·卢茨 7 2017 \（mathcal{EL}）化本体。 Zbl 1423.68487号 大卫·卡拉尔;克里斯蒂娜·费尔;伯纳多·昆卡·格劳;帕斯卡·希茨勒;伊恩·霍洛克斯 6 2014 一元析取数据日志、MMSNP和表达描述逻辑中的可重写性。 Zbl 1421.68037号 克里斯蒂娜·费尔;安蒂·库西斯托;卡斯滕·卢茨 三 2019 保护混合知识库。 兹比尔1139.68410 斯迪恩·海曼斯;乔斯·德·布鲁因;利维亚·普雷多尤;克里斯蒂娜·费尔;戴维·范·尼文堡 三 2008 使用完全丰富的自动机进行森林逻辑程序推理。 Zbl 1467.68172号 克里斯蒂娜·费尔;托马斯·艾特 2 2015 使用ACTHEX模拟生产规则。 Zbl 1357.68217号 托马斯·艾特;克里斯蒂娜·费尔;迈克尔·芬克 1 2012 使用森林逻辑程序和f混合知识库进行推理。 Zbl 1266.68082号 克里斯蒂娜·费尔;斯迪恩·海曼斯 1 2013 一元析取数据日志、MMSNP和表达描述逻辑中的可重写性。 Zbl 1421.68037号 克里斯蒂娜·费尔;安蒂·库西斯托;卡斯滕·卢茨 三 2019 一元析取数据日志、MMSNP和表达描述逻辑中的可重写性。受邀演讲。 Zbl 1402.68046号 克里斯蒂娜·费尔;安蒂·库西斯托;卡斯滕·卢茨 7 2017 使用完全丰富的自动机进行森林逻辑程序推理。 Zbl 1467.68172号 克里斯蒂娜·费尔;托马斯·艾特 2 2015 \（mathcal{EL}）化本体。 Zbl 1423.68487号 大卫·卡拉尔;克里斯蒂娜·费尔;Cuenca Grau，贝尔纳多;帕斯卡·希茨勒;伊恩·霍洛克斯 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 罗伯特·科瓦尔斯基。 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） 2 一般代数系统（08-XX） 按年份列出的引文