菲利普·巴尔比亚尼;范德霍克,威比;Louwe B.Kuijer。 局部属性的简单公理。 (英语) Zbl 07810607号 Verbrugge,Rineke(编辑),《第十九届理性与知识理论方面会议记录》,TARK,英国牛津,2023年6月28日至30日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)37982-92(2023年)。MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}等人,《电子》。程序。西奥。计算。科学。(EPTCS)379,82--92(2023;Zbl 07810607) 全文: 内政部 arXiv公司
大卫·格罗西;范德霍克,威比;Louwe B.Kuijer。 关于一般偏好关系的推理。 (英语) 兹伯利07613171 Artif公司。智力。 313,文章ID 103793,44 p.(2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{D.Grossi}等人,Artif。智力。313,文章ID 103793,44页(2022;Zbl 07613171) 全文: 内政部
汉斯·范·迪特马什;范德霍克,威比;巴特尔·库伊;Louwe B.Kuijer。 箭头更新合成。 (英语) Zbl 1496.68326号 Inf.计算。 275,文章ID 104544,29 p.(2020).MSC公司:68T27型 03B42型 03B45号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}等人,《信息计算》。275,文章ID 104544,29 p.(2020;Zbl 1496.68326) 全文: 内政部 arXiv公司 哈尔
弗朗西斯科·贝拉迪内利;范德霍克,威比;Louwe B.Kuijer。 二阶命题模态逻辑:表达性和完备性结果。 (英语) Zbl 1436.03128号 Artif公司。智力。 263, 3-45 (2018).MSC公司:03B45号 03B16号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Belardinelli}等人,Artif。智力。263、3--45(2018年;Zbl 1436.03128) 全文: 内政部
弗朗西斯科·贝拉迪内利;汉斯·范·迪特马什;范德霍克,威比 全球和本地公告的逻辑。 (英语) Zbl 1483.03005号 Lang,Jéróme(编辑),《第十六届理性与知识理论方面会议论文集》,TARK 2017,英国利物浦,2017年7月24-26日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)251,28-42(2017)。MSC公司:03B42型 PDF格式BibTeX公司 XML格式引用 \textit{F.Belardinelli}等人,《电子》。程序。西奥。计算。科学。(EPTCS)251,28-42(2017年;兹bl 1483.03005) 全文: arXiv公司 链接
汉斯·范·迪特马什;范德霍克,威比;Louwe B.Kuijer。 任意箭头更新逻辑的不可判定性。 (英语) Zbl 1385.03012号 西奥。计算。科学。 693, 1-12 (2017). 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03B42型 03B45号 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}等人,Theor。计算。科学。693,1--12(2017;Zbl 1385.03012) 全文: 内政部 arXiv公司
汉斯·范·迪特马什;范德霍克,威比;巴特尔·库伊;Louwe B.Kuijer。 任意箭头更新逻辑。 (英语) Zbl 1392.68396号 Artif公司。智力。 242, 80-106 (2017).MSC公司:68T27型 03B42型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}等人,Artif。智力。242、80-106(2017;Zbl 1392.68396) 全文: 内政部
法语,蒂姆;范德霍克,威比;皮塔·伊利耶夫;巴特尔·库伊 关于一些模态逻辑的简洁性。 (英语) Zbl 1270.03037号 Artif公司。智力。 197, 56-85 (2013).MSC公司:03B45号 03B42型 03C13号机组 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.French}等人,Artif。智力。197、56——85(2013年;Zbl 1270.03037) 全文: 内政部 链接
汉斯·范·迪特马什;范德霍克,威比;巴特尔·库伊 模态逻辑中的局部属性。 (英语) Zbl 1251.03026号 Artif公司。智力。 187-188年、133-155年(2012年).MSC公司:03B45号 03B42型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}等人,Artif。智力。187-18133-155(2012年;Zbl 1251.03026) 全文: 内政部
尼古拉斯·特罗夸德;范德霍克,威比;迈克尔·伍尔德里奇 关于社会选择功能的推理。 (英语) 兹比尔1253.03044 J.菲洛斯。日志。 40,第4期,473-498(2011).MSC公司:03B45号 91B14号机组 PDF格式BibTeX公司 XML格式引用 \textit{N.Troquard}等人,J.Philos。日志。40,第4号,473--498(2011;Zbl 1253.03044) 全文: 内政部 arXiv公司
范德霍克,威比;皮塔·伊利耶夫;迈克尔·伍尔德里奇 半公共环境中的知识和行动。 (英语) Zbl 1298.03082号 van Ditmarsch,Hans(编辑)等人,《逻辑、理性与互动》。2011年10月10日至13日,第三次国际研讨会,LORI 2011,中国广州。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24129-1/pbk)。计算机科学课堂讲稿6953。人工智能课堂讲稿,97-110(2011)。MSC公司:03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{W.van der Hoek}等人,Lect。注释计算。科学。6953,97-110(2011;Zbl 1298.03082) 全文: 内政部
托马斯·奥戈特内斯;范德霍克,威比;迈克尔·伍尔德里奇 关于联盟游戏的推理。 (英语) Zbl 1180.68271号 Artif公司。智力。 173,第1期,45-79(2009).MSC公司:68T42型 03B45号 68T27型 68立方英尺 91A12号机组 PDF格式BibTeX公司 XML格式引用 \textit{T.奥戈特内斯}等人,Artif。智力。173,编号1,45--79(2009;Zbl 1180.68271) 全文: 内政部
尼古拉斯·特罗夸德;范德霍克,威比;迈克尔·伍尔德里奇 模型检查战略平衡。 (英语) Zbl 1226.68044号 Peled,Doron A.(编辑)等人,《模型检查和人工智能》。2008年7月21日在希腊帕特拉斯举行的2008年MoChArt第五届国际研讨会。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-642-00430-8/pbk)。计算机科学课堂讲稿5348。人工智能课堂讲稿,166-188(2009)。MSC公司:60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{N.Troquard}等人,Lect。注释计算。科学。5348166--188(2009年;Zbl 1226.68044) 全文: 内政部
托马斯·奥戈特内斯;范德霍克,威比;Rodríguez-Aguilar,Juan A。;卡莱斯·塞拉;迈克尔·伍尔德里奇 规范系统的时间逻辑。 (英语) Zbl 1156.03017号 戴维·梅金森(编辑)等人,《走向数学哲学》。2006年9月1日至4日在波兰托伦举行的Studia Logica会议《逻辑四的趋势》上发表的论文。柏林:施普林格出版社(ISBN 978-1-4020-9083-7/hbk;978-1-4020-9084-4/电子书)。逻辑趋势——Studia Logica Library 28,69-106(2009)。MSC公司:03B44号 65年第68季度 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{T.奥戈特斯}等人,《走向数学哲学》。2006年9月1日至4日在波兰托伦举行的Studia Logica会议《逻辑四的趋势》上发表的论文。柏林:斯普林格。69-106(2009年;Zbl 1156.03017) 全文: 内政部
尼维亚·德·卡瓦略·费雷拉;迈克尔·费希尔;范德霍克,威比 指定和推理不确定代理。 (英语) Zbl 1184.68502号 国际J近似推理 49,第1号,35-51(2008).MSC公司:68层37 03B48号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{N.de Carvalho Ferreira}等人,《国际近似推理》49,第1期,第35-51页(2008;Zbl 1184.68502) 全文: 内政部
托马斯·奥戈特内斯;范德霍克,威比;迈克尔·伍尔德里奇 量化联盟逻辑。 (英语) Zbl 1169.03020号 合成 165,第269-294号(2008年).MSC公司:03B60号 60年第68季度 68T27型 91A12号机组 91B14号机组 PDF格式BibTeX公司 XML格式引用 \textit{T.奥戈特内斯}等人,《合成》165,第2期,269--294(2008;Zbl 1169.03020) 全文: 内政部
科恩·欣德里克斯;范德霍克,威比 目标代理实例化意图逻辑。 (英语) Zbl 1178.68563号 Hölldobler,Steffen(编辑)等人,《人工智能中的逻辑》。第11届欧洲会议,JELIA 2008,德国德累斯顿,2008年9月28日至10月1日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-87802-5/pbk)。计算机科学课堂讲稿5293。人工智能课堂讲稿,232-244(2008)。MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{K.Hindriks}和\textit{W.van der Hoek},莱克特。注释计算。科学。5293、232--244(2008年;Zbl 1178.68563) 全文: 内政部 链接
保罗·E·邓恩。;范德霍克,威比;迈克尔·伍尔德里奇 定性联盟游戏的逻辑特征。 (英语) Zbl 1187.68622号 J.应用。非类别。日志。 17,第4期,477-509(2007).MSC公司:68T42型 03B45号 91A12号机组 68T27型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Dunne}等人,J.Appl。非类别。日志。17,第4号,477--509(2007;Zbl 1187.68622) 全文: 内政部
德波尔,F.S。;印地语,K.V。;范德霍克,W。;梅耶,J.-J.Ch。 具有声明性目标的代理编程验证框架。 (英语) Zbl 1122.68078号 J.应用。日志。 第5期,第2期,277-302页(2007年).MSC公司:60年第68季度 68时01分 03B70号 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{F.S.de Boer}等人,J.Appl。日志。5,第2号,277--302(2007;Zbl 1122.68078) 全文: 内政部
范德霍克,威比;马克·罗伯茨;迈克尔·伍尔德里奇 交替时间中的社会规律:有效性、可行性和综合性。 (英语) Zbl 1120.68097号 合成 156,第1期,第1-19页(2007年).MSC公司:68T27型 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.van der Hoek}等人,Synthese 156,No.1,1--19(2007;Zbl 1120.68097) 全文: 内政部
范德霍克,威比;沃伊切赫·贾姆罗加;迈克尔·伍尔德里奇 走向意图修正理论。 (英语) Zbl 1120.03013号 合成 155,第2期,265-290(2007). 审核人:David Makinson(伦敦) MSC公司:03B42型 03B45号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{W.van der Hoek}等人,Synthese 155,No.2,265--290(2007;Zbl 1120.03013) 全文: 内政部
范德霍克,威比;迈克尔·伍尔德里奇 关于合作逻辑和命题控制。 (英语) Zbl 1132.68744号 Artif公司。智力。 164,编号1-2,81-119(2005).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{W.van der Hoek}和\textit{M.Wooldridge},阿蒂夫。智力。164,编号1--2,81-119(2005;Zbl 1132.68744) 全文: 内政部
德波尔(Frank S。;维基·德弗里斯;John-Jules Ch.梅耶。;罗杰尔·范·艾克(Rogier M.van Eijk)。;范德霍克,威比 MAS中用于建模交互的过程代数和约束编程。 (英语) Zbl 1085.68100号 申请。代数工程通讯。计算。 16,编号2-3,113-150(2005).MSC公司:68问题85 68时01分 PDF格式BibTeX公司 XML格式引用 \textit{F.S.de Boer}等人,应用。代数工程通讯。计算。16,第2--3113-150号(2005;Zbl 1085.68100) 全文: 内政部
迈克尔·伍尔德里奇;范德霍克,威比 关于义务和规范能力:走向对社会契约的逻辑分析。 (英语) Zbl 1081.03021号 J.应用。日志。 3,编号3-4,396-420(2005). 审核人:路易斯·高布尔(塞勒姆) MSC公司:03B60号 03B45号 68T27型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Wooldridge}和\textit{W.van der Hoek},J.Appl。日志。3、编号3--4、396--420(2005;Zbl 1081.03021) 全文: 内政部
德波尔(Frank S。;罗杰尔·范·艾克(Rogier M.van Eijk)。;范德霍克,威比;John-Jules Ch.梅耶。 多智能体系统中信息交换的完全抽象模型。 (英语) Zbl 1038.68019号 西奥。计算。科学。 290,第3期,1753-1773(2003).MSC公司:68甲15 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{F.S.de Boer}等人,Theor。计算。科学。290,第3号,1753-1773(2003;Zbl 1038.68019) 全文: 内政部
罗杰尔·范·艾克(Rogier M.van Eijk)。;德波尔(Frank S。;范德霍克,威比;John-Jules Ch.梅耶。 代理通信中动态生成的本体翻译器。 (英语) Zbl 0979.68013号 《国际情报杂志》。系统。 16,第5期,587-607(2001).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.M.van-Eijk}等人,Int.J.Intell。系统。16,第5号,587--607(2001;Zbl 0979.68013) 全文: 内政部 链接
范德霍克,威比;范·林德(Bernd van Linder);约翰·朱尔斯·迈耶 群体知识并不总是分布的(也不总是隐含的)。 (英语) 兹伯利0942.68120 数学。社会科学。 38,第2期,215-240(1999).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{W.van der Hoek}等人,《数学》。社会科学。38,第2号,215--240(1999;Zbl 0942.68120) 全文: 内政部
塞斯·维特芬;范德霍克,威比 恢复(非)单调理论。 (英语) Zbl 0908.03029号 Artif公司。智力。 106,第1期,139-159(1998).MSC公司:03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Witteveen}和\textit{W.van der Hoek},阿蒂夫。智力。106,第1号,139--159(1998;Zbl 0908.03029) 全文: 内政部
范德霍克,威比;贾斯帕斯,简;伊莱亚斯·蒂伊斯 部分逻辑中的诚实。 (英语) Zbl 0851.03007号 螺柱日志。 56,第3期,323-360(1996).MSC公司:03B60号 03B45号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{W.van der Hoek}等人,螺柱日志。56,第3号,323--360(1996;Zbl 0851.03007) 全文: 内政部
梅耶,J.-J.Ch。;范德霍克,W。 模态对比逻辑:“但是”的逻辑。 (英语) Zbl 0887.03021号 安。数学。Artif公司。智力。 17,No.3-4,291-313(1996).MSC公司:03B65号 03B45号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Ch.Meyer}和\textit{W.van der Hoek},Ann.数学。Artif公司。智力。17,编号3--4,291--313(1996;Zbl 0887.03021) 全文: 内政部
塞斯·维特芬;范德霍克,威比 通过通信进行修订。 (英语) Zbl 1496.68328号 Marek,V.W.(编辑)等人,《逻辑编程和非单调推理》。第三届国际会议,LPNMR’95,美国肯塔基州列克星敦,1995年6月26-28日。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。928, 189-202 (1995).MSC公司:68T27型 68N17号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{C.Witteveen}和\textit{W.van der Hoek},莱克特。注释计算。科学。928189-202(1995年;Zbl 1496.68328) 全文: 内政部
梅耶,J.-J.Ch。;范德霍克,W。 通过违约进行反事实推理。 (英语) Zbl 0866.03017号 安。数学。Artif公司。智力。 9,编号3-4,345-360(1993).MSC公司:03B60号 68T27型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Ch.Meyer}和\textit{W.van der Hoek},Ann.数学。Artif公司。智力。9,编号3--4,345--360(1993;Zbl 0866.03017) 全文: 内政部