编辑配置文件(在新选项卡中打开) 布赖恩·洛根 合著者距离 作者ID: 洛根·布莱恩 发布日期: 布赖恩·洛根;B·洛根。 已编制索引的文档: 35出版物自2001年起 合著者: 35位合著者具有35联合出版物 654位合作作者 全部的 前5名合著者 0 单作者的 34 娜塔莎·亚历奇纳 7 Nguyen、Hoang Nga 6 梅迪·达斯坦尼(Mehdi M.Dastani)。 6 阿卜杜尔·拉基布 三 牛,尼尔斯 2 皮耶乔治·贝尔托利 2 斯特凡·德姆里。 2 基亚拉·吉迪尼 2 马克·贾戈 2 刘芬荣 2 约翰·朱尔斯·查尔斯·梅耶 2 阮黄牙 2 佛朗哥·雷蒙迪 2 范德霍克,威比 1 亚历山大·阿尔博尔 1 尼克·巴西利亚德斯 1 安东尼·科恩(Anthony G.Cohn)。 1 法比亚诺·达尔皮亚兹 1 朱塞佩·德贾科莫 1 玛丽娜·德沃斯 1 戴维·德尔安纳 1 杜,鹤山 1 阿明·法朱迪安 1 保罗·费利 1 Joseph Yehuda Halpern 1 伊恩·卡什(Ian A.Kash)。 1 塞尔吉奥·梅拉 1 安德烈亚萨·莫里斯·马汀 1 帕特里齐,法比奥 1 塞巴斯蒂安·萨迪纳 1 费尔南多·沙帕奇尼克 1 卢西亚诺·塞拉菲尼 1 Trang、Doan Thu 1 马克·惠特西 1 周,可以 全部的 前5名系列 4 逻辑与计算杂志 三 合成 三 人工智能研究杂志 2 人工智能 2 理论计算机科学 1 计算机与系统科学杂志 1 应用智能 1 逻辑、语言与信息杂志 1 应用逻辑学杂志-IfCoLog逻辑学及其应用杂志 领域 32 计算机科学(68至XX) 18 数学逻辑和基础(03-XX) 5 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 21出版物有被引用71中的次40文件 引用人▼ 年份▼ 资源有限联盟的逻辑。 Zbl 1252.03036号 娜塔莎·亚历奇纳;布赖恩·洛根;Nguyen、Hoang Nga;阿卜杜尔·拉基布 11 2011 在时间推理逻辑中对通信代理进行建模。 兹比尔1111.68661 娜塔莎·亚历奇纳;布赖恩·洛根;马克·惠特西 7 2004 资源型ATL的模型检查,包括资源的生产和消耗。 Zbl 1371.68173号 娜塔莎·亚历奇纳;布赖恩·洛根;Nguyen、Hoang Nga;佛朗哥·雷蒙迪 7 2017 资源逻辑与资源生产的可决定模型检查。 Zbl 1366.68161号 娜塔莎·亚历奇纳;布赖恩·洛根;Nguyen、Hoang Nga;佛朗哥·雷蒙迪 7 2014 验证资源有限的代理的空间和时间要求。 Zbl 1196.68284号 娜塔莎·亚历奇纳;皮耶乔治·贝尔托利;基亚拉·吉迪尼;马克·贾戈;布赖恩·洛根;卢西亚诺·塞拉菲尼 5 2007 关于资源约束逻辑的复杂性。 Zbl 1403.68137号 娜塔莎·亚历奇纳;牛,尼尔斯;斯蒂芬·德姆里;布赖恩·洛根 4 2016 验证推理代理系统中的时间、内存和通信边界。 Zbl 1187.68571号 娜塔莎·亚历奇纳;布赖恩·洛根;Nguyen,黄岩;阿卜杜尔·拉基布 4 2009 空闲的优点:资源代理逻辑的一个可判定片段。 Zbl 1402.68122号 娜塔莎·亚历奇纳;牛,尼尔斯;布赖恩·洛根;Nguyen、Hoang Nga 4 2017 具有资源边界的交替时间-时间逻辑。 Zbl 1444.03037号 Nguyen、Hoang Nga;娜塔莎·亚历奇纳;布赖恩·洛根;阿卜杜尔·拉基布 4 2018 关于资源约束逻辑的复杂性。 Zbl 1403.68136号 北阿勒奇纳州。;北布林。;德姆里,S。;B·洛根。 三 2018 有限资源下的信念归属。 Zbl 1208.03018号 娜塔莎·亚历奇纳;布赖恩·洛根 三 2010 在有限资源下推理其他代理的信念。 Zbl 1257.03041号 娜塔莎·亚历奇纳;布赖恩·洛根;Nguyen、Hoang Nga;阿卜杜尔·拉基布 2 2009 一种基于资源的代理的逻辑。 Zbl 1162.68662号 娜塔莎·亚历奇纳;布赖恩·洛根 2 2009 基于规则代理的基于偏好的信念修正。 兹比尔1170.03006 娜塔莎·亚历奇纳;马克·贾戈;布赖恩·洛根 1 2008 有效地减少偏好变化。 Zbl 1444.03022号 娜塔莎·亚历奇纳;刘芬荣;布赖恩·洛根 1 2018 验证运球代理。 Zbl 1274.68205号 Trang、Doan Thu;布赖恩·洛根;娜塔莎·亚历奇纳 1 2010 验证资源型代理的系统。 Zbl 1475.68397号 娜塔莎·亚历奇纳;布赖恩·洛根 1 2016 表示资源边界下联盟能力的属性。 Zbl 1196.68242号 娜塔莎·亚历奇纳;布赖恩·洛根;阮黄雅(Nguyen Hoang Nga);阿卜杜尔·拉基布 1 2009 多智能体系统中的建模规范说明和验证。 Zbl 1514.68304号 娜塔莎·亚历奇纳;布赖恩·洛根;达斯塔尼,迈赫迪 1 2018 使用定理证明来验证代理程序的属性。 Zbl 1201.68068号 北阿勒奇纳州。;M.达斯坦尼。;F.汗。;B·洛根。;梅耶,J.-J.Ch。 1 2010 资源边界多智能体系统验证逻辑的最新发展。 Zbl 07614715号 娜塔莎·亚历奇纳;布赖恩·洛根 1 2020 用于验证资源受限多智能体系统的逻辑的最新技术。 Zbl 07614715号 娜塔莎·亚历奇纳;布赖恩·洛根 1 2020 具有资源边界的交替时间时序逻辑。 Zbl 1444.03037号 Nguyen,黄岩;娜塔莎·亚历奇纳;布赖恩·洛根;阿卜杜尔·拉基布 4 2018 关于资源约束逻辑的复杂性。 Zbl 1403.68136号 北阿勒奇纳州。;北布林。;德姆里,S。;B·洛根。 三 2018 有效地减少偏好变化。 Zbl 1444.03022号 娜塔莎·亚历奇纳;刘芬荣;布赖恩·洛根 1 2018 多智能体系统中的建模规范说明和验证。 Zbl 1514.68304号 娜塔莎·亚历奇纳;布赖恩·洛根;达斯塔尼,迈赫迪 1 2018 资源型ATL的模型检查,包括资源的生产和消耗。 Zbl 1371.68173号 娜塔莎·亚历奇纳;布赖恩·洛根;Nguyen、Hoang Nga;佛朗哥·雷蒙迪 7 2017 空闲的优点:资源代理逻辑的一个可判定片段。 Zbl 1402.68122号 娜塔莎·亚历奇纳;牛,尼尔斯;布赖恩·洛根;Nguyen、Hoang Nga 4 2017 关于资源约束逻辑的复杂性。 Zbl 1403.68137号 娜塔莎·亚历奇纳;牛,尼尔斯;斯蒂芬·德姆里;布赖恩·洛根 4 2016 正在验证资源受限代理的系统。 Zbl 1475.68397号 娜塔莎·亚历奇纳;布赖恩·洛根 1 2016 资源逻辑与资源生产的可决定模型检查。 Zbl 1366.68161号 娜塔莎·亚历奇纳;布赖恩·洛根;Nguyen、Hoang Nga;佛朗哥·雷蒙迪 7 2014 资源有限联盟的逻辑。 Zbl 1252.03036号 娜塔莎·亚历奇纳;布赖恩·洛根;Nguyen、Hoang Nga;阿卜杜尔·拉基布 11 2011 有限资源下的信念归属。 Zbl 1208.03018号 娜塔莎·亚历奇纳;布赖恩·洛根 三 2010 验证运球代理。 Zbl 1274.68205号 Trang、Doan Thu;布赖恩·洛根;娜塔莎·亚历奇纳 1 2010 使用定理证明来验证代理程序的属性。 Zbl 1201.68068号 北阿勒奇纳州。;M.达斯坦尼。;F.汗。;B·洛根。;梅耶,J.-J.Ch。 1 2010 验证推理代理系统中的时间、内存和通信边界。 Zbl 1187.68571号 娜塔莎·亚历奇纳;布赖恩·洛根;Nguyen、Hoang Nga;阿卜杜勒·拉基布 4 2009 在有限资源下推理其他代理的信念。 Zbl 1257.03041号 娜塔莎·亚历奇纳;布赖恩·洛根;Nguyen、Hoang Nga;阿卜杜勒·拉基布 2 2009 一种基于资源的代理的逻辑。 Zbl 1162.68662号 娜塔莎·亚历奇纳;布赖恩·洛根 2 2009 表示资源边界下联盟能力的属性。 Zbl 1196.68242号 娜塔莎·亚历奇纳;布赖恩·洛根;阮黄雅(Nguyen Hoang Nga);阿卜杜尔·拉基布 1 2009 基于规则代理的基于偏好的信念修正。 Zbl 1170.03006号 娜塔莎·亚历奇纳;马克·贾戈;布赖恩·洛根 1 2008 验证资源有限的代理的空间和时间要求。 Zbl 1196.68284号 娜塔莎·亚历奇纳;皮耶乔治·贝尔托利;基亚拉·吉迪尼;马克·贾戈;布赖恩·洛根;卢西亚诺·塞拉菲尼 5 2007 在时间推理逻辑中对通信代理进行建模。 Zbl 1111.68661号 娜塔莎·亚历奇纳;布赖恩·洛根;马克·惠特西 7 2004 所有引用出版物 排名前五的出版物 全部的 前5名75位作者引用 10 娜塔莎·亚历奇纳 10 布赖恩·洛根 4 Nguyen、Hoang Nga 三 帕维尔·G·瑙莫夫。 三 阿卜杜尔·拉基布 2 弗雷德里克·梅耶·伯内兰 2 牛,尼尔斯 2 梅迪·达斯坦尼(Mehdi M.Dastani)。 2 斯特凡·德姆里。 2 Jensen,Peter Gjøl 2 金·古德斯特兰·拉森 2 马尔科·穆尼兹 2 阿尼埃洛·穆拉诺 2 佛朗哥·雷蒙迪 2 丹尼尔·罗内达尔 2 吉·斯尔巴 1 马里奥·阿尔维亚诺 1 谢尔盖·阿特莫夫 1 法里德·阿尔肖 1 菲利普·巴尔比亚尼 1 弗朗西斯科·贝拉迪内利 1 盖亚·贝拉迪内利 1 马克·贝泽姆 1 曹睿 1 陈、陶璐 1 斯特凡妮娅·科斯坦蒂尼 1 Jean-RenéCourtault 1 法比亚诺·达尔皮亚斯 1 朱塞佩·德贾科莫 1 黛拉·莫妮卡,达里奥 1 戴维·德尔安纳 1 卡亚·德乌瑟 1 大卫·费尔南德斯·杜克 1 安德烈亚·福米萨诺 1 布莱恩·盖恩斯(Brian R.Gaines)。 1 迪迪埃·加米歇 1 吉安路易吉·格雷科 1 朱利安·古铁雷斯 1 安东尼拉·古佐 1 马克·贾戈 1 沃伊切赫·贾姆罗加 1 巴特尔·皮特·库伊 1 库兹涅茨,罗马 1 伊夫莱斯佩伦斯 1 刘昌娟 1 刘芬荣 1 刘、胡 1 埃米利亚诺·洛里尼 1 瓦迪姆·马尔沃内 1 约翰·朱尔斯·查尔斯·梅耶 1 那不勒斯,玛格丽塔 1 阮黄雅(Nguyen Hoang Nga) 1 埃里克·帕奎特 1 帕伦特,米姆 1 帕特里齐,法比奥 1 朱塞佩·佩雷利 1 瓦伦蒂娜·皮托尼 1 朱塞佩·普里米埃罗 1 任、袁 1 伦茨维格,拉斯穆斯·克雷默 1 马丁·里纳德(Martin C.Rinard)。 1 萨沙·鲁宾 1 安提亚·索拉基 1 托马斯·斯蒂普尔斯 1 沃伊特克省Szajnkenig 1 陶,贾 1 汉斯·皮特·范·迪特马什 1 韦布鲁克(Rineke Verbrugge) 1 米查·瓦利基 1 魏晓鹏 1 温雪峰 1 迈克尔·J·伍尔德里奇。 1 张强 1 张远科 1 朱恩强 全部的 前5名17篇连载文章中引用 6 人工智能 5 逻辑、语言与信息杂志 三 合成 2 理论计算机科学 2 泛逻辑 1 信息学报 1 Automatica公司 1 计算机与系统科学杂志 1 哲学逻辑杂志 1 Studia Logica公司 1 纯逻辑与应用逻辑年鉴 1 人工智能通信 1 MSCS公司。计算机科学中的数学结构 1 应用非经典逻辑杂志 1 人工智能研究杂志 1 应用逻辑杂志 1 计算机科学中的逻辑方法 在3个字段中引用 29 数学逻辑和基础(03-XX) 29 计算机科学(68至XX) 7 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文