编辑配置文件(在新选项卡中打开) 拉斐尔·佩尼亚洛萨 合著者距离 作者ID: 佩纳洛扎·拉斐尔 发布日期: 拉斐尔·佩尼亚洛萨 外部链接: MGP公司·ORCID公司·维基数据·数据库许可证·接地 编入索引的文档: 48出版物自2007年起 3作为编辑的贡献 合著者: 47位合著者具有47联合出版物 698合著作者 全部的 前5名合著者 4 单作者的 11 斯特凡·博格沃德 7 弗兰兹·巴德 4 塞兰、伊斯梅尔·伊尔坎 3 安妮·亚斯敏(Anni-Yasmin Turhan) 2 马里奥·阿尔维亚诺 2 伦纳德·博塔 2 马尔科·塞拉米 2 罗伯托·孔瓦洛尼埃里 2 费利克斯·迪斯特 2 安德烈亚斯·埃克 2 阿列克谢·伊格纳提耶夫(Alexey A.Ignatyev)。 2 奥利弗·库茨 2 Joáo P.塞尔瓦侯爵。 2 卡洛斯·门西娅 2 托马斯·安德烈亚斯·迈耶 2 尼科·波提卡 2 巴尔·塞尔特卡亚 1 阿里夫·M·法里德 1 费尔南多·博比洛 1 曼弗雷德·埃普 1 弗朗西斯科·埃斯特瓦 1 彼得罗·加利亚尼 1 天使加西亚·塞尔达尼亚 1 扬·赫拉迪克 1 斯特芬·Hölldobler 1 Lisa Hutschenreiter 1 马库斯·科洛奇 1 卡斯滕·莱曼 1 Leyva Galano,JoséA。 1 路德维希·米歇尔 1 托马斯·卢卡西维奇 1 诺伯特·曼恩 1 索蒂里斯·莫斯科伊安尼斯 1 安娜·奥扎基 1 加布里埃拉·帕西 1 恩里克广场 1 丹尼尔·波雷洛 1 弗朗西斯科·里卡 1 罗马人、杜米特鲁 1 塞巴斯蒂安·鲁道夫 1 史蒂文·肖卡特 1 马尔科·斯科勒默 1 艾哈迈特·索鲁 1 翁贝托·斯特拉契亚 1 尼古拉斯·特罗夸德 1 Vanthieen,Jan(简) 1 邹婷婷 全部的 前5名系列 4 国际近似推理杂志 3 逻辑程序设计理论与实践 2 人工智能 2 自动推理杂志 2 计算机科学课堂讲稿 1 模糊集与系统 1 哲学逻辑杂志 1 理论计算机科学 1 信息与计算 1 AI通信 1 逻辑与计算杂志 1 数学与人工智能年鉴 1 应用逻辑杂志 领域 51 计算机科学(68至XX) 15 数学逻辑和基础(03-XX) 3 总体主题;集合(00-XX) 1 统计学(62-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 37出版物有被引用180中的次92文件 引用人▼ 年份▼ 具有一般概念包含的模糊描述逻辑中可判定性的极限。 Zbl 1319.68211号 斯特凡·博格沃德;费利克斯·迪斯特;拉斐尔·佩尼亚洛萨 16 2015 公理精确定位在一般表格中。 Zbl 1191.68645号 弗兰兹·巴德;拉斐尔·佩尼亚洛萨 16 2010 基于GCI和乘积t-范数的模糊描述逻辑的不可判定性。 Zbl 1348.68236号 弗兰兹·巴德;拉斐尔·佩尼亚洛萨 14 2011 我的模糊描述逻辑有多模糊? 兹比尔1358.68274 斯特凡·博格沃德;费利克斯·迪斯特;拉斐尔·佩尼亚洛萨 12 2012 模糊描述逻辑。 Zbl 1436.03157号 费尔南多·博比洛;马尔科·塞拉米;弗朗西斯科·埃斯特瓦;天使加西亚·塞尔达尼亚;拉斐尔·佩尼亚洛萨;翁贝托·斯特拉契亚 10 2015 基于自动原理的精确定位。 Zbl 1213.68589号 弗兰兹·巴德;拉斐尔·佩尼亚洛萨 10 2010 Automata可以显示描述逻辑的PSpace结果。 Zbl 1149.68073号 弗兰兹·巴德;扬·赫拉迪克;拉斐尔·佩尼亚洛萨 8 2008 理解轻量级描述逻辑中公理精确定位的复杂性。 Zbl 1419.68128号 拉斐尔·佩尼亚洛萨;巴尔·塞尔特卡亚 7 2017 DL-lite描述逻辑家族中公理精确定位的复杂性。 Zbl 1211.68410号 拉斐尔·佩尼亚洛萨;巴尔·塞尔特卡亚 7 2010 BEACON:一个高效的基于SAT的工具,用于调试(\mathcal{EL}^+\)本体。 Zbl 1475.68368号 阿里夫·M·法里德;卡洛斯·门西娅;阿列克谢·伊格纳提耶夫;诺伯特·曼恩;拉斐尔·佩尼亚洛萨;若昂·西尔瓦侯爵 6 2016 基于格的模糊描述逻辑中的一致性推理。 Zbl 1433.03064号 斯特凡·博格沃德;拉斐尔·佩尼亚洛萨 6 2014 贝叶斯描述逻辑({\mathcal{BEL}})。 Zbl 1409.68277号 塞兰、伊斯梅尔·伊尔坎;拉斐尔·佩尼亚洛萨 6 2014 公理精确定位在一般表格中。 Zbl 1132.68675号 弗兰兹·巴德;拉斐尔·佩尼亚洛萨 5 2007 在Łukasiewicz t-范数下fuzzy(\mathcal{EL})的复杂性。 Zbl 1420.68200号 斯特凡·博格沃德;马尔科·塞拉米;拉斐尔·佩尼亚洛萨 4 2017 概率数据日志(^\pm)的复杂性结果。 Zbl 1403.68050号 塞兰、伊斯梅尔·伊尔坎;托马斯·卢卡西维奇;拉斐尔·佩尼亚洛萨 4 2016 基于相似性的轻松实例查询。 Zbl 1386.68165号 安德烈亚斯·埃克;拉斐尔·佩尼亚洛萨;安妮·亚斯敏(Anni-Yasmin Turhan) 4 2015 不一致Horn公式的有效推理。 Zbl 1483.68381号 若昂·西尔瓦侯爵;阿列克谢·伊格纳提耶夫;卡洛斯·门西娅;拉斐尔·佩尼亚洛萨 4 2016 贝叶斯本体语言(mathcal{BEL})。 Zbl 1409.68278号 塞兰、伊斯梅尔·伊尔坎;拉斐尔·佩尼亚洛萨 3 2017 无限值哥德尔语义下表达描述逻辑中的推理。 兹比尔1471.68268 斯特凡·博格沃德;拉斐尔·佩尼亚洛萨 3 2015 无限值哥德尔语义下非常富有表现力的描述逻辑中的推理算法。 Zbl 1404.68150号 斯特凡·博格沃德;拉斐尔·佩尼亚洛萨 3 2017 模糊答案集近似值。 Zbl 1298.68058号 马里奥·阿尔维亚诺;拉斐尔·佩尼亚洛萨 3 2013 基于自动原理的精确定位。 Zbl 1165.68497号 弗兰兹·巴德;拉斐尔·佩尼亚洛萨 3 2008 描述逻辑中用于概念混合的向上精化运算符\(\mathcal{EL}^{++}\)。 Zbl 1398.68501号 罗伯托·孔瓦洛尼埃里;曼弗雷德·埃普;马尔科·斯科勒默;奥利弗·库茨;拉斐尔·佩尼亚洛萨;恩里克广场 2 2018 使用自动机进行模糊描述逻辑推理。 Zbl 1374.68551号 斯特凡·博格沃德;拉斐尔·佩尼亚洛萨 2 2016 描述逻辑(mathcal{ALCP})中基于最大熵原理的概率推理。 Zbl 1366.68293号 拉斐尔·佩尼亚洛萨;尼科·波提卡 2 2016 关于具有一般概念包含的模糊(mathcal{A}\mathcal{L}\mathcal{C}\)的可判定状态。 Zbl 1318.03034号 弗兰兹·巴德;斯特凡·博格沃德;拉斐尔·佩尼亚洛萨 2 2015 具有主观概率的\(\mathcal{EL}\)中基于实例的非标准推理。 Zbl 1351.68269号 拉斐尔·佩尼亚洛萨;安妮·亚斯敏(Anni-Yasmin Turhan) 2 2013 模糊描述逻辑{FL}_0(飞行高度层)}\)具有最大的定点语义。 Zbl 1432.68429号 斯特凡·博格沃德;Leyva Galano,JoséA。;拉斐尔·佩尼亚洛萨 2 2014 描述逻辑中推理的严格复杂性界限(mathcal{BEL})。 Zbl 1432.68434号 塞兰、伊斯梅尔·伊尔坎;拉斐尔·佩尼亚洛萨 2 2014 描述逻辑中的容错推理(mathcal{EL})。 Zbl 1432.68448号 路德维希·米歇尔;拉斐尔·佩尼亚洛萨 2 2014 使用产品总和进行非标准推理。 Zbl 1284.68534号 拉斐尔·佩尼亚洛萨 2 2010 模糊描述逻辑——一项调查。 Zbl 1498.68297号 斯特凡·博格沃德;拉斐尔·佩尼亚洛萨 2 2017 使用公理弱化修复社会聚合本体。 Zbl 1498.68309号 丹尼尔·波雷洛;尼古拉斯·特罗夸德;罗伯托·孔瓦洛尼埃里;彼得罗·加利亚尼;奥利弗·库茨;拉斐尔·佩尼亚洛萨 2 2017 描述逻辑的贝叶斯扩展(mathcal{ALC})。 Zbl 1525.68154号 伦纳德·博塔;托马斯·梅耶;拉斐尔·佩尼亚洛萨 1 2019 基于可满足性模理论的模糊答案集计算。 Zbl 1379.68036号 马里奥·阿尔维亚诺;拉斐尔·佩尼亚洛萨 1 2015 计算无限树上格自动机行为的复杂性。 Zbl 1314.68178号 卡斯滕·莱曼;拉斐尔·佩尼亚洛萨 1 2014 可处理描述逻辑中的不一致容忍实例检查。 Zbl 1490.68220号 拉斐尔·佩尼亚洛萨 1 2017 描述逻辑的贝叶斯扩展(mathcal{ALC})。 Zbl 1525.68154号 伦纳德·博塔;托马斯·梅耶;拉斐尔·佩尼亚洛萨 1 2019 描述逻辑中用于概念混合的向上精化运算符\(\mathcal{EL}^{++}\)。 Zbl 1398.68501号 罗伯托·孔瓦洛尼埃里;曼弗雷德·埃普;马尔科·斯科勒默;奥利弗·库茨;拉斐尔·佩尼亚洛萨;恩里克广场 2 2018 理解轻量级描述逻辑中公理精确定位的复杂性。 Zbl 1419.68128号 拉斐尔·佩尼亚洛萨;巴尔·塞尔特卡亚 7 2017 在Łukasiewicz t-范数下fuzzy(\mathcal{EL})的复杂性。 Zbl 1420.68200号 斯特凡·博格沃德;马尔科·塞拉米;拉斐尔·佩尼亚洛萨 4 2017 贝叶斯本体语言(mathcal{BEL})。 Zbl 1409.68278号 塞兰、伊斯梅尔·伊尔坎;拉斐尔·佩尼亚洛萨 3 2017 无限值哥德尔语义下非常富有表现力的描述逻辑中的推理算法。 Zbl 1404.68150号 斯特凡·博格沃德;拉斐尔·佩尼亚洛萨 3 2017 模糊描述逻辑——一项调查。 Zbl 1498.68297号 斯特凡·博格沃德;拉斐尔·佩尼亚洛萨 2 2017 使用公理弱化修复社会聚合本体。 Zbl 1498.68309号 丹尼尔·波雷洛;尼古拉斯·特罗夸德;罗伯托·孔瓦洛尼埃里;彼得罗·加利亚尼;奥利弗·库茨;拉斐尔·佩尼亚洛萨 2 2017 可处理描述逻辑中的不一致容忍实例检查。 Zbl 1490.68220号 拉斐尔·佩尼亚洛萨 1 2017 BEACON:一个高效的基于SAT的工具,用于调试(\mathcal{EL}^+\)本体。 Zbl 1475.68368号 阿里夫·M·法里德;卡洛斯·门西娅;阿列克谢·伊格纳提耶夫;诺伯特·曼恩;拉斐尔·佩尼亚洛萨;若昂·西尔瓦侯爵 6 2016 概率数据日志(^\pm)的复杂性结果。 Zbl 1403.68050号 塞兰、伊斯梅尔·伊尔坎;托马斯·卢卡西维奇;拉斐尔·佩尼亚洛萨 4 2016 不一致Horn公式的有效推理。 Zbl 1483.68381号 若昂·西尔瓦侯爵;阿列克谢·伊格纳提耶夫;卡洛斯·门西娅;拉斐尔·佩尼亚洛萨 4 2016 使用自动机进行模糊描述逻辑推理。 Zbl 1374.68551号 斯特凡·博格沃德;拉斐尔·佩尼亚洛萨 2 2016 描述逻辑(mathcal{ALCP})中基于最大熵原理的概率推理。 Zbl 1366.68293号 拉斐尔·佩尼亚洛萨;尼科·波提卡 2 2016 具有一般概念包含的模糊描述逻辑中可判定性的极限。 Zbl 1319.68211号 斯特凡·博格沃德;费利克斯·迪斯特;拉斐尔·佩尼亚洛萨 16 2015 模糊描述逻辑。 Zbl 1436.03157号 费尔南多·博比洛;马尔科·塞拉米;弗朗西斯科·埃斯特瓦;天使加西亚·塞尔达尼亚;拉斐尔·佩尼亚洛萨;翁贝托·斯特拉契亚 10 2015 基于相似性的轻松实例查询。 Zbl 1386.68165号 安德烈亚斯·埃克;拉斐尔·佩尼亚洛萨;安妮·亚斯敏(Anni-Yasmin Turhan) 4 2015 无限值哥德尔语义下表达描述逻辑中的推理。 兹比尔1471.68268 斯特凡·博格沃德;拉斐尔·佩尼亚洛萨 3 2015 关于具有一般概念包含的模糊(mathcal{A}\mathcal{L}\mathcal{C}\)的可判定状态。 Zbl 1318.03034号 弗兰兹·巴德;斯特凡·博格沃德;拉斐尔·佩尼亚洛萨 2 2015 基于可满足性模理论的模糊答案集计算。 Zbl 1379.68036号 马里奥·阿尔维亚诺;拉斐尔·佩尼亚洛萨 1 2015 基于格的模糊描述逻辑中的一致性推理。 Zbl 1433.03064号 斯特凡·博格沃德;拉斐尔·佩尼亚洛萨 6 2014 贝叶斯描述逻辑({\mathcal{BEL}})。 Zbl 1409.68277号 塞兰、伊斯梅尔·伊尔坎;拉斐尔·佩尼亚洛萨 6 2014 模糊描述逻辑{FL}_0(飞行高度层)}\)具有最大的定点语义。 Zbl 1432.68429号 斯特凡·博格沃德;Leyva Galano,JoséA。;拉斐尔·佩尼亚洛萨 2 2014 描述逻辑中推理的严格复杂性界限(mathcal{BEL})。 Zbl 1432.68434号 塞兰、伊斯梅尔·伊尔坎;拉斐尔·佩尼亚洛萨 2 2014 描述逻辑中的容错推理(mathcal{EL})。 Zbl 1432.68448号 路德维希·米歇尔;拉斐尔·佩尼亚洛萨 2 2014 计算无限树上格自动机行为的复杂性。 Zbl 1314.68178号 卡斯滕·莱曼;拉斐尔·佩尼亚洛萨 1 2014 模糊答案集近似值。 Zbl 1298.68058号 马里奥·阿尔维亚诺;拉斐尔·佩尼亚洛萨 3 2013 具有主观概率的\(\mathcal{EL}\)中基于实例的非标准推理。 Zbl 1351.68269号 拉斐尔·佩尼亚洛萨;安妮·亚斯敏(Anni-Yasmin Turhan) 2 2013 我的模糊描述逻辑有多模糊? 兹比尔1358.68274 斯特凡·博格沃德;费利克斯·迪斯特;拉斐尔·佩尼亚洛萨 12 2012 基于GCI和乘积t-范数的模糊描述逻辑的不可判定性。 Zbl 1348.68236号 弗兰兹·巴德;拉斐尔·佩尼亚洛萨 14 2011 公理精确定位在一般表格中。 Zbl 1191.68645号 弗兰兹·巴德;拉斐尔·佩尼亚洛萨 16 2010 基于自动原理的精确定位。 Zbl 1213.68589号 弗兰兹·巴德;拉斐尔·佩尼亚洛萨 10 2010 DL-lite描述逻辑家族中公理精确定位的复杂性。 Zbl 1211.68410号 拉斐尔·佩尼亚洛萨;巴尔·塞尔特卡亚 7 2010 使用产品总和进行非标准推理。 Zbl 1284.68534号 拉斐尔·佩尼亚洛萨 2 2010 Automata可以显示描述逻辑的PSpace结果。 Zbl 1149.68073号 弗兰兹·巴德;扬·赫拉迪克;拉斐尔·佩尼亚洛萨 8 2008 基于自动原理的精确定位。 Zbl 1165.68497号 弗兰兹·巴德;拉斐尔·佩尼亚洛萨 3 2008 公理精确定位在一般表格中。 Zbl 1132.68675号 弗兰兹·巴德;拉斐尔·佩尼亚洛萨 5 2007 所有引用出版物 前5名被引用出版物 全部的 前5名156位作者引用 21 拉斐尔·佩尼亚洛萨 8 斯特凡·博格沃德 7 弗兰兹·巴德 7 翁贝托·斯特拉契亚 6 费尔南多·博比洛 4 马尔科·塞拉米 4 弗朗西斯科·埃斯特瓦 4 Joáo P.塞尔瓦侯爵。 4 安妮·亚斯敏(Anni-Yasmin Turhan) 3 塞兰、伊斯梅尔·伊尔坎 3 奥利弗·费尔南德斯·吉尔 3 天使加西亚·塞尔达尼亚 3 Denis Deratani毛阿 3 阿曼达·维达尔 2 巴托斯·贝德纳西克 2 埃琳娜·贝洛迪 2 格哈德·布鲁卡 2 罗伯托·孔瓦洛尼埃里 2 朱塞佩·科塔 2 马丁·德·科克 2 安德烈亚斯·埃克 2 法比奥·加利亚迪·科兹曼 2 劳拉·佐丹奴 2 法贾尔·海法尼 2 阿列克谢·伊格纳提耶夫(Alexey A.Ignatyev)。 2 奥利弗·库茨 2 伊芙琳娜·拉姆 2 卡洛斯·门西娅 2 乔治·梅特卡夫 2 蘑菇、蘑菇 2 阮林安 2 恩里克广场 2 法布里西奥·里古齐 2 史蒂文·肖卡特 2 马蒂亚斯·蒂姆 2 克里斯托夫·韦登巴赫 2 里卡多·泽斯 1 马里奥·阿尔维亚诺 1 阿里夫·M·法里德 1 伊娃·阿蒙戈尔 1 Aswani Kumar,Cherukuri 1 雅罗斯拉夫·本迪克 1 尼科尔·比多特 1 梅亨·宾文努 1 伦纳德·博塔 1 伯纳黛特·布琼·梅尼尔 1 穆斯塔法·布拉拉 1 克里斯托弗·布朗(Christopher W.Brown)。 1 泽维尔·凯塞多 1 马可·卡洛蒂 1 曹永志 1 佛朗哥·阿尔贝托·卡迪略 1 法比奥·科兹曼。 1 崔慧 1 阿德南·达尔维切 1 德尔·卡门·冈萨雷斯(del Carmen González Huesca),卢尔德 1 皮拉尔·德尔隆德 1 邓安生 1 费利克斯·迪斯特 1 康拉德·德雷舍尔 1 曼弗雷德·德罗斯特 1 克莱门斯·杜伯斯拉夫 1 Cees H.埃尔津加。 1 曼弗雷德·埃普 1 佐伊·法洛米尔 1 奥斯卡·菲克 1 阿卜杜拉·加尼 1 路易斯·戈多 1 胡安·戈梅斯·罗梅罗 1 格奥尔格·戈特洛布 1 齐格弗里德·戈特瓦尔德 1 塞尔吉奥·格雷科 1 斯蒂芬·古勒曼 1 哈,Quang Thuy 1 瓦桑特·霍纳瓦尔 1 伊格纳西奥·惠兹尔 1 洪玲红 1 Lisa Hutschenreiter 1 亚辛·伊扎 1 米科拉什·亚诺塔 1 叶夫根尼·哈萨克夫 1 帕特里克·库普曼 1 弗朗西斯科·克里格尔 1 马库斯·科洛奇 1 凯乌·库恩伯格 1 迪特里赫·库斯克 1 马蒂亚斯·兰辛格 1 Kenneth J.拉斯基。 1 卡斯滕·莱曼 1 玛丽·珍妮·莱索特 1 Leyva Galano,JoséA。 1 李庆国 1 李永明 1 林志伟 1 利纳雷斯·阿雷瓦洛(Linares Arévalo)、皮拉尔·塞莱恩(Pilar Selene) 1 刘洪凯 1 刘欣 1 托马斯·卢卡西维奇 1 马,岳 1 马,战友 …还有56位作者 全部的 前5名22篇连载文章中引用 12 国际近似推理杂志 10 人工智能 10 模糊集与系统 4 理论计算机科学 4 自动推理杂志 4 逻辑程序设计理论与实践 3 数学与人工智能年鉴 1 信息处理信件 1 信息科学 1 哲学逻辑杂志 1 符号逻辑杂志 1 符号计算杂志 1 信息与计算 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 数学逻辑档案 1 人工智能研究杂志 1 国际应用数学与计算机科学杂志 1 应用逻辑杂志 1 RAIRO公司。理论信息学及其应用 1 TWMS纯数学与应用数学杂志 1 开放数学 全部的 前5名在6个字段中引用 84 计算机科学(68至XX) 26 数学逻辑和基础(03-XX) 2 生物学和其他自然科学(92-XX) 1 总体主题;集合(00-XX) 1 阶、格、有序代数结构(06-XX) 1 统计学(62-XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.