编辑配置文件(在新选项卡中打开) 迈克尔·泰尔舍尔 合著者距离 作者ID: 蒂尔斯切尔·迈克尔 发布日期: 迈克尔·泰尔舍尔 已编制索引的文档: 54出版物自1993年以来,包括4本书 2作为编辑的贡献 合著者: 37位合著者具有34联合出版物 774位合作作者 全部的 前5名合著者 22 单作者的 5 斯蒂芬·希菲尔 4 康拉德·德雷舍尔 三 戴维·拉贾拉特南 三 汉内斯·斯特拉斯 2 斯文·埃里克 2 蒂莫西·塞雷克斯 2 金、易 2 莫里斯·帕格努科 2 阮,季 2 托尔斯滕·绍布(Torsten H.Schaub)。 1 Franz巴德 1 沃尔夫冈·比贝尔 1 托尔斯滕·恩格斯 1 马蒂亚斯·费希特纳 1 迈克尔·费希尔 1 Dov M.加巴伊。 1 迈克尔·R·杰纳塞雷斯。 1 格罗·曼(Großmann,Axel) 1 斯蒂芬·古勒曼 1 塞巴斯蒂安·豪夫 1 伯恩哈德·亨斯特 1 奥赞·卡拉马诺·乌拉尔 1 刘洪凯 1 卡斯滕·卢茨 1 伊夫斯·洛伊奇·马丁 1 罗伯特·马特米勒 1 伯恩哈德·内贝尔 1 罗尔夫·托马斯·诺瑟姆 1 乌韦·彼得森 1 奥昆特·萨布努克 1 法里巴·萨德里 1 阿卜杜拉·萨菲丁 1 克劳德·萨穆特 1 斯科菲尔德,迈克尔 1 彼得·斯坦克 1 汉斯·彼得·施特尔 1 张东墨 全部的 前5名系列 9 人工智能 三 计算机科学课堂讲稿 2 Studia Logica公司 2 自动推理杂志 2 逻辑与计算杂志 2 人工智能研究杂志 2 逻辑程序设计理论与实践 2 人工智能与机器学习综合讲座 1 哲学逻辑杂志 1 逻辑程序设计杂志 1 IGPL杂志 1 计算机基础理论 1 应用逻辑杂志 1 应用逻辑系列 领域 55 计算机科学(68至XX) 13 博弈论、经济学、金融和其他社会和行为科学(91-XX) 11 数学逻辑和基础(03-XX) 2 总体主题;集合(00-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 37出版物有被引用191中的次144文件 引用人▼ 年份▼ 反复修改信念。 Zbl 1168.03318号 金、易;迈克尔·泰尔舍尔 41 2007 分枝和因果关系。 Zbl 1018.03514号 迈克尔·泰尔舍尔 29 1997 FLUX:推理代理的逻辑编程方法。 Zbl 1105.68333号 迈克尔·泰尔舍尔 15 2005 从情境演算到流畅演算:状态更新公理作为推理框架问题的解决方案。 Zbl 0996.68193号 迈克尔·泰尔舍尔 15 1999 推理机器人。编程机器人代理的艺术和科学。 兹比尔1092.68101 迈克尔·泰尔舍尔 9 2005 表示并发操作并解决冲突。 Zbl 0856.68134号 斯文·埃里克(Sven-Erik Bornscheuer);迈克尔·泰尔舍尔 6 1996 限定问题:异常模型问题的解决方案。 Zbl 0996.68186号 迈克尔·泰尔舍尔 6 2001 回答一般游戏中单人游戏的集合编程。 Zbl 1251.68186号 迈克尔·蒂尔舍 5 2009 统一的动作演算。 Zbl 1216.68277号 迈克尔·泰尔舍尔 5 2011 一般游戏。 Zbl 1298.68007号 迈克尔·杰纳塞雷斯;迈克尔·泰尔舍尔 5 2014 通过演绎规划进行默认推理。 Zbl 0842.68080号 迈克尔·泰尔舍尔;托尔斯滕·绍布 4 1995 并行、连续流畅的微积分。 Zbl 0981.03036号 迈克尔·泰尔舍尔 4 2001 动态环境中的智能执行监控。 Zbl 1110.68513号 马蒂亚斯·费希特纳;格罗·曼(Großmann,Axel);迈克尔·泰尔舍尔 4 2003 用不完全信息表示和推理一般博弈规则。 Zbl 1364.68338号 斯蒂芬·希菲尔;迈克尔·泰尔舍尔 4 2014 显式和隐式不确定性:关于动态系统的不确定性和矛盾规范的推理。 Zbl 0883.68024号 斯文·埃里克(Sven-Erik Bornscheuer);迈克尔·泰尔舍尔 三 1997 论神学中的预测。 Zbl 0778.68077号 迈克尔·泰尔舍尔 三 1993 将ABox更新付诸行动。 Zbl 1193.68233号 康拉德·德雷舍尔;刘洪凯;Franz巴德;斯蒂芬·古勒曼;乌韦·彼得森;彼得·斯坦克;迈克尔·泰尔舍尔 三 2009 游戏策略的表达和推理。 Zbl 1347.68327号 张东墨;迈克尔·泰尔舍尔 三 2015 行动理论的挑战。 Zbl 0953.0302号 迈克尔·蒂尔舍 2 2000 流畅演算中的不确定性行为:析取状态更新公理。 Zbl 1052.68124号 迈克尔·泰尔舍尔 2 2000 行动推理:稳定与稳定状态约束。 Zbl 0909.68136号 迈克尔·泰尔舍尔 2 1998 游戏描述语言的多代理语义。 Zbl 1205.68440号 斯蒂芬·希菲尔;迈克尔·泰尔舍尔 2 2010 在受约束的默认逻辑中回答怀疑的查询。 Zbl 1419.68132号 托尔斯滕·绍布;迈克尔·泰尔舍尔 2 1996 一般游戏中状态序列不变量的自动验证。 Zbl 1251.68232号 塞巴斯蒂安·豪夫;斯蒂芬·希菲尔;迈克尔·泰尔舍尔 2 2012 游戏描述语言GDL-II的战略和认知推理。 Zbl 1327.68282号 阮,季;迈克尔·泰尔舍尔 2 2012 游戏描述语言与动态认知逻辑的比较。 Zbl 1519.68248号 托尔斯滕·恩格斯;罗伯特·马特米勒;伯恩哈德·内贝尔;迈克尔·泰尔舍尔 2 2021 强化信念修正。 Zbl 1158.03009号 金、易;迈克尔·泰尔舍尔 1 2008 具有计划约束的ADL的流畅微积分语义。 Zbl 1178.68537号 康拉德·德雷舍尔;迈克尔·泰尔舍尔 1 2008 关于SLDENF决议的完整性。 Zbl 0855.68018号 迈克尔·泰尔舍尔 1 1996 流畅微积分的新方程式基础。 Zbl 0983.68186号 汉斯·彼得·施特尔;迈克尔·泰尔舍尔 1 2000 解决FLUX中的鉴定问题。 兹比尔1007.68593 伊夫·马丁;迈克尔·泰尔舍尔 1 2001 基于动作理论的声明性代理编程语言。 Zbl 1193.68234号 康拉德·德雷舍尔;斯蒂芬·希菲尔;迈克尔·泰尔舍尔 1 2009 基于逻辑的代理和框架问题:进展案例。 Zbl 1110.68143号 迈克尔·泰尔舍尔 1 2004 使用动作描述语言(mathcal)对流畅演算的正式评估结果{A} k(_k)\). 兹比尔1274.68460 奥赞·卡拉马诺·乌拉尔;迈克尔·泰尔舍尔 1 2003 用吵闹的动作进行规划。 Zbl 1052.68736号 迈克尔·泰尔舍尔 1 2001 推理具有CHR和有限域约束的操作。 Zbl 1045.68039号 迈克尔·泰尔舍尔 1 2002 用不完全信息进行的一般游戏。 Zbl 1446.68170号 迈克尔·斯科菲尔德;迈克尔·泰尔舍尔 1 2019 游戏描述语言与动态认知逻辑的比较。 Zbl 1519.68248号 托尔斯滕·恩格斯;罗伯特·马特米勒;伯恩哈德·内贝尔;迈克尔·蒂尔舍 2 2021 用不完全信息进行的一般游戏。 Zbl 1446.68170号 迈克尔·斯科菲尔德;迈克尔·泰尔舍尔 1 2019 游戏策略的表达和推理。 Zbl 1347.68327号 张东墨;迈克尔·泰尔舍尔 三 2015 一般游戏。 Zbl 1298.68007号 迈克尔·杰纳塞雷斯;迈克尔·泰尔舍尔 5 2014 用不完全信息表示和推理一般博弈的规则。 Zbl 1364.68338号 斯蒂芬·希菲尔;迈克尔·泰尔舍尔 4 2014 一般游戏中状态序列不变量的自动验证。 Zbl 1251.68232号 塞巴斯蒂安·豪夫;斯蒂芬·希菲尔;迈克尔·泰尔舍尔 2 2012 游戏描述语言GDL-II的战略和认知推理。 Zbl 1327.68282号 阮,季;迈克尔·泰尔舍尔 2 2012 统一的动作演算。 Zbl 1216.68277号 迈克尔·蒂尔舍 5 2011 游戏描述语言的多代理语义。 Zbl 1205.68440号 斯蒂芬·希菲尔;迈克尔·泰尔舍尔 2 2010 回答一般游戏中单人游戏的集合编程。 Zbl 1251.68186号 迈克尔·泰尔舍尔 5 2009 将ABox更新付诸行动。 Zbl 1193.68233号 康拉德·德雷舍尔;刘洪凯;Franz巴德;斯蒂芬·古勒曼;乌韦·彼得森;彼得·斯坦克;迈克尔·泰尔舍尔 三 2009 基于动作理论的声明性代理编程语言。 Zbl 1193.68234号 康拉德·德雷舍尔;斯蒂芬·希菲尔;迈克尔·泰尔舍尔 1 2009 强化信念修正。 Zbl 1158.03009号 金、易;迈克尔·泰尔舍尔 1 2008 具有计划约束的ADL的流畅演算语义。 Zbl 1178.68537号 康拉德·德雷舍尔;迈克尔·泰尔舍尔 1 2008 反复修改信念。 Zbl 1168.03318号 金、易;迈克尔·泰尔舍尔 41 2007 FLUX:推理代理的逻辑编程方法。 Zbl 1105.68333号 迈克尔·蒂尔舍 15 2005 推理机器人。编程机器人代理的艺术和科学。 Zbl 1092.68101号 迈克尔·泰尔舍尔 9 2005 基于逻辑的代理和框架问题:进展案例。 Zbl 1110.68143号 迈克尔·泰尔舍尔 1 2004 动态环境中的智能执行监控。 Zbl 1110.68513号 马蒂亚斯·费希特纳;格罗斯曼,阿克塞尔;迈克尔·泰尔舍尔 4 2003 使用动作描述语言(mathcal)对流畅演算的正式评估结果{A} k(_k)\). Zbl 1274.68460号 奥赞·卡拉马诺·乌拉尔;迈克尔·泰尔舍尔 1 2003 推理具有CHR和有限域约束的操作。 Zbl 1045.68039号 迈克尔·泰尔舍尔 1 2002 限定问题:异常模型问题的解决方案。 Zbl 0996.68186号 迈克尔·泰尔舍尔 6 2001 并行、连续、流畅的微积分。 Zbl 0981.03036号 迈克尔·泰尔舍尔 4 2001 解决FLUX中的鉴定问题。 兹比尔1007.68593 伊夫·马丁;迈克尔·泰尔舍尔 1 2001 用吵闹的动作进行规划。 Zbl 1052.68736号 迈克尔·泰尔舍尔 1 2001 行动理论的挑战。 Zbl 0953.0302号 迈克尔·泰尔舍尔 2 2000 流畅演算中的不确定性行为:析取状态更新公理。 Zbl 1052.68124号 迈克尔·泰尔舍尔 2 2000 流畅微积分的一个新的等式基础。 Zbl 0983.68186号 Störr,汉斯-彼得;迈克尔·泰尔舍尔 1 2000 从情境演算到流畅演算:状态更新公理作为推理框架问题的解决方案。 Zbl 0996.68193号 迈克尔·泰尔舍尔 15 1999 行动推理:稳定与稳定状态约束。 Zbl 0909.68136号 迈克尔·泰尔舍尔 2 1998 分枝和因果关系。 Zbl 1018.03514号 迈克尔·蒂尔舍 29 1997 显式和隐式不确定性:关于动态系统的不确定性和矛盾规范的推理。 Zbl 0883.68024号 斯文·埃里克(Sven-Erik Bornscheuer);迈克尔·泰尔舍尔 三 1997 表示并发操作并解决冲突。 Zbl 0856.68134号 斯文·埃里克(Sven-Erik Bornscheuer);迈克尔·泰尔舍尔 6 1996 受限默认逻辑中的怀疑式问答。 Zbl 1419.68132号 托尔斯滕·绍布;迈克尔·泰尔舍尔 2 1996 关于SLDENF决议的完整性。 Zbl 0855.68018号 迈克尔·泰尔舍尔 1 1996 通过演绎规划进行默认推理。 兹比尔0842.68080 迈克尔·泰尔舍尔;托尔斯滕·绍布 4 1995 论理论家的预测。 Zbl 0778.68077号 迈克尔·泰尔舍尔 三 1993 所有引用出版物 前5名被引用出版物 全部的 前5名235位作者引用 15 迈克尔·泰尔舍尔 7 佩德罗·卡巴拉尔 7 托尔斯滕·绍布(Torsten H.Schaub)。 6 Hector J.列夫斯克。 5 安德烈亚斯·赫齐格 4 瓦夏克·贝勒 4 理查德·F·布斯。 4 豪尔赫·范丁诺 4 塞巴斯蒂安·科尼埃奇尼 三 亚历山大·阿提基斯 三 朱塞佩·德贾科莫 三 詹姆斯·德尔格兰德。 三 康拉德·德雷舍尔 三 托马斯·艾特 三 爱德华多·利奥波多·费尔梅 三 斯文·奥夫·汉森 三 罗伯特·A·科瓦尔斯基。 三 格哈德·莱克梅耶 三 刘伟如 三 托马斯·安德烈亚斯·梅耶 三 乔治·巴利乌拉斯 三 帕夫洛斯·佩帕斯 三 法里巴·萨德里 三 张东墨 2 阿拉瓦尼斯·提奥凡尼斯一世。 2 斯特凡·布吕宁 2 坎通纳,多梅尼科 2 托马斯·卡里德罗伊特 2 杰克·钱德勒 2 安德鲁·克洛珀 2 马克·德纳克 2 阿戈斯蒂诺·多维尔 2 埃斯拉·埃尔登 2 安德烈亚·福米萨诺 2 马丁·盖布瑟 2 劳拉·佐丹奴 2 约昂·莱特 2 保罗·利伯拉托雷 2 林方珍 2 刘洪凯 2 马建兵 2 皮埃尔·侯爵 2 莱奥拉·摩根斯坦 2 伯恩哈德·内贝尔 2 玛丽安娜·尼科洛西·阿斯蒙多 2 法比奥·帕特里齐 2 劳伦特·佩鲁塞尔 2 普列克索萨基斯,迪米特里斯 2 恩里科·蓬泰利 2 丹尼尔·弗朗西斯科·桑塔马利亚 2 吉列尔莫·里卡多·西马里 2 马丁·斯洛塔 2 汉内斯·斯特拉斯 2 伊万·约瑟·瓦尔津扎克 2 玛丽·安妮·威廉姆斯 2 斯特凡·沃尔特兰 1 费利西达·阿瓜多 1 卡洛斯·E·阿尔丘隆。 1 埃亚尔·埃米尔 1 亚西内·阿米拉特 1 本杰明·安德烈斯 1 法布里西奥·安吉乌利 1 格里戈里斯·安东尼乌 1 奥费尔·阿列利 1 Franz巴德 1 巴巴安,塔玛拉 1 巴罗尼,彼得罗 1 大卫·A·贝尔。 1 塞勒姆·本费哈特 1 迈克尔·伯恩雷特 1 梅胡尔·巴特 1 比亚·埃克、乌卡斯 1 沃尔夫冈·比贝尔 1 亚历山大·波奇曼 1 巴特·博加特 1 托马斯·博兰德 1 贾科莫·博纳诺 1 内里奥·博尔赫斯 1 卡塔琳娜·布里茨 1 莫里斯·布吕诺格 1 Chang、Liang 1 阿卜杜勒加尼·奇巴尼 1 萨米尔·乔普拉 1 西尔巴,维奥里卡 1 梅迪·达斯坦尼(Mehdi M.Dastani)。 1 欧内斯特·戴维斯 1 德卡特,布罗斯 1 克里斯蒂安·阿里尔·迪古西尼。 1 亚尼斯·迪莫普洛斯 1 迪米特·多布雷夫 1 Doder,德拉甘 1 皮埃尔·德拉普 1 巴巴拉·杜宁·科普里茨 1 托尔斯滕·恩格斯 1 曼弗雷德·埃普 1 沃尔夫冈·费伯 1 马塞洛·阿莱杭德罗·法拉帕 1 保罗·费利 1 冯启辉 1 约翰·克劳斯·费希特 …和135多位作者 全部的 前5名26篇连载文章中引用 44 人工智能 8 哲学逻辑杂志 8 逻辑程序设计理论与实践 6 国际近似推理杂志 6 数学与人工智能年鉴 5 Studia Logica公司 5 应用逻辑杂志 三 自动推理杂志 三 机器学习 三 应用非经典逻辑杂志 三 人工智能研究杂志 三 ACM计算逻辑事务 2 逻辑、语言与信息杂志 2 计算机基础理论 2 科学中国。信息科学 1 符号逻辑杂志 1 合成 1 理论计算机科学 1 计算机科学与技术杂志 1 新一代计算 1 国际智能系统杂志 1 吉泰。实验与理论人工智能杂志 1 约束条件 1 泛逻辑 1 Serdica计算机杂志 1 符号逻辑述评 全部的 前5名在6个字段中引用 126 计算机科学(68至XX) 54 数学逻辑和基础(03-XX) 7 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 历史和传记(01-XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 按年份列出的引文