编辑配置文件(在新选项卡中打开) 约翰·朱尔斯·查尔斯·梅耶 合著者距离 作者ID: 迈耶·约翰-朱尔斯-查尔斯 发布日期: John-Jules Ch.梅耶。;梅耶,J.-J.Ch。;约翰·朱尔斯·迈耶;约翰·朱尔斯·查尔斯·梅耶;约翰·朱尔斯·C·迈耶。;梅耶,J.-J.C。;迈耶,J.-J。;约翰·梅耶(John-J.Ch.Meyer)。;梅耶,J.-J.Ch;J.J.梅耶。 更多。。。较少的 主页: https://www.uu.nl/staff/JJCMeyer网站 外部链接: MGP公司·谷歌学者·数据库许可证 已编制索引的文档: 162出版物自1981年以来,包括3本书和2份额外的arXiv预印本 作为编辑的10份贡献 审查活动: 68评论 合著者: 73位合著者具有153联合出版物 1385位合作作者 全部的 前5名合著者 15 单作者的 49 范德霍克,威比 22 德波尔(Frank S。 18 梅迪·达斯坦尼(Mehdi M.Dastani)。 14 雅各布斯·W·德·巴克。 14 迪格纳姆,F.P.M。 12 罗杰尔·范·艾克(Rogier M.van Eijk)。 11 Broersen,Jan M。 10 大卫·格罗西 10 范·林德(Bernd van Linder) 10 罗尔·韦林加(Roel J.Wieringa)。 9 Jan A.Bergstra。 7 保罗·图里尼 6 埃里克·P·德文克。 6 科恩·辛德里克斯。 6 简·特雷尔 6 van Riemsdijk,M.Birna先生 5 贾马尔·本塔哈 5 扬·威廉·克鲁普 5 罗斯加·马斯托普 5 奥尔德罗格(Ernst-Rüdiger Olderog) 5 杰弗里·扎克。 4 伯纳德·穆林 三 维基·德弗里斯 三 马克斯·诺布特 三 米查尔·辛德拉尔(Michal P.Sindlar)。 三 Nick Tinnemeier 2 娜塔莎·亚历奇纳 2 布拉希姆·查布德拉阿 2 文森特·德维特 2 弗吉尼亚州迪格纳姆 2 道德,德拉甘 2 汉斯·迪特·埃里奇 2 阿迪娜·玛格达·弗洛里亚 2 卢·高布尔 2 克里斯蒂安·格雷斯 2 阿扬·霍默索姆 2 杰伦·克拉本达姆 2 洛根,布莱恩 2 埃米利亚诺·洛里尼 2 亨利·普拉肯 2 西尔贾·雷诺瓦伊 2 莱恩,马克·德莫特 2 皮埃尔·伊夫·肖本斯 2 保罗·斯普鲁特 2 米林德·塔姆贝 2 Timmer,Sjoerd T。 2 巴特·维尔海伊 2 杰拉德·A·W·弗里斯维克。 2 汉斯·格奥尔格·威甘德 1 胡布·奥德威尔德 1 R.巴比尔。 1 丹尼斯,路易斯·阿比盖尔 1 克莱尔·狄克逊 1 帕特里克·多尔蒂 1 迈克尔·费希尔 1 Dov M.加巴伊。 1 保罗·哈伦斯坦 1 安德烈亚斯·赫齐格 1 乌尔里希·赫斯塔特 1 莫里斯·基布勒。 1 乔斯特·科克。 1 亨克·扬·勒宾 1 伊夫莱斯佩伦斯 1 穆罕默德·姆巴基 1 亚历山大·潘科夫 1 皮尔斯 1 Jan-Willem罗尔达 1 Royakkers,Lambèr M。 1 雷娜特·施密特(Renate A.Schmidt)。 1 菲利普·斯梅茨 1 Bas R.Steunebrink。 1 约翰·特洛伊尔。 1 琳达·C·范德加格。 1 汉斯·皮特·范·迪特马什 1 van Leeuwen,J.C。 1 范·沙根(J.W.van Schagen)。 1 威特曼,西利亚·L·M。 1 塞斯·维特芬 全部的 前5名系列 11 理论计算机科学 6 逻辑与计算杂志 5 国际智能系统杂志 5 数学与人工智能年鉴 5 计算机科学课堂讲稿 4 欧洲理论计算机科学协会(EATCS)公报 三 合成 三 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 三 计算机基础理论 三 应用逻辑杂志 2 信息学报 2 信息处理信件 2 逻辑与分析。Nouvelle Série公司 2 Studia Logica公司 2 逻辑、语言与信息杂志 2 应用非经典逻辑杂志 2 IGPL逻辑杂志 1 人工智能 1 比特币 1 计算机与系统科学杂志 1 圣母院形式逻辑杂志 1 数学社会科学 1 国际近似推理杂志 1 CWI季度 1 数据与知识工程 1 人工智能通信 1 国际计算机科学基础杂志 1 Elektronische信息verarbeitung und Kybernetik 1 国际计算机数学杂志 1 尼乌档案馆(Nieuw Archief voor Wiskunde)。维尔德(Vierde)Serie 1 分布式计算 1 工程、通信和计算中的应用代数 1 剑桥理论计算机科学丛书 1 应用逻辑学杂志-IfCoLog逻辑学及其应用杂志 全部的 前5名领域 151 计算机科学(68至XX) 68 数学逻辑和基础(03-XX) 8 总体主题;集合(00-XX) 8 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 历史和传记(01-XX) 1 一般拓扑结构(54至XX) 1 统计学(62-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 107出版物有被引用617中的次421文件 引用人▼ 年份▼ 人工智能和计算机科学的认识逻辑。 Zbl 0868.03001号 John-Jules Ch.梅耶。;范德霍克,威比 124 1995 道义逻辑的另一种方法:道义逻辑被视为动态逻辑的变体。 Zbl 0695.03009号 梅耶,J.-J.Ch。 68 1988 计算机科学中的道义逻辑:规范系统规范。 Zbl 0845.68088号 24 1993 使隐性知识的一些问题显性化。 Zbl 0759.68082号 范德霍克,W。;迈耶,J.-J.Ch。 19 1992 纳什均衡的模态特征。 Zbl 1041.03016号 保罗·哈伦斯坦;范德霍克,威比;约翰·朱尔斯·迈耶;Cees威特文 18 2003 对承诺动态的逻辑方法。 Zbl 0939.68831号 梅耶,J.-J.C。;范德霍克,W。;范·林德,B。 18 1999 带合并的递归的线性时间和分支时间语义。 Zbl 0985.68517号 德巴克尔,J.W。;J.A.伯格斯特拉。;Klop,J.W。;梅耶,J.-J.Ch。 17 1984 群体知识并不总是分布的(也不总是隐含的)。 Zbl 0942.68120号 范德霍克,威比;范·林德(Bernd van Linder);约翰·朱尔斯·迈耶 12 1999 并发的度量语义。 Zbl 0661.68011号 德·巴克尔,J.W。;梅耶,J.-J.Ch。 12 1988 命令式并发语义中的对比主题。 Zbl 0606.68019号 德巴克尔,J.W。;J.N.角。;梅耶,J.-J.Ch。;E.-R.奥尔德罗。;朱克,J.I。 11 1986 统一并发语义中的转换系统、度量空间和就绪集。 Zbl 0652.68028号 德巴克,J.W。;梅耶,J.-J.Ch。;E.-R.奥尔德罗。;朱克,J.I。 11 1988 认知逻辑中的分级形式。 Zbl 0978.03515号 范德霍克,W。;梅耶,J.-J.Ch。 11 1992 设计截止日期的道义逻辑。 Zbl 1169.03334号 简·布罗森;弗兰克,迪格纳姆;弗吉尼亚州迪格纳姆;John-Jules Ch.梅耶。 9 2004 多智能体的完整认知逻辑。 Zbl 0956.03022号 范德霍克,W。;J.J.梅耶。 9 1997 具有声明性目标的代理编程验证框架。 Zbl 1122.68078号 德波尔,F.S。;Hindriks,K.V.公司。;范德霍克,W。;梅耶,J.-J.Ch。 8 2007 基于认知状态的默认逻辑。 Zbl 0838.03021号 梅耶,J.-J.Ch。;范德霍克,W。 8 1995 让你改变主意的行动。 Zbl 0839.03016号 范·林德,B。;范德霍克,W。;梅耶,J.-J.Ch。 8 1995 自由选择和上下文允许的操作。 Zbl 0860.03021号 迪格纳姆,F。;梅耶,J.-J.Ch。;Wieringa,R.J。 8 1996 规范代理人的能力和机会。 Zbl 0903.68045号 范·林德,B。;范德霍克,W。;梅耶,J.-J.Ch。 8 1998 具有声明性目标的代理编程。 Zbl 1056.68562号 科恩·辛德里克斯。;德波尔,弗兰克·S。;范德霍克,威比;John-Jules Ch.梅耶。 7 2001 使用论证解释贝叶斯网络。 Zbl 1465.68243号 Timmer,Sjoerd T。;John-Jules Ch.梅耶。;亨利·普拉肯;西尔贾·雷诺瓦伊;巴特·维尔海伊 7 2015 用不动点理论合并正则过程。 Zbl 0602.68025号 梅耶,J.-J.Ch。 7 1986 理性代理的集成模式方法。 Zbl 0926.68108号 范德霍克,W。;范·林德,B。;梅耶,J.-J.Ch。 7 1999 规则动作道义逻辑的定点表征。 Zbl 0995.03016号 简·布罗森;罗埃尔·维林加;约翰·朱尔斯·迈耶 6 2001 计数的分类方面:模态逻辑分析。 兹伯利1116.03016 大卫·格罗西;John-Jules Ch.梅耶。;弗兰克·迪格纳姆 6 2006 元素并发流语义中的顺序和度量。 Zbl 0607.68014号 德巴克尔,J.W。;梅耶,J.-J.Ch。 6 1987 一致并发语义中的无限流和有限观察。 Zbl 0623.68016号 德巴克尔,J.W。;梅耶,J.-J.Ch。;E.-R.奥尔德罗。 6 1987 从贝叶斯网络中提取解释性参数的两阶段方法。 Zbl 1401.68331号 Sjoerd T·蒂默。;John-Jules Ch.梅耶。;亨利·普拉肯;里诺伊,西尔亚;巴特·维尔海伊 5 2017 在道义推理中使用编程概念。 Zbl 0716.03017号 梅耶,J.-J.Ch。 5 1989 更新安全协议的语义。 Zbl 1072.03019号 阿扬·霍默索姆;约翰·朱尔斯·迈耶;埃里克·德文克 5 2004 自治和代理人审议。 Zbl 1098.68911号 达斯塔尼,迈赫迪;弗兰克·迪格纳姆;约翰·朱尔斯·迈耶 5 2004 用于推理动作和代理的动态逻辑。 Zbl 0988.03054号 梅耶,J.-J.Ch。 5 2000 规范体系规范中的参与者、行动和倡议。 Zbl 0976.03514号 Wieringa,R.J。;梅耶,J.-J.Ch 5 1993 继承动态和道义诚信约束或:老板有更多权利吗? Zbl 0873.68134号 维林加,R.J。;魏甘德,H。;梅耶,J.-J.Ch。;迪格纳姆,F.P.M。 5 1991 规范的多智能体程序及其逻辑。 Zbl 1258.68155号 达斯塔尼,迈赫迪;大卫·格罗西;John-Jules Ch.梅耶。;Nick Tinnemeier 4 2009 关于情绪因素的推理。 Zbl 1104.68766号 John-Jules Ch.梅耶。 4 2006 信念的可能逻辑。 Zbl 0786.03020号 范德霍克,W。;梅耶,J.-J.Ch。 4 1989 能力的逻辑。 Zbl 0964.03520号 范德霍克,W。;范·林德,B。;梅耶,J.-J.Ch。 4 1994 上下文术语。 兹比尔1236.68225 大卫·格罗西;弗兰克·迪格纳姆;John-Jules Ch.梅耶。 三 2006 多智能体系统中信息交换的故障语义。 Zbl 0999.68210号 德波尔(Frank S。;罗杰尔·范·艾克(Rogier M.van Eijk)。;范德霍克,威比;John-Jules Ch.梅耶。 三 2000 KARO代理理论中的验证。 Zbl 0988.68180号 乌尔里希·赫斯塔特;克莱尔·狄克逊;雷娜特·施密特(Renate A.Schmidt)。;迈克尔·费希尔;约翰·朱尔斯·迈耶;范德霍克,威比 三 2001 算作:分类还是构成?使用模态逻辑的答案。 Zbl 1148.03315号 大卫·格罗西;John-Jules Ch.梅耶。;弗兰克·迪格纳姆 三 2006 编程规范更改。 兹比尔1400.68055 达斯塔尼,迈赫迪;约翰·朱尔斯·迈耶;Nick Tinnemeier 三 2012 社会最佳规范的道义逻辑。 Zbl 1143.03337号 简·布罗森;罗斯加·马斯托普;John-Jules Ch.梅耶。;保罗·图里尼 三 2008 指定整数集时。 Zbl 0554.68008号 Jan A.Bergstra。;约翰·梅耶(John-J.Ch.Meyer)。 三 1984 一致并发语义中的无限流和有限观察。 Zbl 0566.68011号 德巴克尔,J.W。;梅耶,J.-J.Ch。;E.-R.奥尔德罗。 三 1985 用单调方法进行非单调推理。 Zbl 0789.68129号 梅耶,J.-J.Ch。;范德霍克,W。 三 1991 多智能体系统中信息交换的完全抽象模型。 Zbl 1038.68019号 德波尔(Frank S。;罗杰尔·范·艾克(Rogier M.van Eijk)。;范德霍克,威比;约翰·朱尔斯·迈耶。 三 2003 有选择能力的代理。 Zbl 0971.03022号 范德霍克,威比;范·林德(Bernd van Linder);约翰·朱尔斯·迈耶 三 2000 道义逻辑中“最深”悖论的简单解决方案。 Zbl 0642.03005号 梅耶,J.-J.Ch。 三 1987 集体义务和代理人:谁受到指责? Zbl 1169.68615号 大卫·格罗西;弗兰克·迪格纳姆;Royakkers,Lambèr M。;John-Jules Ch.梅耶。 2 2004 counts-as的多个方面:对构成规则的形式分析。 Zbl 1149.68421号 大卫·格罗西;John-Jules Ch.梅耶。;弗兰克·迪格纳姆 2 2008 理性团队:多智能体系统的逻辑方面。 Zbl 1102.68104号 胡布·奥德威尔德;范德霍克,威比;约翰·朱尔斯·迈耶 2 2004 关于指称语义中的无限计算。 Zbl 0514.68018号 德巴克尔,J.W。;梅耶,J.-J.Ch。;朱克,J.I。 2 1983 带合并的递归的线性时间和分支时间语义。 Zbl 0527.68011号 德巴克尔,J.W。;J.A.伯格斯特拉。;Klop,J.W。;梅耶,J.-J.Ch。 2 1983 勘误:关于指称语义中的无限计算。 Zbl 0533.68020号 德巴克尔,J.W。;迈耶,J.-J.Ch。;朱克,J.I。 2 1984 仅使用一元隐藏函数的有限最小非oid的等式规范。 Zbl 0548.68016号 Jan A.Bergstra。;约翰·朱尔斯·迈耶。 2 1982 上下文分类。 Zbl 1081.68682号 大卫·格罗西;弗兰克·迪格纳姆;John-Jules Ch.梅耶。 2 2005 上下文道义逻辑。 Zbl 0940.03024号 杰伦·克拉本达姆;约翰·朱尔斯·迈耶 2 1999 紧性在流的Smyth幂域中的应用。 Zbl 0614.68015号 梅耶,J.-J.Ch。;德文克,E.P。 2 1987 多智能体系统中的迭代信念变化。 Zbl 1044.03011号 Jan-Willem罗尔达;范德霍克,威比;约翰·朱尔斯·迈耶 2 2003 通过细化和协议进行规范:使用地标和契约来设计代理交互。 Zbl 1022.68728号 汉斯·维甘德;弗吉尼亚州迪格纳姆;约翰·朱尔斯·迈耶;弗兰克·迪格纳姆 2 2003 关于编程KARO代理。 Zbl 0974.68202号 约翰·朱尔斯·迈耶;法兰克·德波尔;罗杰·范·艾伊克;科恩·欣德里克斯;范德霍克,威比 2 2001 紧性在流的Smyth幂域中的应用。 Zbl 0652.68027号 梅耶,J.-J.Ch。;德文克,E.P。 2 1988 隐藏统一并发的流语义。 兹比尔0672.68008 梅耶,J.-J.Ch。;E.-R.奥尔德罗。 2 1990 眼见为实。听觉和跳跃也是如此。 Zbl 0868.03013号 范·林德,B。;范德霍克,W。;梅耶,J.-J.Ch。 2 1997 通过违约进行反事实推理。 Zbl 0866.03017号 梅耶,J.-J.Ch。;范德霍克,W。 2 1993 关于知识和不确定性的推理方式。 Zbl 0955.03512号 范德霍克,威比;约翰·朱尔斯·迈耶 2 1996 智能代理中计划修订的语义。 Zbl 1086.68084号 范·里姆斯迪克(M.Birna van Riemsdijk);John-Jules Ch.梅耶。;德波尔(Frank S。 1 2006 不可行推理不确定性管理系统手册。第6卷:推理过程的动力学和管理。 Zbl 0984.00013号 1 2001 认识逻辑。 Zbl 1016.03004号 梅耶,J.-J.Ch。 1 2001 时间认知反射的形式语义学。 Zbl 1051.68126号 范德霍克,威比;约翰·朱尔斯·迈耶;简·特雷尔 1 2001 代理编程中计划修订的动态逻辑。 Zbl 1116.68093号 范·里姆斯迪克(M.Birna van Riemsdijk);德波尔(Frank S。;John-Jules Ch.梅耶。 1 2006 信息独立性:模型和范式。 Zbl 0891.68114号 琳达·C·范德加格。;迈耶,J.-J.Ch。 1 1998 我们寻求代理验证的圣杯。 Zbl 1132.68738号 John-Jules Ch.梅耶。 1 2007 道义逻辑和人为的规范体系。第八届计算机科学道义逻辑国际研讨会,DEON 2006,荷兰乌得勒支,2006年7月12日至14日。诉讼程序。 Zbl 1108.03006号 1 2006 不可行推理和不确定性管理系统手册。七: 动态环境中基于Agent的不可行控制。 Zbl 1058.68090号 1 2002 计算机科学的认识逻辑:教程。一、。 Zbl 0744.68117号 梅耶,J.-J.Ch。;范德霍克,W。;Vreeswijk,G.A.W。 1 1991 Pomset语义用于同步和递归的真正并发。 Zbl 0755.68099号 梅耶,J.-J.Ch。;德文克,E.P。 1 1989 计算机科学的认识逻辑:教程。二、。 Zbl 0760.68073号 迈耶,J.-J.Ch。;范德霍克,W。;Vreeswijk,G.A.W。 1 1991 知识表示的模态逻辑。 Zbl 0760.68076号 梅耶,J.-J.Ch。 1 1992 程序与功能程序的正确性。 Zbl 0463.68021号 德巴克尔,J.W。;Klop,J.W。;梅耶,J.-J.Ch。 1 1981 关于指称语义中的无限计算。 Zbl 0477.68022号 德巴克,J.W。;梅耶,J.-J.Ch。;朱克,J.I。 1 1982 程序与功能程序的正确性。(扩展摘要)。 Zbl 0481.68015号 德·巴克尔,J.W。;Klop,J.W。;梅耶,J.-J.Ch。 1 1982 一种新的代理通信逻辑语义。 Zbl 1177.68218号 贾马尔·本塔哈尔;伯纳德·穆林;John-Jules Ch.梅耶。;伊夫莱斯佩伦斯 1 2007 用于协调组操作的编程语言。 Zbl 1053.68922号 维基·德弗里斯;德波尔(Frank S。;科恩·辛德里克斯。;范德霍克,威比;约翰·朱尔斯·C·迈耶。 1 2002 战略能力更新操作员。 Zbl 1196.03025号 保罗·图里尼;简·布罗森;罗斯加·马斯托普;约翰·朱尔斯·迈耶 1 2009 规范变化的动态逻辑。 Zbl 1403.68270号 马克斯·诺布特;达斯塔尼,迈赫迪;约翰·朱尔斯,迈耶 1 2016 规范多代理程序的逻辑。 Zbl 1262.68163号 达斯塔尼,迈赫迪;John-Jules Ch.梅耶。;大卫·格罗西 1 2013 禁止不受欢迎的协议:基于依赖性的多代理系统监管方法。 Zbl 1250.68247号 保罗·图里尼;大卫·格罗西;简·布罗森;John-Jules Ch.梅耶。 1 2010 关于算法逻辑片段中迭代量词的消除。 Zbl 0507.03008号 J.A.伯格斯特拉。;梅耶,J.-J.Ch。 1 1982 带合并的递归的线性时间和分支时间语义。 Zbl 0517.68026号 德巴克,J.W。;J.A.伯格斯特拉。;Klop,J.W。;梅耶,J.-J.Ch。 1 1983 代数规范的一个简单转移引理。 Zbl 0522.68025号 J.A.伯格斯特拉。;梅耶,J.-J.Ch。 1 1982 使用递归实现“真实”并发的步骤语义。 Zbl 0703.68073号 梅耶,J.-J.C。;德文克,E.P。 1 1989 基于论证的agent通信语用学的模态语义。 Zbl 1117.68506号 贾马尔·本塔哈;伯纳德·穆林;John-Jules Ch.梅耶。;布拉希姆·查布德拉阿 1 2005 使用定理证明来验证代理程序的属性。 Zbl 1201.68068号 北阿勒奇纳州。;M.达斯坦尼。;F.汗。;B·洛根。;梅耶,J.-J.Ch。 1 2010 有情绪的代理人。 兹比尔1211.68453 达斯塔尼,迈赫迪;John-Jules Ch.梅耶。 1 2010 发布用于临时化动态逻辑的逻辑。正交化模态逻辑。 Zbl 0974.03504号 杰伦·克拉本达姆;约翰·朱尔斯·迈耶 1 2000 全混合微积分,它的互模拟不变性及其在论证中的应用。 Zbl 1361.68231号 克里斯蒂安·格雷斯;阿迪娜·玛格达·弗洛里亚;John-Jules Ch.梅耶。 1 2012 将代理的潜力正式化。重新审视KARO框架。 Zbl 0972.68151号 范德霍克,W。;梅耶,J.-J.Ch。;van Schagen,J.W。 1 2000 从贝叶斯网络中提取解释性参数的两阶段方法。 Zbl 1401.68331号 Sjoerd T·蒂默。;约翰·朱尔斯·迈耶。;亨利·普拉肯;西尔贾·雷诺瓦伊;巴特·维尔海伊 5 2017 规范变化的动态逻辑。 Zbl 1403.68270号 马克斯·诺布特;达斯塔尼,迈赫迪;约翰·朱尔斯·迈耶 1 2016 使用论证解释贝叶斯网络。 Zbl 1465.68243号 Sjoerd T·蒂默。;John-Jules Ch.梅耶。;亨利·普拉肯;西尔贾·雷诺瓦伊;巴特·维尔海伊 7 2015 智能代理和多代理系统的逻辑。 Zbl 1404.68009号 John-Jules Ch.梅耶。 1 2014 规范多代理程序的逻辑。 兹比尔1262.68163 达斯塔尼,迈赫迪;John-Jules Ch.梅耶。;大卫·格罗西 1 2013 编程规范更改。 Zbl 1400.68055号 达斯塔尼,迈赫迪;约翰·朱尔斯·迈耶;Nick Tinnemeier 三 2012 全混合微积分,它的互模拟不变性及其在论证中的应用。 Zbl 1361.68231号 克里斯蒂安·格雷斯;阿迪娜·玛格达·弗洛里亚;John-Jules Ch.梅耶。 1 2012 禁止不受欢迎的协议:基于依赖性的多代理系统监管方法。 Zbl 1250.68247号 保罗·图里尼;大卫·格罗西;简·布罗森;John-Jules Ch.梅耶。 1 2010 使用定理证明来验证代理程序的属性。 Zbl 1201.68068号 阿勒奇纳,N。;M.达斯坦尼。;F.汗。;B·洛根。;梅耶,J.-J.Ch。 1 2010 有情绪的特工。 Zbl 1211.68453号 达斯塔尼,迈赫迪;John-Jules Ch.梅耶。 1 2010 规范的多智能体程序及其逻辑。 Zbl 1258.68155号 达斯塔尼,迈赫迪;大卫·格罗西;John-Jules Ch.梅耶。;Nick Tinnemeier 4 2009 战略能力更新操作员。 Zbl 1196.03025号 保罗·图里尼;简·布罗森;罗斯加·马斯托普;约翰·朱尔斯·迈耶 1 2009 社会最佳规范的道义逻辑。 Zbl 1143.03337号 简·布罗森;罗斯加·马斯托普;John-Jules Ch.梅耶。;保罗·图里尼 三 2008 计数的多个方面是:构成规则的形式分析。 Zbl 1149.68421号 大卫·格罗西;John-Jules Ch.梅耶。;弗兰克·迪格纳姆 2 2008 具有声明性目标的代理编程验证框架。 Zbl 1122.68078号 德波尔,F.S。;Hindriks,K.V.公司。;范德霍克,W。;梅耶,J.-J.Ch。 8 2007 我们寻求代理验证的圣杯。 Zbl 1132.68738号 John-Jules Ch.梅耶。 1 2007 一种新的代理通信逻辑语义。 Zbl 1177.68218号 贾马尔·本塔哈;伯纳德·穆林;约翰·朱尔斯·迈耶。;伊夫莱斯佩伦斯 1 2007 计数的分类方面:模态逻辑分析。 Zbl 1116.03016号 大卫·格罗西;John-Jules Ch.梅耶。;弗兰克,迪格纳姆 6 2006 关于情绪因素的推理。 Zbl 1104.68766号 John-Jules Ch.梅耶。 4 2006 上下文术语。 Zbl 1236.68225号 大卫·格罗西;弗兰克·迪格纳姆;John-Jules Ch.梅耶。 三 2006 算作:分类还是构成?使用模态逻辑的答案。 Zbl 1148.03315号 大卫·格罗西;John-Jules Ch.梅耶。;弗兰克·迪格纳姆 三 2006 智能代理中计划修订的语义。 Zbl 1086.68084号 范·里姆斯迪克(M.Birna van Riemsdijk);John-Jules Ch.梅耶。;德波尔,弗兰克·S。 1 2006 代理编程中计划修订的动态逻辑。 Zbl 1116.68093号 范·里姆斯迪克(M.Birna van Riemsdijk);德波尔(Frank S。;John-Jules Ch.梅耶。 1 2006 道义逻辑和人工规范系统。第八届计算机科学道义逻辑国际研讨会,DEON 2006,荷兰乌得勒支,2006年7月12日至14日。诉讼程序。 Zbl 1108.03006号 1 2006 上下文分类。 Zbl 1081.68682号 大卫·格罗西;弗兰克·迪格纳姆;John-Jules Ch.梅耶。 2 2005 基于论证的agent通信语用学的模态语义。 Zbl 1117.68506号 贾马尔·本塔哈;伯纳德·穆林;约翰·朱尔斯·迈耶。;布拉希姆·查布德拉阿 1 2005 设计截止日期的道义逻辑。 Zbl 1169.03334号 简·布罗森;弗兰克,迪格纳姆;弗吉尼亚州迪格纳姆;John-Jules Ch.梅耶。 9 2004 更新安全协议的语义。 Zbl 1072.03019号 阿扬·霍默索姆;约翰·朱尔斯·迈耶;埃里克·德文克 5 2004 自治和代理人审议。 Zbl 1098.68911号 达斯塔尼,迈赫迪;弗兰克·迪格纳姆;约翰·朱尔斯·迈耶 5 2004 集体义务和代理人:谁受到指责? Zbl 1169.68615号 大卫·格罗西;弗兰克·迪格纳姆;Royakkers,Lambèr M。;John-Jules Ch.梅耶。 2 2004 理性团队:多代理系统的逻辑方面。 兹比尔1102.68104 胡布·奥德威尔德;范德霍克,威比;约翰·朱尔斯·迈耶 2 2004 纳什均衡的模态特征。 Zbl 1041.03016号 保罗·哈伦斯坦;范德霍克,威比;约翰·朱尔斯·迈耶;塞斯·维特芬 18 2003 多智能体系统中信息交换的完全抽象模型。 Zbl 1038.68019号 德波尔(Frank S。;罗杰尔·范·艾克(Rogier M.van Eijk)。;范德霍克,威比;John-Jules Ch.梅耶。 三 2003 多智能体系统中的迭代信念变化。 Zbl 1044.03011号 Jan-Willem罗尔达;范德霍克,威比;约翰·朱尔斯·迈耶 2 2003 通过细化和协议进行规范:使用地标和合同设计代理交互。 兹比尔1022.68728 汉斯·维甘德;弗吉尼亚州迪格纳姆;约翰·朱尔斯·迈耶;弗兰克,迪格纳姆 2 2003 不可行推理和不确定性管理系统手册。七: 动态环境中基于Agent的不可行控制。 Zbl 1058.68090号 1 2002 用于协调组操作的编程语言。 Zbl 1053.68922号 维基·德弗里斯;德波尔(Frank S。;科恩·辛德里克斯。;范德霍克,威比;约翰·朱尔斯·C·迈耶。 1 2002 具有声明性目标的代理编程。 Zbl 1056.68562号 科恩·辛德里克斯。;德波尔(Frank S。;范德霍克,威比;John-Jules Ch.梅耶。 7 2001 规则动作道义逻辑的定点表征。 Zbl 0995.03016号 简·布罗森;罗埃尔·维林加;约翰·朱尔斯,迈耶 6 2001 KARO代理理论中的验证。 Zbl 0988.68180号 乌尔里希·赫斯塔特;克莱尔·狄克逊;雷娜特·施密特(Renate A.Schmidt)。;迈克尔·费希尔;约翰·朱尔斯·迈耶;范德霍克,威比 三 2001 关于编程KARO代理。 Zbl 0974.68202号 约翰·朱尔斯·迈耶;法兰克·德波尔;罗杰·范·艾伊克;科恩·欣德里克斯;范德霍克,威比 2 2001 可废止推理不确定性管理系统手册。第6卷:推理过程的动力学和管理。 Zbl 0984.00013号 1 2001 认识逻辑。 Zbl 1016.03004号 梅耶,J.-J.Ch。 1 2001 时间认知反射的形式语义学。 兹比尔1051.68126 范德霍克,威比;约翰·朱尔斯·迈耶;简·特雷尔 1 2001 代理通信中动态生成的本体翻译器。 Zbl 0979.68013号 罗吉尔·M·范艾克。;德波尔(Frank S。;范德霍克,威比;John-Jules Ch.梅耶。 1 2001 用于推理动作和代理的动态逻辑。 Zbl 0988.03054号 梅耶,J.-J.Ch。 5 2000 多智能体系统中信息交换的故障语义。 Zbl 0999.68210号 德波尔(Frank S。;罗杰尔·范·艾克(Rogier M.van Eijk)。;范德霍克,威比;John-Jules Ch.梅耶。 三 2000 有选择能力的代理。 Zbl 0971.03022号 范德霍克,威比;范·林德(Bernd van Linder);约翰·朱尔斯·迈耶 三 2000 发布用于临时化动态逻辑的逻辑。正交化模态逻辑。 兹比尔0974.03504 杰伦·克拉本达姆;约翰·朱尔斯·迈耶 1 2000 将代理的潜力正式化。重新审视KARO框架。 Zbl 0972.68151号 范德霍克,W。;梅耶,J.-J.Ch。;范·沙根(J.W.van Schagen)。 1 2000 开放式多agent系统:agent通信和集成。 Zbl 0970.68662号 罗杰尔·范·艾克(Rogier M.van Eijk)。;德波尔(Frank S。;范德霍克,威比;John-Jules Ch.梅耶。 1 2000 命题动态逻辑中持久性的语义。 Zbl 0983.03021号 简·布罗森;罗埃尔·维林加;约翰·朱尔斯,迈耶 1 2000 对承诺动态的逻辑方法。 Zbl 0939.68831号 梅耶,J.-J.C。;范德霍克,W。;范·林德,B。 18 1999 群体知识并不总是分布的(也不总是隐含的)。 Zbl 0942.68120号 范德霍克,威比;范·林德(Bernd van Linder);约翰·朱尔斯·迈耶 12 1999 理性代理的集成模式方法。 Zbl 0926.68108号 范德霍克,W。;范·林德,B。;梅耶,J.-J.Ch。 7 1999 上下文道义逻辑。 Zbl 0940.03024号 杰伦·克拉本达姆;约翰·朱尔斯·迈耶 2 1999 规范代理人的能力和机会。 Zbl 0903.68045号 van Linder,B。;范德霍克,W。;梅耶,J.-J.Ch。 8 1998 信息独立性:模型和范式。 Zbl 0891.68114号 琳达·C·范德加格。;梅耶,J.-J.Ch。 1 1998 时间化认知缺省逻辑。 Zbl 0921.03036号 范德霍克,威比;约翰·朱尔斯·迈耶;简·特雷尔 1 1998 多智能体的完整认知逻辑。 Zbl 0956.03022号 范德霍克,W。;J.J.梅耶。 9 1997 眼见为实。听力和跳跃也是如此。 Zbl 0868.03013号 van Linder,B。;范德霍克,W。;梅耶,J.-J.Ch。 2 1997 默认推理的动态。 兹比尔0900.68392 范·林德,B。;范德霍克,W。;梅耶,J.-J.Ch。 1 1997 自由选择和上下文允许的操作。 Zbl 0860.03021号 迪格纳姆,F。;梅耶,J.-J.Ch。;Wieringa,R.J。 8 1996 关于知识和不确定性的推理方式。 Zbl 0955.03512号 范德霍克,威比;约翰·朱尔斯·迈耶 2 1996 人工智能和计算机科学的认识逻辑。 Zbl 0868.03001号 John-Jules Ch.梅耶。;范德霍克,威比 124 1995 基于认知状态的默认逻辑。 Zbl 0838.03021号 梅耶,J.-J.Ch。;范德霍克,W。 8 1995 让你改变主意的行动。 Zbl 0839.03016号 范·林德,B。;范德霍克,W。;梅耶,J.-J.Ch。 8 1995 逻辑数据库中被动和主动更新的公理化、声明语义和操作语义。 Zbl 0988.68551号 保罗·斯普鲁特;罗埃尔·维林加;约翰·朱尔斯·迈耶 1 1995 能力的逻辑。 Zbl 0964.03520号 范德霍克,W。;范·林德,B。;梅耶,J.-J.Ch。 4 1994 计算机科学中的道义逻辑:规范系统规范。 兹比尔0845.68088 24 1993 规范体系规范中的参与者、行动和倡议。 Zbl 0976.03514号 Wieringa,R.J。;迈耶,J.-J.Ch 5 1993 通过违约进行反事实推理。 Zbl 0866.03017号 梅耶,J.-J.Ch。;范德霍克,W。 2 1993 使隐性知识的一些问题显性化。 Zbl 0759.68082号 范德霍克,W。;梅耶,J.-J.Ch。 19 1992 认知逻辑中的分级形式。 Zbl 0978.03515号 范德霍克,W。;梅耶,J.-J.Ch。 11 1992 知识表示的模态逻辑。 Zbl 0760.68076号 梅耶,J.-J.Ch。 1 1992 继承动态和道义诚信约束或:老板有更多权利吗? 兹伯利0873.68134 Wieringa,R.J。;魏甘德,H。;梅耶,J.-J.Ch。;迪格纳姆,F.P.M。 5 1991 用单调方法进行非单调推理。 Zbl 0789.68129号 梅耶,J.-J.Ch。;范德霍克,W。 三 1991 计算机科学的认识逻辑:教程。一、。 Zbl 0744.68117号 梅耶,J.-J.Ch。;范德霍克,W。;Vreeswijk,G.A.W。 1 1991 计算机科学的认识逻辑:教程。二、。 Zbl 0760.68073号 梅耶,J.-J.Ch。;范德霍克,W。;Vreeswijk,G.A.W。 1 1991 隐藏统一并发的流语义。 Zbl 0672.68008号 迈耶,J.-J.Ch。;E.-R.奥尔德罗。 2 1990 在道义推理中使用编程概念。 Zbl 0716.03017号 梅耶,J.-J.Ch。 5 1989 信念的可能逻辑。 Zbl 0786.03020号 范德霍克,W。;梅耶,J.-J.Ch。 4 1989 Pomset语义用于同步和递归的真正并发。 Zbl 0755.68099号 梅耶,J.-J.Ch。;德文克,E.P。 1 1989 递归“真正”并发的步骤语义。 Zbl 0703.68073号 梅耶,J.-J.C。;德文克,E.P。 1 1989 道义逻辑的另一种方法:道义逻辑被视为动态逻辑的变体。 Zbl 0695.03009号 梅耶,J.-J.Ch。 68 1988 并发的度量语义。 Zbl 0661.68011号 德巴克尔,J.W。;梅耶,J.-J.Ch。 12 1988 统一并发语义中的转换系统、度量空间和就绪集。 Zbl 0652.68028号 德巴克,J.W。;梅耶,J.-J.Ch。;E.-R.奥尔德罗。;朱克,J.I。 11 1988 紧性在流的Smyth幂域中的应用。 Zbl 0652.68027号 梅耶,J.-J.Ch。;德文克,E.P。 2 1988 元素并发流语义中的顺序和度量。 Zbl 0607.68014号 德巴克尔,J.W。;梅耶,J.-J.Ch。 6 1987 一致并发语义中的无限流和有限观测。 Zbl 0623.68016号 德巴克尔,J.W。;梅耶,J.-J.Ch。;E.-R.奥尔德罗。 6 1987 道义逻辑中“最深”悖论的简单解决方案。 Zbl 0642.03005号 梅耶,J.-J.Ch。 三 1987 紧性在流的Smyth幂域中的应用。 Zbl 0614.68015号 梅耶,J.-J.Ch。;德文克,E.P。 2 1987 命令式并发语义中的对比主题。 Zbl 0606.68019号 德巴克尔,J.W。;J.N.角。;梅耶,J.-J.Ch。;奥尔德罗格,E.-R。;朱克,J.I。 11 1986 用不动点理论合并正则过程。 Zbl 0602.68025号 梅耶,J.-J.Ch。 7 1986 一致并发语义中的无限流和有限观察。 Zbl 0566.68011号 德巴克尔,J.W。;梅耶,J.-J.Ch。;E.-R.奥尔德罗。 三 1985 带合并的递归的线性时间和分支时间语义。 Zbl 0985.68517号 德巴克尔,J.W。;J.A.伯格斯特拉。;Klop,J.W。;梅耶,J.-J.Ch。 17 1984 指定整数集时。 Zbl 0554.68008号 Jan A.Bergstra。;约翰·梅耶(John-J.Ch.Meyer)。 三 1984 勘误:关于指称语义中的无限计算。 Zbl 0533.68020号 德·巴克尔,J.W。;梅耶,J.-J.Ch。;朱克,J.I。 2 1984 关于指称语义中的无限计算。 兹伯利0514.68018 德巴克尔,J.W。;梅耶,J.-J.Ch。;朱克,J.I。 2 1983 带合并的递归的线性时间和分支时间语义。 Zbl 0527.68011号 德巴克尔,J.W。;J.A.伯格斯特拉。;Klop,J.W。;梅耶,J.-J.Ch。 2 1983 …还有7个文档 所有引用出版物 排名前五的出版物 全部的 前5名490位作者引用 32 约翰·朱尔斯·查尔斯·梅耶 26 范德霍克,威比 17 汉斯·皮特·范·迪特马什 15 埃米利亚诺·洛里尼 13 托马斯·奥戈特内斯 10 Broersen,Jan M。 9 菲利普·巴尔比亚尼 9 梅迪·达斯坦尼(Mehdi M.Dastani)。 9 雅各布斯·W·德·巴克。 8 Jan A.Bergstra。 7 巴勃罗·卡斯特罗。 7 迈克尔·费希尔 7 大卫·格罗西 7 巴特尔·皮特·库伊 7 范德托雷,Leendert W.N。 7 迈克尔·J·伍尔德里奇。 6 娜塔莎·亚历奇纳 6 弗朗西斯科·贝拉迪内利 6 克莱尔·狄克逊 6 安德烈亚斯·赫齐格 6 托马斯·斯蒂芬·爱德华·迈鲍姆 6 奥尔德罗格(Ernst-Rüdiger Olderog) 6 托马斯·施图德 5 德波尔(Frank S。 5 迪格纳姆,F.P.M。 5 路易斯·戈多 5 沃伊切赫·贾姆罗加 5 Kuijer、Louwe Bouke 5 阿莱西奥·洛穆西奥 5 埃里克·帕奎特 5 亨利·普拉肯 5 西尔贾·雷诺瓦伊 5 罗伊,奥利维尔 5 Gerardo Schneider公司 5 伊戈尔·塞德拉尔 5 van Benthem,Johan F.A.K。 5 费尔南多·雷蒙多(Fernando Raymundo) 4 谢尔盖·阿特莫夫 4 埃里克·P·德文克。 4 科恩·辛德里克斯。 4 杰西·休斯 4 刘昌娟 4 刘、胡 4 布赖恩·洛根 4 米拉·塞德尔巴姆少校。 4 阮琳安 4 乔瓦尼·萨托 4 马雷克·塞尔戈特。 4 保罗·图里尼 4 王燕京 4 罗尔·韦林加(Roel J.Wieringa)。 三 克里斯特尔·拜尔 三 亚历山大·巴尔塔格 三 牛,尼尔斯 三 弗朗西安·戴奇森 三 尤尔根·迪克斯 三 董惠民 三 巴巴拉·杜宁·科普里茨 三 劳尔·费尔瓦里 三 法语,蒂姆 三 鲁斯塔姆·加利姆林 三 亚历山德罗·佐丹尼 三 圭多州长 三 乌尔里希·赫斯塔特 三 马莫鲁·卡内科 三 乔斯特·科克。 三 邱恩·荣·廖 三 刘芬荣 三 阿尼埃洛·穆拉诺 三 家长,Xavier 三 克里斯蒂安·普里萨卡里奥 三 安东尼诺·罗托洛 三 塞巴斯蒂安·萨迪纳 三 弗朗索瓦州施瓦岑特鲁伯 三 Sierra,Carles公司 三 Smets,Sonja J.L。 三 苏凯乐 三 铃木,Nobu-Yuki 三 斯扎·阿斯(Szałas)、安德烈吉(Andrzej) 三 弗朗西丝卡·托尼 三 简·特雷尔 三 弗兰克·范·布鲁格尔 三 罗杰尔·范·艾克(Rogier M.van Eijk)。 三 范·里姆斯迪克(M.Birna van Riemsdijk) 三 朱恩强 2 马尔科·阿尔贝蒂 2 美国,皮埃尔 2 本杰明·阿米诺夫 2 纪尧姆拍卖行 2 彼得罗·巴罗尼 2 贝伦,马修 2 贝内维特斯,马里奥·R·F·。 2 弗朗西斯科·贝尔托 2 凯·布伦勒 2 何塞·M·C·L·M·卡莫。 2 Jean-RenéCourtault 2 帕特里克·库索特 2 克利斯蒂约纳斯·采拉 2 达斯,拉米特 2 杰科·德·巴克 …还有390多名作者 全部的 前5名56篇连载文章被引用 35 理论计算机科学 29 人工智能 27 合成 25 Studia Logica公司 23 应用逻辑杂志 19 应用非经典逻辑杂志 14 逻辑、语言与信息杂志 12 数学与人工智能年鉴 12 符号逻辑述评 11 信息与计算 10 哲学逻辑杂志 9 国际近似推理杂志 6 国际智能系统杂志 5 纯逻辑与应用逻辑年鉴 4 信息学报 4 信息处理信件 三 圣母院形式逻辑杂志 三 逻辑科公报 三 自动推理杂志 三 工程、通信和计算中的应用代数 三 埃尔肯特尼斯 三 逻辑与代数程序设计杂志 2 经济理论 2 计算与数学组织理论 2 计算机基础理论 2 逻辑程序设计理论与实践 2 程序设计中的逻辑和代数方法杂志 1 应用数学与计算 1 Automatica公司 1 比特币 1 模糊集与系统 1 计算机与系统科学杂志 1 符号逻辑杂志 1 数学社会科学 1 符号计算杂志 1 新一代计算 1 国际并行程序设计杂志 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 欧洲运筹学杂志 1 分布式计算 1 数学逻辑季刊(MLQ) 1 人工智能研究杂志 1 计算系统理论 1 托波伊 1 软计算 1 国际应用数学与计算机科学杂志 1 科学基础 1 逻辑与逻辑哲学 1 电子商务研究 1 计算智能 1 中国科学。F系列 1 泛逻辑 1 游戏 1 计算机科学前沿 1 Logicheskie Issledovaniya公司 全部的 前5名17个字段中引用 278 数学逻辑和基础(03-XX) 265 计算机科学(68至XX) 42 博弈论、经济学、金融和其他社会和行为科学(91-XX) 5 阶、格、有序代数结构(06-XX) 5 范畴理论;同调代数(18-XX) 5 一般拓扑结构(54至XX) 4 信息与通信理论、电路(94-XX) 三 历史和传记(01-XX) 三 统计学(62-XX) 2 总体主题;集合(00-XX) 2 组合数学(05-XX) 1 一般代数系统(08-XX) 1 数论(11-XX) 1 凸和离散几何(52-XX) 1 相对论和引力理论(83至XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 按年份列出的引文