编辑配置文件(在新选项卡中打开) 托比,斯蒂芬 合著者距离 作者ID: 托比斯·斯特潘 发布日期: 托比斯,斯蒂芬;托比斯,S。 已编制索引的文档: 13出版物自1999年起 合著者: 10位合著者具有9联合出版物 320名Co-Co作者 全部的 前5名合著者 4 单作者的 4 伊恩·霍洛克斯 4 乌尔里克·萨特勒 2 弗兰兹·巴德 1 彼得·戴森(Peter H.Deussen)。 1 科林·赫什 1 马丁·兰格 1 马丁·勒克 1 拉尔夫·莫利托 1 诺尔,托马斯 1 塞尔吉奥·特萨利斯 系列 1 逻辑与计算杂志 1 人工智能研究杂志 1 IGPL逻辑杂志 领域 12 计算机科学(68至XX) 10 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用145中的次107文件 引用人▼ 年份▼ 非常富有表现力的描述逻辑的实用推理。 Zbl 0967.03026号 伊恩·霍洛克斯;乌尔里克·萨特勒;托比斯,斯蒂芬 34 2000 表达描述逻辑的实用推理。 Zbl 0947.68134号 伊恩·霍洛克斯;乌尔里克·萨特勒;托比,斯蒂芬 32 1999 分级模态逻辑的空间推理。 Zbl 0992.03028号 托比,斯蒂芬 23 2001 表达描述逻辑中具有基数限制和名词的推理的复杂性。 Zbl 0941.03029号 托比斯,S。 20 2000 为描述逻辑进行个体推理(mathcal{SHIQ})。 Zbl 0963.68197号 伊恩·霍洛克斯;乌尔里克·萨特勒;托比斯,斯蒂芬 17 2000 逆方法实现了模态可满足性的自动机方法。 Zbl 0988.03021号 弗兰兹·巴德;托比斯,斯蒂芬 8 2001 一种用于分级模态逻辑的PSpace算法。 Zbl 0937.03012号 托比斯,斯蒂芬 5 1999 一种针对集团保护碎片的表格算法。 Zbl 1031.03034号 科林·赫希;托比斯,斯蒂芬 三 2002 严格包含在\(C^2\)中的NExpTime-complete描述逻辑。 Zbl 0944.03024号 托比斯,斯蒂芬 2 1999 如何使用描述逻辑确定约束下的查询包含。 Zbl 0988.68060号 伊恩·霍洛克斯;乌尔里克·萨特勒;塞尔吉奥·特萨利斯;托比斯,斯蒂芬 1 2000 一种针对集团保护碎片的表格算法。 Zbl 1031.03034号 科林·赫什;托比斯,斯蒂芬 三 2002 分级模态逻辑的空间推理。 Zbl 0992.03028号 托比斯,斯蒂芬 23 2001 逆方法实现了模态可满足性的自动机方法。 Zbl 0988.03021号 弗兰兹·巴德;托比,斯蒂芬 8 2001 非常富有表现力的描述逻辑的实用推理。 Zbl 0967.03026号 伊恩·霍洛克斯;乌尔里克·萨特勒;托比斯,斯蒂芬 34 2000 表达描述逻辑中具有基数限制和名词的推理的复杂性。 兹伯利0941.03029 托比斯,S。 20 2000 为描述逻辑进行个体推理(mathcal{SHIQ})。 Zbl 0963.68197号 伊恩·霍洛克斯;乌尔里克·萨特勒;托比斯,斯蒂芬 17 2000 如何使用描述逻辑确定约束下的查询包含。 Zbl 0988.68060号 伊恩·霍洛克斯;乌尔里克·萨特勒;塞尔吉奥·特萨利斯;托比,斯蒂芬 1 2000 表达描述逻辑的实用推理。 兹伯利0947.68134 伊恩·霍洛克斯;乌尔里克·萨特勒;托比斯,斯蒂芬 32 1999 分级模态逻辑的PSpace算法。 Zbl 0937.03012号 托比斯,斯蒂芬 5 1999 严格包含在\(C^2 \)中的NExpTime完整描述逻辑。 Zbl 0944.03024号 托比,斯蒂芬 2 1999 所有引用的出版物 前5名被引用出版物 全部的 前5名172位作者引用 10 弗兰兹·巴德 8 乌尔里克·萨特勒 6 托马斯·卢卡西维奇 6 卡斯滕·卢茨 6 拉斐尔·佩尼亚洛萨 5 托马斯·艾特 5 马格达莱娜·奥尔蒂斯 4 斯特凡·博格沃德 4 迭戈·卡尔瓦尼斯 4 伊恩·霍洛克斯 三 巴托斯·贝德纳西克 三 玛尔塔·恰尔迪亚·梅耶 三 Stéphane P.德姆里。 三 沃尔克·哈尔斯列夫 三 叶夫根尼·哈萨克夫 三 鲍里斯·莫提克 三 雷娜特·施密特(Renate A.Schmidt)。 2 阮晋平 2 安德烈·卡利 2 塞里托、塞雷内拉 2 伯纳多·昆卡·格劳 2 朱塞佩·德贾科莫 2 格利姆,伯尔特 2 拉杰夫·普拉巴卡尔·戈尔 2 斯迪恩·海曼斯 2 瓦桑特·霍纳瓦尔 2 乌尔里希·赫斯塔特 2 伊安尼,乔瓦姆巴蒂斯塔 2 姜云成 2 马克·卡明斯基 2 托马斯·克伦瓦尔纳 2 弗朗西丝卡·亚历山德拉(Francesca Alessandra Lisi) 2 安德烈·瓦勒埃维奇·曼齐沃达 2 巴夫洛斯·马兰蒂迪斯 2 马贾·米利奇奇 2 拉尔夫·莫勒 2 巴巴拉·莫拉夫斯卡 2 阿尼埃洛·穆拉诺 2 潘,杰夫·Z。 2 帕伦特,米姆 2 伊恩·普拉特·哈特曼 2 利维亚·普雷多尤 2 萨沙·鲁宾 2 罗马辛德劳 2 卢茨·施罗德 2 乔拉·斯卢茨基 2 海纳·斯塔肯施密特 2 唐素琴 2 利迪亚·坦德拉 2 大卫·托曼 2 Davy Van Nieuwenborgh 2 德克·弗梅尔 2 王菊 2 格兰特·韦德尔(Grant E.Weddell)。 2 弗兰克·沃尔特 1 阿巴特,彼得罗 1 伊格纳西奥·贝拉斯·阿科斯塔 1 鲁巴·阿拉萨夫 1 本杰明·阿米诺夫 1 亚历山德罗·阿塔尔 1 法沙德·巴迪 1 鲍、杰 1 彼得·鲍姆加特纳 1 达尼埃拉·贝拉迪 1 费尔南多·博比洛 1 斯蒂芬·伯姆 1 皮耶罗·安德里亚·博纳蒂 1 克劳迪娅·考利 1 Chang、Liang 1 程伟 1 劳伦斯·M·L·钟。 1 法比奥·科兹曼。 1 明州道特兰 1 邓佩敏 1 弗朗西斯科·多尼尼。 1 杜建峰 1 克莱门斯·艾森霍费尔 1 Riza Cenk Erdur 1 弗洛里安娜·埃斯波西托 1 乔斯琳·法杜尔 1 奥利弗·费尔南德斯·吉尔 1 亚历山德罗·费兰特 1 劳尔·费尔瓦里 1 伯克哈德·弗雷塔格 1 何塞·路易斯·加里多 1 西尔维奥·吉拉尔迪 1 劳拉·佐丹奴 1 瓦伦蒂娜·格里奥齐 1 顾天龙 1 顾依兰 1 扬·赫拉迪克 1 亚历山大·哈德克 1 玛丽亚·V·赫尔塔多。 1 安德烈·因德泽扎克(Andrzej Indrzejczak) 1 伊尔亚·阿纳托尔埃维奇·哈萨克夫 1 伊曼纽尔·基伦斯基 1 科瓦奇,劳拉·伊尔迪科 1 马库斯·科洛奇 1 伊琳娜·阿列克桑德罗夫娜·库斯托瓦 1 奥利弗·库茨 …还有72位作者 全部的 前5名28篇连载文章中引用 18 自动推理杂志 12 人工智能 6 信息与计算 5 国际近似推理杂志 5 应用逻辑杂志 三 理论计算机科学 三 数学与人工智能年鉴 2 模糊集与系统 2 应用非经典逻辑杂志 2 符号逻辑公报 2 逻辑程序设计理论与实践 2 ACM计算逻辑事务 2 伊尔库茨科戈大学。马特马提卡丝里亚 1 信息科学 1 计算机与系统科学杂志 1 哲学逻辑杂志 1 圣母院形式逻辑杂志 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 计算机科学与技术杂志 1 计算机科学中的数学结构 1 数学逻辑季刊(MLQ) 1 洛巴切夫斯基数学杂志 1 逻辑与代数程序设计杂志 1 泛逻辑 1 计算机科学中的逻辑方法 1 符号逻辑述评 1 Logicheskie Issledovaniya公司 在4个字段中引用 98 计算机科学(68至XX) 39 数学逻辑和基础(03-XX) 1 统计学(62-XX) 1 运筹学、数学编程(90-XX) 按年份列出的引文