编辑配置文件(在新选项卡中打开) 奥利弗·费尔南德斯·吉尔 合著者距离 作者ID: 费尔南德斯·吉尔·奥利弗 发布日期: 奥利弗·费尔南德斯·吉尔;奥利弗·费尔南德斯·吉尔 已编制索引的文档: 10出版物自2013年起 合著者: 8位合著者具有10联合出版物 154位合作作者 全部的 前5名合著者 0 单作者的 7 弗兰兹·巴德 三 克劳迪娅·卡拉佩尔 三 冯世光 三 卡琳·夸斯 2 巴夫洛斯·马兰蒂迪斯 1 格哈德·布鲁卡 1 巴巴拉·莫拉夫斯卡 1 玛丽亚姆·罗斯塔米吉夫 系列 1 人工智能 1 ACM计算逻辑事务 字段 10 计算机科学(68-XX) 三 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 8出版物有被引用15中的次9文件 引用人▼ 年份▼ 将阈值概念添加到描述逻辑中。 Zbl 1471.68265号 弗兰兹·巴德;格哈德·布鲁卡;奥利弗·费尔南德斯·吉尔 6 2015 使用非循环TBoxe扩展描述逻辑(\tau\mathcal{EL}(\deg))。 Zbl 1403.68251号 弗兰兹·巴德;奥利弗·费尔南德斯·吉尔 2 2016 描述逻辑中的匹配{FL}_0\)关于通用TBox。 Zbl 1415.68216号 弗兰兹·巴德;奥利弗·费尔南德斯·吉尔;巴夫洛斯·马兰蒂迪斯 2 2018 关于TPTL和MTL在(omega)数据词上的表达能力。 Zbl 1464.68159号 克劳迪娅·卡拉佩尔;冯世光;奥利弗·费尔南德斯·吉尔;卡琳·夸斯 1 2014 DL\(\mathcal中的受限统一{FL}_0\). Zbl 07497917号 弗兰兹·巴德;奥利弗·费尔南德斯·吉尔;玛丽亚姆·罗斯塔米吉夫 1 2021 描述逻辑中的近似:加权树自动机如何帮助定义\(\mathcal)中所需的概念比较度量{FL}_0\). Zbl 1485.68245号 弗兰兹·巴德;奥利弗·费尔南德斯·吉尔;巴夫洛斯·马兰蒂迪斯 1 2017 描述逻辑中的混合统一\(\mathcal{EL}\)。 Zbl 1398.68499号 弗兰兹·巴德;奥利弗·费尔南德斯·吉尔;巴巴拉·莫拉夫斯卡 1 2013 非单调数据字上MTL和TPTL的可满足性。 Zbl 1407.68284号 克劳迪娅·卡拉佩尔;冯世光;奥利弗·费尔南德斯·吉尔;卡琳·夸斯 1 2014 DL\(\mathcal中的受限统一{FL}_0\). Zbl 07497917号 弗兰兹·巴德;奥利弗·费尔南德斯吉尔;马里亚姆·罗斯塔米吉夫 1 2021 描述逻辑中的匹配\(\mathcal{FL}_0\)关于通用TBox。 Zbl 1415.68216号 弗兰兹·巴德;奥利弗·费尔南德斯·吉尔;巴夫洛斯·马兰蒂迪斯 2 2018 描述逻辑中的近似:加权树自动机如何帮助定义\(\mathcal)中所需的概念比较度量{FL}_0\). Zbl 1485.68245号 弗兰兹·巴德;奥利弗·费尔南德斯·吉尔;巴夫洛斯·马兰蒂迪斯 1 2017 使用非循环TBoxe扩展描述逻辑(\tau\mathcal{EL}(\deg))。 Zbl 1403.68251号 弗兰兹·巴德;奥利弗·费尔南德斯·吉尔 2 2016 将阈值概念添加到描述逻辑中。 Zbl 1471.68265号 弗兰兹·巴德;格哈德·布鲁卡;奥利弗·费尔南德斯·吉尔 6 2015 关于TPTL和MTL在(omega)数据词上的表达能力。 Zbl 1464.68159号 克劳迪娅·卡拉佩尔;冯世光;奥利弗·费尔南德斯·吉尔;卡琳·夸斯 1 2014 非单调数据字上MTL和TPTL的可满足性。 Zbl 1407.68284号 克劳迪娅·卡拉佩尔;冯世光;奥利弗·费尔南德斯·吉尔;卡琳·夸斯 1 2014 描述逻辑中的混合统一\(\mathcal{EL}\)。 Zbl 1398.68499号 弗兰兹·巴德;奥利弗·费尔南德斯·吉尔;巴巴拉·莫拉夫斯卡 1 2013 所有引用出版物 排名前五的出版物 全部的 前5名被22位作者引用 5 弗兰兹·巴德 三 奥利弗·费尔南德斯·吉尔 2 巴夫洛斯·马兰蒂迪斯 1 菲利普·巴尔比亚尼 1 费尔南多·博比洛 1 格哈德·布鲁卡 1 冯世光 1 乔伊格登·根瑟 1 迈克尔·霍切 1 帕特里克·科普曼 1 马库斯·洛伊 1 弗里德里希·米歇尔 1 安托万·莫特特 1 亚历山大·奥霍金 1 卡琳·夸斯 1 玛丽亚姆·罗斯塔米吉夫 1 谢克曼,Jörg H。 1 翁贝托·斯特拉契亚 1 彼得·萨博 1 廷切夫、廷科 1 Turhan、Anni Yasmin 1 本杰明·扎里 5篇连载文章中引用 1 人工智能 1 模糊集与系统 1 MSCS公司。计算机科学中的数学结构 1 数学与人工智能年鉴 1 逻辑程序设计理论与实践 在2个字段中引用 9 计算机科学(68-XX) 4 数学逻辑和基础(03-XX) 按年份列出的引文