编辑配置文件(在新选项卡中打开) 乌尔里克·萨特勒 合著者距离 作者ID: 萨特勒·乌尔里克 发布日期: 乌尔里克·萨特勒 已编制索引的文档: 36出版物自1995年起 合著者: 19位合著者具有34联合出版物 615合著作者 全部的 前5名合著者 2 单作者的 14 伊恩·霍洛克斯 5 Franz巴德 5 卡斯滕·卢茨 5 鲍里斯·莫提克 4 托比斯,斯蒂芬 4 莫西·亚亚科夫·瓦尔迪 三 Cuenca Grau,贝尔纳多 三 乌尔里希·赫斯塔特 三 叶夫根尼·哈萨克斯坦 2 格利姆,伯尔特 2 潘国强 2 利迪亚·坦德拉 1 卡洛斯·阿雷塞斯 1 弗朗索瓦·贝杰隆 1 L.卡斯滕。 1 Stéphane P.德姆里。 1 扬·赫拉迪克 1 奥尔纳库普弗曼 1 塞尔吉奥·特萨利斯 1 弗兰克·沃尔特 1 叶夫根·佐林 全部的 前5名系列 三 人工智能研究杂志 2 人工智能 2 信息与计算 2 自动推理杂志 2 逻辑与计算杂志 1 Studia Logica公司 1 理论计算机科学 1 信息系统 1 应用非经典逻辑杂志 1 IGPL逻辑期刊 1 计算机基础理论 领域 35 计算机科学(68至XX) 18 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 34出版物有被引用393次244文件 引用人▼ 年份▼ (\mathcal{SHOIQ}\)的表决策过程。 Zbl 1132.68734号 伊恩·霍洛克斯;乌尔里克·萨特勒 41 2007 描述逻辑的表格算法概述。 Zbl 0991.03012号 Franz巴德;乌尔里克·萨特勒 38 2001 非常富有表现力的描述逻辑的实用推理。 Zbl 0967.03026号 伊恩·霍洛克斯;乌尔里克·萨特勒;托比斯,斯蒂芬 34 2000 表达描述逻辑的实用推理。 Zbl 0947.68134号 伊恩·霍洛克斯;乌尔里克·萨特勒;托比斯,斯蒂芬 31 1999 本体的模块化重用:理论与实践。 Zbl 1183.68479号 Cuenca Grau,B。;霍洛克斯,I。;Y.哈萨克夫。;美国萨特勒。 31 2008 具有传递和反向角色以及角色层次结构的描述逻辑。 Zbl 0940.03039号 伊恩·霍洛克斯;乌尔里克·萨特勒 29 1999 描述逻辑SHIQ的连接查询应答。 Zbl 1183.68244号 格利姆,B。;C.卢茨。;霍洛克斯,I。;美国萨特勒。 29 2008 将逻辑描述为语义网的本体语言。 Zbl 1098.68705号 Franz巴德;伊恩·霍洛克斯;乌尔里克·萨特勒 22 2005 分级微积分的复杂性。 Zbl 1072.03014号 奥尔纳库普弗曼;乌尔里克·萨特勒;莫舍·瓦尔迪。 21 2002 具有复杂角色包含公理的SHIQ的可判定性。 Zbl 1086.68129号 伊恩·霍洛克斯;乌尔里克·萨特勒 20 2004 混合微积分。 Zbl 0988.03053号 乌尔里克·萨特勒;莫舍·瓦尔迪。 19 2001 布尔模态逻辑推理的复杂性。 Zbl 1031.03037号 卡斯滕·卢茨;乌尔里克·萨特勒 17 2002 为描述逻辑进行个体推理(mathcal{SHIQ})。 Zbl 0963.68197号 伊恩·霍洛克斯;乌尔里克·萨特勒;托比斯,斯蒂芬 17 2000 通过减少析取数据日志进行描述逻辑推理。 兹比尔1132.68735 乌尔里希·赫斯塔特;鲍里斯·莫提克;乌尔里克·萨特勒 16 2007 关键词、名词和具体领域。 Zbl 1080.68683号 L.卡斯滕。;阿雷塞斯,C。;霍洛克斯,I。;美国萨特勒。 15 2005 模态逻辑和双变量片段。 Zbl 0999.03020号 卡斯滕·卢茨;乌尔里克·萨特勒;弗兰克·沃尔特 12 2001 查询大型描述逻辑库的推理技术比较。 Zbl 1165.68506号 鲍里斯·莫提克;乌尔里克·萨特勒 11 2006 基于BDD的模态逻辑决策过程K(K). Zbl 1184.68466号 潘国强;乌尔里克·萨特勒;莫舍·瓦尔迪。 11 2006 在解析框架中确定表达性描述逻辑。 兹比尔1146.68456 乌尔里希·赫斯塔特;鲍里斯·莫提克;乌尔里克·萨特勒 10 2008 基于分辨率计算的决策过程分解规则。 Zbl 1109.03009号 乌尔里希·赫斯塔特;鲍里斯·莫提克;乌尔里克·萨特勒 8 2005 混合逻辑和本体语言。 Zbl 1278.68287号 伊恩·霍洛克斯;格利姆,伯尔特;乌尔里克·萨特勒 6 2007 描述逻辑中的表达式数字限制。 Zbl 0940.03035号 Franz巴德;乌尔里克·萨特勒 4 1999 从本体中提取模块:一种基于逻辑的方法。 兹比尔1242.68310 Cuenca Grau,贝尔纳多;伊恩·霍洛克斯;叶夫根尼·哈萨克斯坦;乌尔里克·萨特勒 4 2009 描述逻辑中有限模型推理的复杂性。 Zbl 1097.03022号 卡斯滕·卢茨;乌尔里克·萨特勒;利迪亚·坦德拉 4 2005 我有几条腿?重新讨论了数字限制中的非简单角色。 Zbl 1138.68053号 叶夫根尼·哈萨克斯坦;乌尔里克·萨特勒;叶夫根·佐林 4 2007 描述逻辑的表au算法。 Zbl 0963.03015号 Franz巴德;乌尔里克·萨特勒 4 2000 使用描述逻辑、描述图和规则表示本体。 Zbl 1180.68262号 鲍里斯·莫提克;Cuenca Grau,贝尔纳多;伊恩·霍洛克斯;乌尔里克·萨特勒 三 2009 多变量可构造微分有限代数级数。 Zbl 0874.68010号 弗朗索瓦·贝杰隆;乌尔里克·萨特勒 1 1995 描述逻辑中的推理:基础、扩展和相关。 Zbl 1170.68649号 乌尔里克·萨特勒 1 2007 如何使用描述逻辑在约束条件下决定查询包含。 Zbl 0988.68060号 伊恩·霍洛克斯;乌尔里克·萨特勒;塞尔吉奥·特萨利斯;托比斯,斯蒂芬 1 2000 信息逻辑的自动理论决策过程。 Zbl 1025.03021号 斯特凡·德姆里;乌尔里克·萨特勒 1 2002 描述逻辑中有限模型推理的复杂性。 Zbl 1278.68288号 卡斯滕·卢茨;乌尔里克·萨特勒;利迪亚·坦德拉 1 2003 将循环交替自动机转换为描述逻辑。 Zbl 1278.68265号 扬·赫拉迪克;乌尔里克·萨特勒 1 2003 用集合和具体域描述逻辑。 兹比尔1066.68123 Franz巴德;乌尔里克·萨特勒 1 2003 从本体中提取模块:一种基于逻辑的方法。 Zbl 1242.68310号 Cuenca Grau,贝尔纳多;伊恩·霍洛克斯;叶夫根尼·哈萨克斯坦;乌尔里克·萨特勒 4 2009 使用描述逻辑、描述图和规则表示本体。 Zbl 1180.68262号 鲍里斯·莫提克;Cuenca Grau,贝尔纳多;伊恩·霍洛克斯;乌尔里克·萨特勒 三 2009 本体的模块化重用:理论与实践。 Zbl 1183.68479号 Cuenca Grau,B。;霍洛克斯,I。;Y.哈萨克夫。;美国萨特勒。 31 2008 描述逻辑SHIQ的连接查询应答。 Zbl 1183.68244号 格利姆,B。;C.卢茨。;霍洛克斯,I。;美国萨特勒。 29 2008 在解析框架中确定表达性描述逻辑。 兹比尔1146.68456 乌尔里希·赫斯塔特;鲍里斯·莫提克;乌尔里克·萨特勒 10 2008 (\mathcal{SHOIQ}\)的表决策过程。 Zbl 1132.68734号 伊恩·霍洛克斯;乌尔里克·萨特勒 41 2007 通过减少析取数据日志进行描述逻辑推理。 Zbl 1132.68735号 乌尔里希·赫斯塔特;鲍里斯·莫提克;乌尔里克·萨特勒 16 2007 混合逻辑和本体语言。 Zbl 1278.68287号 伊恩·霍洛克斯;格利姆,伯尔特;乌尔里克·萨特勒 6 2007 我有几条腿?重新讨论了数字限制中的非简单角色。 Zbl 1138.68053号 叶夫根尼·哈萨克斯坦;乌尔里克·萨特勒;叶夫根·佐林 4 2007 描述逻辑中的推理:基础、扩展和亲属。 Zbl 1170.68649号 乌尔里克·萨特勒 1 2007 查询大型描述逻辑库的推理技术比较。 Zbl 1165.68506号 鲍里斯·莫提克;乌尔里克·萨特勒 11 2006 基于BDD的模态逻辑决策程序K(K). Zbl 1184.68466号 潘国强;乌尔里克·萨特勒;莫舍·瓦尔迪。 11 2006 将逻辑描述为语义网的本体语言。 Zbl 1098.68705号 Franz巴德;伊恩·霍洛克斯;乌尔里克·萨特勒 22 2005 关键词、名词和具体领域。 Zbl 1080.68683号 L.卡斯滕。;阿瑞斯,C。;霍洛克斯,I。;美国萨特勒。 15 2005 基于分辨率计算的决策过程分解规则。 Zbl 1109.03009号 乌尔里希·赫斯塔特;鲍里斯·莫提克;乌尔里克·萨特勒 8 2005 描述逻辑中有限模型推理的复杂性。 Zbl 1097.03022号 卡斯滕·卢茨;乌尔里克·萨特勒;利迪亚·坦德拉 4 2005 具有复杂角色包含公理的SHIQ的可判定性。 Zbl 1086.68129号 伊恩·霍洛克斯;乌尔里克·萨特勒 20 2004 描述逻辑中有限模型推理的复杂性。 Zbl 1278.68288号 卡斯滕·卢茨;乌尔里克·萨特勒;Tendera,莉迪亚 1 2003 将循环交替自动机转换为描述逻辑。 Zbl 1278.68265号 扬·赫拉迪克;乌尔里克·萨特勒 1 2003 用集合和具体域描述逻辑。 Zbl 1066.68123号 Franz巴德;乌尔里克·萨特勒 1 2003 分级微积分的复杂性。 Zbl 1072.03014号 奥尔纳库普弗曼;乌尔里克·萨特勒;莫舍·瓦尔迪。 21 2002 布尔模态逻辑推理的复杂性。 Zbl 1031.03037号 卡斯滕·卢茨;乌尔里克·萨特勒 17 2002 信息逻辑的自动理论决策过程。 Zbl 1025.03021号 斯特凡·德姆里;乌尔里克·萨特勒 1 2002 描述逻辑表算法概述。 Zbl 0991.03012号 Franz巴德;乌尔里克·萨特勒 38 2001 混合微积分。 Zbl 0988.03053号 乌尔里克·萨特勒;莫舍·瓦尔迪。 19 2001 模态逻辑和双变量片段。 Zbl 0999.03020号 卡斯滕·卢茨;乌尔里克·萨特勒;弗兰克·沃尔特 12 2001 非常有表现力的描述逻辑的实用推理。 Zbl 0967.03026号 伊恩·霍洛克斯;乌尔里克·萨特勒;托比斯,斯蒂芬 34 2000 为描述逻辑进行个体推理(mathcal{SHIQ})。 Zbl 0963.68197号 伊恩·霍洛克斯;乌尔里克·萨特勒;托比斯,斯蒂芬 17 2000 描述逻辑的表au算法。 Zbl 0963.03015号 Franz巴德;乌尔里克·萨特勒 4 2000 如何使用描述逻辑确定约束下的查询包含。 Zbl 0988.68060号 伊恩·霍洛克斯;乌尔里克·萨特勒;塞尔吉奥·特萨利斯;托比斯,斯蒂芬 1 2000 表达描述逻辑的实用推理。 Zbl 0947.68134号 伊恩·霍洛克斯;乌尔里克·萨特勒;托比斯,斯蒂芬 31 1999 具有传递和反向角色以及角色层次结构的描述逻辑。 Zbl 0940.03039号 伊恩·霍洛克斯;乌尔里克·萨特勒 29 1999 描述逻辑中的表达式数字限制。 Zbl 0940.03035号 Franz巴德;乌尔里克·萨特勒 4 1999 在几个变量中可构造的差分有限代数级数。 Zbl 0874.68010号 弗朗索瓦·贝杰隆;乌尔里克·萨特勒 1 1995 所有引用出版物 前5名被引用出版物 全部的 前5名342位作者引用 11 伊恩·霍洛克斯 10 Franz巴德 10 卡斯滕·卢茨 10 乌尔里克·萨特勒 9 鲍里斯·莫提克 9 马格达莱娜·奥尔蒂斯 9 拉斐尔·佩尼亚洛萨 8 托马斯·艾特 8 穆拉诺,阿尼洛 8 雷娜特·施密特(Renate A.Schmidt)。 7 斯特凡·博格沃德 7 乌尔里希·赫斯塔特 7 马克·卡明斯基 6 迭戈·卡尔瓦内斯 6 Cuenca Grau,贝尔纳多 6 Stéphane P.德姆里。 6 叶夫根尼·哈萨克斯坦 6 托马斯·卢卡西维奇 6 阮林安 6 西蒙库斯,曼塔斯 6 格特·斯莫尔卡 6 翁贝托·斯特拉契亚 6 弗兰克·沃尔特 5 费尔南多·博比洛 5 克莱尔·狄克逊 5 马丁·兰格 5 迈克尔·维克托洛维奇(Michael Viktorovich) 4 玛尔塔·恰尔迪亚·梅耶 4 拉杰夫·普拉巴卡尔·戈尔 4 姜云成 4 法比奥·莫加维罗 4 Cláudia Nalon 4 伊南·塞兰 4 唐素琴 4 王菊 三 娜塔莎·亚历奇纳 三 朱塞佩·德贾科莫 三 Deters,摩根 三 法语,蒂姆 三 格利姆,伯尔特 三 沃尔克·哈尔斯列夫 三 斯迪恩·海曼斯 三 瓦桑特·霍纳瓦尔 三 丹尼尔·克恩伯格 三 丹尼斯·卢吉兹 三 杰夫·Z·潘。 三 帕伦特,米姆 三 伊恩·普拉特·哈特曼 三 里卡多·罗萨蒂 三 萨沙·鲁宾 三 弗拉迪斯拉夫·里日科夫 三 乔拉·斯卢茨基 三 海纳·斯塔肯施密特 三 斯扎·阿斯、安德烈吉 三 大卫·托曼 2 托马斯·奥戈特内斯 2 什奇蓬贾·艾哈迈塔吉 2 本杰明·阿米诺夫 2 卡洛斯·阿雷塞斯 2 亚历山德罗·阿塔尔 2 法沙德·巴迪 2 菲利普·巴尔比亚尼 2 埃琳娜·贝洛迪 2 阮晋平 2 埃琳娜·博托埃娃 2 安德烈·卡利 2 马尔科·塞拉米 2 塞里托、塞雷内拉 2 朱塞佩·科塔 2 塞巴斯蒂安·恩奎斯特 2 亚历山德罗·费兰特 2 劳尔·费尔瓦里 2 弗雷德·弗雷塔斯 2 劳拉·佐丹奴 2 丹尼尔·豪斯曼 2 劳里·T·海拉。 2 乔瓦姆巴蒂斯塔·伊安尼 2 亚兹米恩·安吉利卡,伊瓦涅兹·加西亚 2 托马斯·克伦瓦尔纳 2 马库斯·科洛奇 2 奥利弗·库茨 2 安蒂·库西斯托 2 伊芙琳娜·拉姆 2 莫里齐奥·伦泽里尼 2 弗朗西丝卡·亚历山德拉(Francesca Alessandra Lisi) 2 瓦迪姆·马尔文 2 安德烈·瓦勒埃维奇·曼齐沃达 2 约翰·克里斯托弗(John Christopher McCabe-Dansted) 2 马贾·米利奇奇 2 拉尔夫·莫勒 2 巴巴拉·莫拉夫斯卡 2 亚沃·内诺夫 2 法比奥·帕帕奇尼 2 利维亚Predoiu 2 桂林齐 2 马克·亚历山大·雷诺兹 2 法布里齐奥·里古齐 2 塞巴斯蒂安·鲁道夫 2 罗马辛德劳 2 卢茨施罗德 …还有242名作者 全部的 前5名44篇连载文章中引用 25 自动推理杂志 23 人工智能 10 信息与计算 9 理论计算机科学 8 国际近似推理杂志 8 ACM计算逻辑事务 8 应用逻辑杂志 7 应用非经典逻辑杂志 7 逻辑程序设计理论与实践 6 信息科学 6 数学与人工智能年鉴 4 逻辑、语言与信息杂志 三 模糊集与系统 三 计算机与系统科学杂志 三 计算机科学中的逻辑方法 三 伊尔库茨科戈大学。马特马提卡丝里亚 三 程序设计中的逻辑和代数方法杂志 2 哲学逻辑杂志 2 Studia Logica公司 1 信息学报 1 计算机与数学及其应用 1 符号逻辑杂志 1 圣母院形式逻辑杂志 1 SIAM计算机杂志 1 西伯利亚数学杂志 1 合成 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 计算机科学与技术杂志 1 新一代计算 1 计算的形式方面 1 工程、通信和计算中的应用代数 1 数学逻辑季刊(MLQ) 1 人工智能研究杂志 1 符号逻辑公报 1 国际应用数学与计算机科学杂志 1 动力与控制系统杂志 1 洛巴切夫斯基数学杂志 1 逻辑与代数程序设计杂志 1 逻辑与逻辑哲学 1 泛逻辑 1 国际语义计算杂志 1 Logicheskie Issledovaniya公司 1 希腊数学学会公报 全部的 前5名10个领域引用 215 计算机科学(68至XX) 114 数学逻辑和基础(03-XX) 6 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 运筹学、数学规划(90-XX) 1 历史和传记(01-XX) 1 组合数学(05-XX) 1 偏微分方程(35-XX) 1 序列、级数、可和性(40-XX) 1 一般拓扑结构(54至XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文