×

约翰·朱尔斯·查尔斯·梅耶

作者ID: 迈耶·约翰-朱尔斯-查尔斯“Meyer,John-Jules Charles”最近发表的zbMATH文章
发布日期: 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 塞斯·维特芬

按年份列出的出版物

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名

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名作者

按年份列出的引文