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