编辑配置文件(在新选项卡中打开) 伯纳多·昆卡·格劳 合著者距离 作者ID: cuenca-grau.bernardo村 发布日期: 伯纳多·昆卡·格劳;伯纳多·坎卡·格劳;Cuenca Grau,B。 更多。。。较少的 已编制索引的文档: 22出版物自2008年起 1名编辑贡献 合著者: 34位合著者具有23联合出版物 396位合作作者 全部的 前5名合著者 0 单作者的 15 Horrocks,伊恩 6 马克·卡明斯基 6 鲍里斯·莫提克 4 埃戈尔·柯斯特列夫(Egor V.Kostylev)。 三 大卫·特纳·库卡拉 三 叶夫根尼·哈萨克夫 2 亚沃·内诺夫 2 乌尔里克·萨特勒 2 周玉娇 1 阿玛斯·罗梅罗,安娜 1 鲍杰 1 安德鲁·贝特(Andrew M.Bate)。 1 Michael A.Benedikt。 1 大卫·卡拉尔 1 克里斯蒂娜·费尔 1 克里斯蒂安·哈拉斯切克·维纳 1 帕斯卡·希茨勒 1 乔安娜·霍伊斯 1 埃内斯托·吉梅内斯·鲁伊斯 1 乔治·康斯坦蒂尼迪斯 1 马库斯·科洛奇 1 克莱门斯·库普克 1 奥利弗·库茨 1 Despoina马加 1 查拉兰波斯·尼古劳 1 比扬·帕西娅 1 亚历山德罗·隆卡 1 弗朗蒂舍克·西蒙切克 1 埃夫伦·塞林 1 乔戈斯·斯托洛斯 1 Suntisrivaraporn、Boontawee 1 Wałga,Przemys aw Andrzej 1 王哲 1 Micha Zawidzki 系列 9 人工智能研究杂志 6 人工智能 1 自动推理杂志 1 美国医学会杂志 1 人工智能和应用的前沿 领域 23 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 17出版物有被引用101次69文件 引用人▼ 年份▼ 本体的模块化重用:理论与实践。 Zbl 1183.68479号 Cuenca Grau,B。;霍洛克斯,I。;Y.哈萨克夫。;美国萨特勒。 32 2008 存在规则的非循环性概念及其在本体论中查询-应答中的应用。 Zbl 1270.68295号 伯纳多·坎卡·格劳;伊恩·霍洛克斯;马库斯·科洛奇;克莱门斯·库普克;Despoina马加;鲍里斯·莫提克;王哲 20 2013 \(mathcal{EL})化本体。 Zbl 1423.68487号 大卫·卡拉尔;克里斯蒂娜·费尔;伯纳多·昆卡·格劳;帕斯卡·希茨勒;伊恩·霍洛克斯 6 2014 使用\(\mathcal{E}\)-连接进行本体集成。 Zbl 1242.68311号 伯纳多·昆卡·格劳;比扬·帕西娅;埃夫伦·塞林 6 2009 析取数据日志程序和非Horn本体的数据日志可重写性。 Zbl 1357.68228号 马克·卡明斯基;亚沃·内诺夫;伯纳多·昆卡·格劳 5 2016 描述逻辑本体的增量分类。 Zbl 1209.68526号 伯纳多·昆卡·格劳;克里斯蒂安·哈拉斯切克·维纳;叶夫根尼·哈萨克夫;Suntisrivaraporn、Boontawee 5 2010 通过数据日志推理在表达性本体语言中提取模块。 Zbl 1352.68235号 阿玛斯·罗梅罗,安娜;马克·卡明斯基;伯纳多·坎卡·格劳;伊恩·霍洛克斯 4 2016 从本体中提取模块:一种基于逻辑的方法。 兹比尔1242.68310 Cuenca Grau,贝尔纳多;伊恩·霍洛克斯;叶夫根尼·哈萨克夫;乌尔里克·萨特勒 4 2009 链接数据匿名化的逻辑基础。 Zbl 1477.68090号 伯纳多·昆卡·格劳;埃戈尔·柯斯特列夫(Egor V.Kostylev)。 三 2019 PAGOdA:使用数据日志推理器回答pay-as-you-go本体查询。 Zbl 1343.68073号 周玉娇;伯纳多·坎卡·格劳;内诺夫,亚沃;马克·卡明斯基;伊恩·霍洛克斯 三 2015 使用描述逻辑、描述图和规则表示本体。 Zbl 1180.68262号 鲍里斯·莫提克;伯纳多·昆卡·格劳;伊恩·霍洛克斯;乌尔里克·萨特勒 三 2009 对包含隐藏内容的本体进行推理:逐查询导入方法。 Zbl 1280.68251号 伯纳多·昆卡·格劳;鲍里斯·莫提克 三 2012 具有析取和数量限制的描述逻辑的基于结果的推理。 Zbl 1451.68253号 安德鲁·贝特;鲍里斯·莫提克;伯纳多·昆卡·格劳;大卫·特纳·库卡拉;弗朗蒂舍克·西蒙切克;伊恩·霍洛克斯 2 2018 基于本体的数据集成中信息披露的逻辑基础。 Zbl 1451.68270号 迈克尔·本尼迪克特;伯纳多·坎卡·格劳;埃戈尔·V·科斯蒂列夫。 2 2018 袋语义下基于本体的数据访问的基础。 Zbl 1478.68366号 查拉兰波斯·尼古劳;埃戈尔·柯斯特列夫(Egor V.Kostylev)。;乔治·康斯坦蒂尼迪斯;马克·卡明斯基;伯纳多·昆卡·格劳;伊恩·霍洛克斯 1 2019 描述逻辑的基于结果的Pay-as-you-go推理(mathcal{SROIQ})。 Zbl 1522.68532号 戴维·特娜·库卡拉;伯纳多·昆卡·格劳;Horrocks,伊恩 1 2021 不完全本体推理机的完整性保证:理论与实践。 Zbl 1243.68276号 伯纳多·昆卡·格劳;鲍里斯·莫提克;乔戈斯·斯托洛斯;伊恩·霍洛克斯 1 2012 描述逻辑的基于结果的Pay-as-you-go推理(mathcal{SROIQ})。 Zbl 1522.68532号 戴维·特娜·库卡拉;伯纳多·昆卡·格劳;伊恩·霍洛克斯 1 2021 链接数据匿名化的逻辑基础。 Zbl 1477.68090号 伯纳多·昆卡·格劳;埃戈尔·柯斯特列夫(Egor V.Kostylev)。 三 2019 包语义下基于本体的数据访问基础。 Zbl 1478.68366号 查拉兰波斯·尼古劳;埃戈尔·柯斯特列夫(Egor V.Kostylev)。;乔治·康斯坦蒂尼迪斯;马克·卡明斯基;伯纳多·昆卡·格劳;伊恩·霍洛克斯 1 2019 具有析取和数量限制的描述逻辑的基于结果的推理。 兹比尔1451.68253 安德鲁·贝特;鲍里斯·莫提克;伯纳多·昆卡·格劳;大卫·特纳·库卡拉;弗朗蒂舍克·西蒙切克;伊恩·霍洛克斯 2 2018 基于本体的数据集成中信息披露的逻辑基础。 Zbl 1451.68270号 迈克尔·本尼迪克特;伯纳多·坎卡·格劳;埃戈尔·柯斯特列夫(Egor V.Kostylev)。 2 2018 析取数据日志程序和非Horn本体的数据日志可重写性。 兹比尔1357.68228 马克·卡明斯基;亚沃·内诺夫;伯纳多·昆卡·格劳 5 2016 通过数据日志推理在表达性本体语言中提取模块。 Zbl 1352.68235号 阿玛斯·罗梅罗,安娜;马克·卡明斯基;伯纳多·坎卡·格劳;伊恩·霍洛克斯 4 2016 PAGOdA:使用数据日志推理器回答pay-as-you-go本体查询。 Zbl 1343.68073号 周玉娇;伯纳多·坎卡·格劳;亚沃·内诺夫;马克·卡明斯基;伊恩·霍洛克斯 三 2015 \(mathcal{EL})化本体。 Zbl 1423.68487号 大卫·卡拉尔;克里斯蒂娜·费尔;伯纳多·昆卡·格劳;帕斯卡·希茨勒;伊恩·霍洛克斯 6 2014 存在规则的非循环概念及其在本体中查询应答中的应用。 兹比尔1270.68295 贝尔纳多昆卡Grau;伊恩·霍洛克斯;马库斯·科洛奇;克莱门斯·库普克;Despoina马加;鲍里斯·莫提克;王哲 20 2013 对包含隐藏内容的本体进行推理:逐查询导入方法。 Zbl 1280.68251号 伯纳多·昆卡·格劳;鲍里斯·莫提克 三 2012 不完全本体推理机的完整性保证:理论与实践。 Zbl 1243.68276号 伯纳多·昆卡·格劳;鲍里斯·莫提克;乔戈斯·斯托洛斯;伊恩·霍洛克斯 1 2012 描述逻辑本体的增量分类。 Zbl 1209.68526号 伯纳多·昆卡·格劳;克里斯蒂安·哈拉斯切克·维纳;叶夫根尼·哈萨克夫;Suntisrivaraporn、Boontawee 5 2010 使用\(\mathcal{E}\)-连接进行本体集成。 Zbl 1242.68311号 伯纳多·昆卡·格劳;比扬·帕西娅;埃夫伦·塞林 6 2009 从本体中提取模块:一种基于逻辑的方法。 Zbl 1242.68310号 伯纳多·昆卡·格劳;伊恩·霍洛克斯;叶夫根尼·哈萨克夫;乌尔里克·萨特勒 4 2009 使用描述逻辑、描述图和规则表示本体。 Zbl 1180.68262号 鲍里斯·莫提克;伯纳多·昆卡·格劳;伊恩·霍洛克斯;Ulrike萨特勒 三 2009 本体的模块化重用:理论与实践。 Zbl 1183.68479号 Cuenca Grau,B。;霍洛克斯,I。;Y.哈萨克夫。;美国萨特勒。 32 2008 所有引用出版物 前5名被引用出版物 全部的 前5名144位作者引用 7 弗兰克·沃尔特 6 卡斯滕·卢茨 6 迈克尔·维克托洛维奇(Michael Viktorovich) 5 弗拉迪斯拉夫·里日科夫 4 埃琳娜·博托埃娃 4 伯纳多·昆卡·格劳 4 叶夫根尼·哈萨克夫 4 帕特里克·科普曼 4 安德烈亚斯·皮耶利斯 三 马可·卡劳蒂 三 格利姆,伯尔特 三 伊恩·霍洛克斯 三 弗朗西斯科·克里格尔 三 马库斯·科洛奇 三 鲍里斯·莫提克 三 比扬·帕西娅 三 塞巴斯蒂安·鲁道夫 三 王哲 2 格里戈里斯·安东尼奥 2 弗兰兹·巴德 2 梅亨·宾文努 2 皮耶罗·安德里亚·博纳蒂 2 阿拉什·卡里米 2 鲍里斯·科涅夫 2 罗马人孔查科夫 2 阿吉·库鲁茨 2 米歇尔·莱克莱尔 2 马克西米利安·马克思 2 玛丽·劳雷·穆格尼尔 2 马格达莱娜·奥尔蒂斯 2 杰夫·Z·潘。 2 丹尼斯·波诺马利奥夫(Denis K.Ponomaryov)。 2 乌利·萨特勒 2 米夏·托马佐 2 罗德尼·W·托珀。 2 费德里科·乌利亚纳 2 王克文 2 你,贾怀 2 张恒 1 什奇蓬贾·艾哈迈塔吉 1 安娜斯塔西娅·安娜斯塔西 1 Aranda-Corral,冈萨罗A。 1 马塞洛·阿里纳斯 1 阿塔耶娃,O.M。 1 Jean-François巴杰 1 Michael A.Benedikt。 1 尼科尔·比多特 1 亚历山大·博吉达。 1 博雷戈·迪亚斯(Borrego-Díaz,Joaquín) 1 迭戈·卡尔瓦内斯 1 大卫·卡拉尔 1 大卫·特纳·库卡拉 1 艾米莉·大卫 1 德利沃里亚斯,Stathis 1 克莱门斯·杜伯斯拉夫 1 托马斯·艾特 1 范蓉 1 克里斯蒂娜·费尔 1 Fernández-Lebrón,M.Magdalena 1 迈克尔·芬克 1 佛罗伦萨,阿莱西奥 1 布莱恩·盖恩斯(Brian R.Gaines)。 1 高金凤 1 劳伦特·加西亚 1 法比安·加罗 1 奥尔加·杰拉西莫娃 1 托马斯·戈加茨 1 乔治·戈特洛布 1 塞尔吉奥·格雷科 1 维科尔·古蒂雷斯·巴苏尔托 1 法贾尔·海法尼 1 克里斯蒂安·哈拉斯切克·维纳 1 亚兹米恩·安吉利卡,伊瓦涅兹·加西亚 1 姜云成 1 让·克里斯托夫·荣格 1 斯坦尼斯拉夫·基科特 1 科赫(Christoph T.Koch)。 1 埃戈尔·V·科斯蒂列夫。 1 克伦沃尔纳,托马斯 1 奥利弗·库茨 1 安蒂·库西斯托 1 克莱尔·莱夫雷 1 尼古拉·利昂 1 刘磊 1 多米尼克·吕克 1 马,岳 1 马可·曼纳 1 Jerzy Marcinkowski 1 尼古拉斯·马滕佐格鲁 1 克里斯蒂安·莫利纳罗 1 安德烈·谢尔盖维奇·莫罗佐夫 1 蒂尔·莫萨科夫斯基 1 菲利普·莫拉克 1 亚沃·内诺夫 1 Nadeschda尼基蒂娜 1 阿德里安·努拉迪安西亚 1 安娜·奥扎基 1 艾奥尼斯·帕乔拉基斯 1 家长,克莉丝汀 1 西蒙娜·佩里 …还有44位作者 全部的 前5名19篇连载文章中引用 15 人工智能 5 自动推理杂志 三 逻辑程序设计的理论与实践 2 信息科学 2 数学与人工智能年鉴 2 ACM计算逻辑事务 1 SIAM计算机杂志 1 西伯利亚数学杂志 1 理论计算机科学 1 符号计算杂志 1 计算的形式方面 1 人工智能研究杂志 1 计算系统理论 1 洛巴切夫斯基数学杂志 1 计算智能 1 数学生物科学与工程 1 泛逻辑 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 在4个字段中引用 67 计算机科学(68至XX) 10 数学逻辑和基础(03-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文