编辑配置文件(在新选项卡中打开) 安德烈亚斯·斯特格米勒 合著者距离 作者ID: 安德烈亚斯(steigmiller.andreas) 发布日期: 安德烈亚斯·斯特格米勒 编入索引的文档: 5出版物自2012年起 合著者: 5位合著者具有5联合出版物 37位合作作者 合著者 0 单作者的 5 格利姆,伯尔特 三 托尔斯滕·利比格 1 拉斐尔·冈萨尔维斯。 1 尼古拉斯·马滕佐格鲁 1 比詹·帕西亚 系列 2 自动推理杂志 1 人工智能研究杂志 领域 5 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用21中的次12文件 引用人▼ 年份▼ OWL推理机评估(ORE)2015年竞争报告。 Zbl 1425.68402号 比扬·帕西娅;尼古拉斯·马滕佐格鲁;拉斐尔·冈萨尔维斯。;格利姆,伯尔特;安德烈亚斯·斯特格米勒 8 2017 将表达描述逻辑的表格算法与基于完成的饱和过程耦合。 Zbl 1423.68486号 安德烈亚斯·斯泰格米勒;格利姆,伯尔特;托尔斯滕·利比格 7 2014 用于表达描述逻辑的扩展缓存、回跳和合并。 Zbl 1358.68284号 安德烈亚斯·斯特格米勒;托尔斯滕·利比格;格利姆,伯尔特 4 2012 通过吸收使用名义图式进行推理。 Zbl 1315.68225号 安德烈亚斯·斯特格米勒;格利姆,伯尔特;托尔斯滕·利比格 2 2014 OWL推理机评估(ORE)2015年竞争报告。 Zbl 1425.68402号 比扬·帕西娅;尼古拉斯·马滕佐格鲁;拉斐尔·冈萨尔维斯。;格利姆,伯尔特;安德烈亚斯·斯特格米勒 8 2017 将表达描述逻辑的表格算法与基于完成的饱和过程耦合。 Zbl 1423.68486号 安德烈亚斯·斯特格米勒;格利姆,伯尔特;托尔斯滕·利比格 7 2014 通过吸收使用名义图式进行推理。 Zbl 1315.68225号 安德烈亚斯·斯泰格米勒;格利姆,伯尔特;托尔斯滕·利比格 2 2014 用于表达描述逻辑的扩展缓存、回跳和合并。 Zbl 1358.68284号 安德烈亚斯·斯特格米勒;托尔斯滕·利比格;格利姆,伯尔特 4 2012 所有引用出版物 前5名被引用出版物 全部的 前5名28位作者引用 4 帕特里克·科普曼 三 比扬·帕西娅 2 弗兰兹·巴德 2 Stefan博格沃特 2 格利姆,伯尔特 2 尼古拉斯·马滕佐格鲁 2 拉斐尔·佩尼亚洛萨 2 乌利·萨特勒 2 安德烈亚斯·斯特格米勒 2 安妮·亚斯敏(Anni-Yasmin Turhan) 1 埃琳娜·贝洛迪 1 朱塞佩·科塔 1 费利克斯·迪斯特 1 克莱门斯·杜伯斯拉夫 1 拉斐尔·冈萨尔维斯。 1 法贾尔·海法尼 1 马蒂亚斯·克诺尔 1 弗朗西斯科·克里格尔 1 伊芙琳娜·拉姆 1 托尔斯滕·利比格 1 弗里德里希·米歇尔 1 阿德里安·努拉迪安西亚 1 法布里西奥·里古齐 1 索菲·托雷特 1 克里斯托夫·韦登巴赫 1 本杰明·扎里 1 里卡多·泽斯 1 赵浩如 5篇连载文章中引用 三 自动推理杂志 2 逻辑程序设计理论与实践 1 人工智能 1 国际近似推理杂志 1 计算的形式方面 在2个字段中引用 12 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 按年份列出的引文