编辑配置文件(在新选项卡中打开) 伯恩哈德·霍兰德 合著者距离 作者ID: 荷兰·伯恩哈特 发布日期: 伯恩哈德·霍兰德 已编制索引的文档: 7出版物自1991年起 合著者: 9合著者具有5联合出版物 276位合作作者 全部的 前5名合著者 2 单作者的 三 弗兰兹·巴德 1 马丁·巴赫赫特 1 比尔科特,汉斯·尤根 1 弗朗西斯科·多尼尼。 1 阿明·劳克斯 1 莫里齐奥·伦泽里尼 1 阿尔贝托省马切蒂·斯帕卡米拉 1 丹尼尔·纳尔迪 1 沃纳·纳特 系列 2 人工智能 2 数学与人工智能年鉴 1 自动化推理杂志 1 国际近似推理杂志 领域 6 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用79中的次66文件 引用人▼ 年份▼ 具有先决条件的缺省优先级,以及它们在处理术语缺省逻辑中的特殊性方面的应用。 Zbl 0842.68081号 弗兰兹·巴德;伯恩哈德·霍兰德 20 1995 概念语言中存在量化的复杂性。 Zbl 1193.68241号 弗朗西斯科·多尼尼。;莫里齐奥·伦泽里尼;丹尼尔·纳尔迪;伯恩哈德·霍兰德;沃纳·纳特;阿尔贝托省马切蒂·斯帕卡米拉 18 1992 概念语言中的限定数字限制。 Zbl 0765.68190号 伯恩哈德·霍兰德;弗兰兹·巴德 17 1991 可能性逻辑的另一种证明方法及其在术语逻辑中的应用。 Zbl 0814.68120号 伯恩哈德·霍兰德 10 1995 概念的基数限制。 Zbl 0907.68181号 弗兰兹·巴德;马丁·巴赫赫特;伯恩哈德·霍兰德 9 1996 一致性检查简化为术语系统中概念的可满足性。 Zbl 0892.68095号 伯恩哈德·霍兰德 4 1996 关于约束逻辑中的目的化。 Zbl 0887.03005号 汉斯·尤根·伯克特;伯恩哈德·霍兰德;阿明·劳克斯 1 1996 概念的基数限制。 Zbl 0907.68181号 弗兰兹·巴德;马丁·巴赫赫特;伯恩哈德·霍兰德 9 1996 一致性检查简化为术语系统中概念的可满足性。 Zbl 0892.68095号 伯恩哈德·霍兰德 4 1996 关于约束逻辑中的目的化。 Zbl 0887.03005号 汉斯·尤根·伯克特;伯恩哈德·霍兰德;阿明·劳克斯 1 1996 具有先决条件的缺省优先级,以及它们在处理术语缺省逻辑中的特殊性方面的应用。 Zbl 0842.68081号 弗兰兹·巴德;伯恩哈德·霍兰德 20 1995 可能性逻辑的另一种证明方法及其在术语逻辑中的应用。 Zbl 0814.68120号 伯恩哈德·霍兰德 10 1995 概念语言中存在量化的复杂性。 Zbl 1193.68241号 弗朗西斯科·多尼尼。;莫里齐奥·伦泽里尼;丹尼尔·纳尔迪;伯恩哈德·霍兰德;沃纳·纳特;阿尔贝托省马切蒂·斯帕卡米拉 18 1992 概念语言中的限定数字限制。 Zbl 0765.68190号 伯恩哈德·霍兰德;弗兰兹·巴德 17 1991 所有引用出版物 前5名被引用出版物 全部的 前5名117位作者引用 5 弗兰兹·巴德 5 托马斯·施耐德 4 劳拉·佐丹奴 4 阿恩·迈尔 三 波纳蒂,皮耶罗·安德里亚 三 瓦伦蒂娜·格里奥齐 三 伯恩哈德·霍兰德 三 马丁·蒙德亨克 三 杰夫·Z·潘。 三 吉安·卢卡(Gian Luca),披萨 三 沃尔克·韦伯 2 塞勒姆·本费哈特 2 斯特凡·博格沃德 2 马丁·巴赫赫特 2 弗朗西斯科·多尼尼。 2 哈尔斯列夫,沃尔克 2 冈萨洛·伊玛兹(Gonzalo E.Imaz)。 2 季、秋 2 姜云成 2 卡斯滕·卢茨 2 尼古拉·奥利维蒂 2 拉斐尔·佩尼亚洛萨 2 桂林齐 2 格特·斯莫尔卡 2 翁贝托·斯特拉契亚 2 唐素琴 2 王菊 2 费利克斯·维斯 2 弗兰克·沃尔特 2 迈克尔·维克托洛维奇(Michael Viktorovich) 1 本杰明·阿米诺夫 1 法沙德·巴迪 1 哈罗德·博利 1 扎伊德·布劳伊 1 布图哈米,库拉 1 马可·卡多利 1 乔瓦尼·卡西尼 1 Stéphane P.德姆里。 1 邓佩敏 1 杜建峰 1 迪迪埃·杜布瓦 1 乔斯琳·法杜尔 1 亚历山德罗·费兰特 1 马塞洛·芬格 1 保罗·福多 1 西尔维奥·吉拉尔迪 1 拉杰夫·普拉巴卡尔·戈尔 1 本杰明·格罗夫。 1 劳尔·古铁雷斯 1 阿隆·哈列维。 1 菲利普·汉斯克 1 Jochen Heinsohn 1 伊迪丝·赫玛斯潘德拉 1 克努特·辛克尔曼 1 约翰·霍蒂。 1 井上,Katsumi 1 马克·卡明斯基 1 费扎·哈内德·凯拉夫 1 迈克尔·基弗 1 斯坦尼斯拉夫·基科特 1 马蒂亚斯·克诺尔 1 丹尼尔·库登科 1 阿吉·库鲁茨 1 拉尔夫·库斯特斯 1 奥利弗·库茨 1 林俊熙 1 莫里齐奥·伦泽里尼 1 梁森林 1 彼得·洛曼 1 萨尔瓦多卢卡斯 1 丹尼斯·卢吉兹 1 托马斯·卢卡西维奇 1 瓦迪姆·马尔文 1 曼弗雷德·梅耶 1 托马斯·安德烈亚斯·梅耶 1 拉尔夫·莫利托 1 阿尼埃洛·穆拉诺 1 那不勒斯,玛格丽塔 1 丹尼尔·纳尔迪 1 巴利亚特·纳伦德兰 1 伯恩哈德·内贝尔 1 阮林安 1 法里德·努伊奥瓦 1 沃纳·纳特 1 奥德尔·帕皮尼 1 帕伦特,米姆 1 加布里埃拉·皮戈齐 1 亨利·普拉德。 1 汉斯·尤根·奥利特利希 1 尤西·林塔南 1 罗塞特,玛丽·克莉丝汀 1 萨沙·鲁宾 1 恰基萨卡马 1 埃里克·桑德沃尔 1 路易吉·索罗 1 安德烈亚·谢尔夫 1 马尔科·谢尔夫 1 曼弗雷德·施密特·沙乌 1 海宁·施诺尔 1 伊尔卡·施诺尔 …还有17位作者 全部的 前5名19篇连载文章中引用 15 人工智能 6 国际近似推理杂志 5 应用逻辑杂志 4 模糊集与系统 4 数学与人工智能年鉴 三 信息与计算 2 信息科学 2 逻辑研究 2 自动化推理杂志 1 计算机与系统科学杂志 1 哲学逻辑杂志 1 符号逻辑杂志 1 理论计算机科学 1 符号计算杂志 1 国际智能系统杂志 1 运筹学年鉴 1 计算机基础理论 1 逻辑与逻辑哲学 1 逻辑程序设计理论与实践 在3个字段中引用 61 计算机科学(68至XX) 23 数学逻辑和基础(03-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文