编辑配置文件(在新选项卡中打开) 斯特凡·博格沃德 合著者距离 作者ID: 博格沃德·斯特凡 发布日期: 斯特凡·博格沃德 外部链接: MGP公司·维基数据 已编制索引的文档: 28出版物自2011年起 合著者: 16位合著者具有26联合出版物 168位合作作者 全部的 前5名合著者 1 单作者的 12 弗兰兹·巴德 11 拉斐尔·佩尼亚洛扎 7 巴巴拉·莫拉夫斯卡 4 帕特里克·科普曼 三 维罗尼卡托斯特 2 Alrabbaa,基督徒 2 阮晋平 2 费利克斯·迪斯特 2 沃尔特·福克尔 2 Alisa Kovtunova 2 马赛尔·利普曼 2 安娜·奥扎基 1 马尔科·塞拉米 1 雷蒙·达赫塞特 1 Leyva Galano,JoséA。 1 朱利安·门德斯 1 费利克斯·施密德尔 全部的 前5名系列 三 国际近似推理杂志 1 人工智能 1 模糊集与系统 1 哲学逻辑杂志 1 圣母院形式逻辑杂志 1 欧洲运筹学杂志 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 1 运筹学数学建模与算法杂志 字段 28 计算机科学(68-XX) 16 数学逻辑和基础(03-XX) 2 运筹学、数学规划(90-XX) 1 组合数学(05-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 23出版物有被引用88中的次53文件 引用人▼ 年份▼ 具有一般概念包含的模糊描述逻辑中的可判定极限。 Zbl 1319.68211号 斯特凡·博格沃德;费利克斯·迪斯特;拉斐尔·佩尼亚洛扎 16 2015 我的模糊描述逻辑有多模糊? Zbl 1358.68274号 斯特凡·博格沃德;费利克斯·迪斯特;拉斐尔·佩尼亚洛扎 12 2012 描述逻辑DL-Lite中的时态查询应答。 Zbl 1398.68121号 斯特凡·博格沃德;马赛尔·利普曼;维罗尼卡托斯特 7 2013 使用递归质量度量找到描述逻辑蕴涵的良好证明。 Zbl 07437085号 克里斯蒂安·阿拉巴阿;弗兰兹·巴德;斯特凡·博格沃德;帕特里克·科普曼;科夫图诺娃,Alisa 7 2021 基于格的模糊描述逻辑中的一致性推理。 Zbl 1433.03064号 斯特凡·博格沃德;拉斐尔·佩尼亚洛扎 6 2014 在\(\mathcal中统一的SAT编码{ELH}(极低浓度)_{{R}^+}\)w.R.t.循环受限本体。 Zbl 1358.68280号 弗兰兹·巴德;斯特凡·博格沃德;巴巴拉·莫拉夫斯卡 5 2012 在Łukasiewicz t-范数下fuzzy(\mathcal{EL})的复杂性。 Zbl 1420.68200号 斯特凡·博格沃德;马尔科·塞拉米;拉斐尔·佩尼亚洛扎 4 2017 暂时化基于本体的数据访问。 Zbl 1381.68075号 弗兰兹·巴德;斯特凡·博格沃德;马赛尔·利普曼 4 2013 具有间隔数字名称的度量时间描述逻辑。 Zbl 1495.68204号 弗兰兹·巴德;斯特凡·博格沃德;帕特里克·科普曼;安娜·奥扎基;维罗尼卡托斯特 三 2017 在没有顶层构造函数的描述逻辑中决定一致性并计算局部一致性。 兹比尔1358.68272 弗兰兹·巴德;阮晋平;斯特凡·博格沃德;巴巴拉·莫拉夫斯卡 三 2016 无限值哥德尔语义下表达描述逻辑中的推理。 Zbl 1471.68268号 斯特凡·博格沃德;拉斐尔·佩尼亚洛扎 三 2015 无限值哥德尔语义下非常富有表现力的描述逻辑中的推理算法。 Zbl 1404.68150号 斯特凡·博格沃德;拉斐尔·佩尼亚洛扎 三 2017 基于阈值的加权稠密(k)-子图逼近预处理。 Zbl 1304.68210号 博格沃德,S。;施密德尔(F.Schmiedl)。 三 2014 使用自动机进行模糊描述逻辑推理。 兹比尔1374.68551 斯特凡·博格沃德;拉斐尔·佩尼亚洛扎 2 2016 \(\mathcal{EL}\)中的卸除和局部不统一。 Zbl 1366.68274号 弗兰兹·巴德;斯特凡·博格沃德;巴巴拉·莫拉夫斯卡 2 2015 关于具有一般概念包含的模糊\(\mathcal{A}\mathcal{L}\mathcal{C}\)的可判定性状态。 Zbl 1318.03034号 弗兰兹·巴德;斯特凡·博格沃德;拉斐尔·佩尼亚洛扎 2 2015 具有间隔数字名称的度量时间描述逻辑。 Zbl 1446.68145号 弗兰兹·巴德;斯特凡·博格沃德;帕特里克·科普曼;安娜·奥扎基;维罗尼卡托斯特 2 2020 在软功率图上。 Zbl 1327.90406号 博格沃德,S。 2 2015 模糊描述逻辑\(\mathsf{G}\)-\({\mathcal{FL}_0(飞行高度层)}\)具有最大的定点语义。 Zbl 1432.68429号 斯特凡·博格沃德;Leyva Galano,JoséA。;拉斐尔·佩尼亚洛扎 2 2014 模糊描述逻辑——一项调查。 Zbl 1498.68297号 斯特凡·博格沃德;拉斐尔·佩尼亚洛扎 2 2017 带对\(\mathcal的否定的联合查询的封闭世界语义{ELH}(极低浓度)_\bot)本体。 Zbl 1525.68153号 斯特凡·博格沃德;沃尔特·福克斯 1 2019 计算最小({\mathcal E}{\mathcal L})-统一器是很困难的。 Zbl 1290.68113号 弗兰兹·巴德;斯特凡·博格沃德;巴巴拉·莫拉夫斯卡 1 2012 描述逻辑(\mathcal{EL})中没有顶层概念的统一。 Zbl 1341.68205号 弗兰兹·巴德;阮晋平;斯特凡·博格沃德;巴巴拉·莫拉夫斯卡 1 2011 使用递归质量度量找到描述逻辑蕴涵的良好证明。 Zbl 07437085号 克里斯蒂安·阿拉巴阿;弗兰兹·巴德;斯特凡·博格沃德;帕特里克·科普曼;Alisa Kovtunova 7 2021 具有区间刚性名称的度量时态描述逻辑。 Zbl 1446.68145号 弗兰兹·巴德;斯特凡·博格沃德;帕特里克·科普曼;安娜·奥扎基;维罗尼卡托斯特 2 2020 带对\(\mathcal的否定的联合查询的封闭世界语义{ELH}(极低浓度)_\bot)本体。 Zbl 1525.68153号 斯特凡·博格沃德;沃尔特·福克尔 1 2019 在Łukasiewicz t-范数下fuzzy(\mathcal{EL})的复杂性。 兹比尔1420.68200 斯特凡·博格沃德;马尔科·塞拉米;拉斐尔·佩尼亚洛扎 4 2017 具有间隔数字名称的度量时间描述逻辑。 Zbl 1495.68204号 弗兰兹·巴德;斯特凡·博格沃德;帕特里克·科普曼;安娜·奥扎基;维罗尼卡托斯特 三 2017 无限值哥德尔语义下非常富有表现力的描述逻辑中的推理算法。 Zbl 1404.68150号 斯特凡·博格沃德;拉斐尔·佩尼亚洛扎 三 2017 模糊描述逻辑——一项调查。 Zbl 1498.68297号 斯特凡·博格沃德;拉斐尔·佩尼亚洛扎 2 2017 在没有顶级构造函数的情况下,在描述逻辑\(\mathcal{EL}\)中确定可一致性并计算局部一致性。 Zbl 1358.68272号 弗兰兹·巴德;阮晋平;斯特凡·博格沃德;巴巴拉·莫拉夫斯卡 三 2016 使用自动机进行模糊描述逻辑推理。 兹比尔1374.68551 斯特凡·博格沃德;拉斐尔·佩尼亚洛扎 2 2016 具有一般概念包含的模糊描述逻辑中的可判定极限。 Zbl 1319.68211号 斯特凡·博格沃德;费利克斯·迪斯特;拉斐尔·佩尼亚洛扎 16 2015 无限值哥德尔语义下表达描述逻辑中的推理。 Zbl 1471.68268号 斯特凡·博格沃德;拉斐尔·佩尼亚洛扎 三 2015 \(\mathcal{EL}\)中的卸除和局部不统一。 Zbl 1366.68274号 弗兰兹·巴德;斯特凡·博格沃德;巴巴拉·莫拉夫斯卡 2 2015 关于具有一般概念包含的模糊(mathcal{A}\mathcal{L}\mathcal{C}\)的可判定状态。 Zbl 1318.03034号 Franz巴德;斯特凡·博格沃德;拉斐尔·佩尼亚洛扎 2 2015 在软功率图上。 Zbl 1327.90406号 博格沃德,S。 2 2015 基于格的模糊描述逻辑中的一致性推理。 Zbl 1433.03064号 斯特凡·博格沃德;拉斐尔·佩尼亚洛扎 6 2014 基于阈值的加权稠密(k)-子图逼近预处理。 Zbl 1304.68210号 博格沃德,S。;施密德尔(F.Schmiedl)。 三 2014 模糊描述逻辑{FL}_0}\)具有最大的定点语义。 Zbl 1432.68429号 斯特凡·博格沃德;Leyva Galano,JoséA。;拉斐尔·佩尼亚洛扎 2 2014 描述逻辑DL-Lite中的时态查询应答。 Zbl 1398.68121号 斯特凡·博格沃德;马赛尔·利普曼;维罗尼卡托斯特 7 2013 暂时化基于本体的数据访问。 Zbl 1381.68075号 弗兰兹·巴德;斯特凡·博格沃德;马塞尔·利普曼 4 2013 我的模糊描述逻辑有多模糊? Zbl 1358.68274号 斯特凡·博格沃德;费利克斯·迪斯特;拉斐尔·佩尼亚洛扎 12 2012 在\(\mathcal中统一的SAT编码{ELH}(极低浓度)_{{R}^+}\)w.R.t.循环受限本体。 Zbl 1358.68280号 弗兰兹·巴德;斯特凡·博格沃德;巴巴拉·莫拉夫斯卡 5 2012 计算最小({\mathcal E}{\mathcal L})-统一器是很困难的。 Zbl 1290.68113号 弗兰兹·巴德;斯特凡·博格沃德;巴巴拉·莫拉夫斯卡 1 2012 描述逻辑(\mathcal{EL})中没有顶层概念的统一。 Zbl 1341.68205号 Franz巴德;阮晋平;斯特凡·博格沃德;巴巴拉·莫拉夫斯卡 1 2011 所有引用出版物 排名前五的出版物 全部的 前5名83位作者引用 13 斯特凡·博格沃德 8 弗兰兹·巴德 8 拉斐尔·佩尼亚洛扎 6 翁贝托·斯特拉契亚 5 费尔南多·博比洛 4 马尔科·塞拉米 4 弗朗西斯科·埃斯特瓦 4 Alisa Kovtunova 三 亚历山德罗·阿塔尔 三 罗马人孔查科夫 三 巴巴拉·莫拉夫斯卡 三 弗拉迪斯拉夫·里日科夫 三 扎哈里亚舍夫,迈克尔·维克托罗维奇 2 克里斯蒂安·阿拉巴阿 2 阮晋平 2 奥利弗·费尔南德斯·吉尔 2 天使加西亚·塞尔达尼亚 2 劳拉·佐丹奴 2 帕特里克·科普曼 2 弗朗西斯科·克里格尔 2 乔治·梅特卡夫 2 阮林安 2 阿曼达·维达尔 2 弗兰克·沃尔特 1 Aswani Kumar,Cherukuri 1 法沙德·巴迪 1 梅亨·宾文努 1 斯蒂芬·Böhme 1 穆斯塔法·布拉拉 1 格哈德·布鲁卡 1 泽维尔·凯塞多 1 佛朗哥·阿尔贝托·卡迪略 1 崔慧 1 雷蒙·达赫塞特 1 邓安生 1 费利克斯·迪斯特 1 克莱尔·狄克逊 1 安德烈亚斯·埃克 1 Cees H.埃尔津加。 1 沃尔特·福克尔 1 阿卜杜拉·加尼 1 路易斯·戈多 1 乔治·戈特洛布 1 齐格弗里德·戈特瓦尔德 1 哈,Quang Thuy 1 迈克尔·霍切 1 乌尔里希·赫斯塔特 1 贾尼契奇,普雷德拉格 1 马蒂亚斯·兰辛格 1 Kenneth J.拉斯基。 1 李庆国 1 林志伟 1 马塞尔·利普曼 1 刘、辛 1 米歇尔·马蒂 1 特雷弗·P·马丁。 1 朱利安·门德斯 1 索马耶·莫格哈里 1 佛朗哥·蒙塔格纳 1 朱利安·纳布克斯 1 阮成玉 1 阮,Thi Hong Khanh 1 马蒂亚斯·尼克尔斯 1 马格达莱娜·奥尔蒂斯 1 安娜·奥扎基 1 Quang-Tuy Ha公司 1 罗德里格斯,里卡多·奥斯卡 1 斯特凡诺·斯费拉扎 1 谢克曼,Jörg H。 1 普雷姆·库马尔·辛格 1 彼得·萨博 1 Thanh-Luong Tran公司 1 塞塞迪尔·杜普雷,丹尼尔 1 Thi Hong Khanh Nguyen先生 1 Tran、Thanh-Luong 1 Turhan、Anni Yasmin 1 星期二,奥利姆弗里茨 1 约旦文森特 1 王慧 1 吴焕荣 1 于斌 1 岳、关丽 1 邹丽(音) 全部的 前5名20篇连载文章中引用 8 国际近似推理杂志 7 模糊集与系统 三 人工智能 2 自动推理杂志 2 逻辑程序设计理论与实践 1 离散应用数学 1 哲学逻辑杂志 1 符号逻辑杂志 1 圣母院形式逻辑杂志 1 理论计算机科学 1 信息与计算 1 数学逻辑档案 1 人工智能研究杂志 1 国际应用数学与计算机科学杂志 1 ACM计算逻辑事务 1 应用逻辑杂志 1 计算机科学中的逻辑方法 1 RAIRO公司。理论信息学及其应用 1 开放数学 1 Logicheskie Issledovaniya公司 在5个字段中引用 46 计算机科学(68-XX) 23 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 1 阶、格、有序代数结构(06-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.