×

奥利弗·费尔南德斯·吉尔

作者ID: 费尔南德斯·吉尔·奥利弗“Fernández Gil,Oliver”最近发表的zbMATH文章
发布日期: 奥利弗·费尔南德斯·吉尔;奥利弗·费尔南德斯·吉尔
已编制索引的文档: 10出版物自2013年起
合著者: 8位合著者具有10联合出版物
154位合作作者

按年份列出的出版物

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

按年份列出的引文