大卫·海兰德;朱利安·古铁雷斯;迈克尔·伍尔德里奇 并发游戏的激励工程。 (英语) Zbl 07810626号 Verbrugge,Rineke(编辑),《第十九届理性与知识理论方面会议记录》,TARK,英国牛津,2023年6月28日至30日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)379344-358(2023年)。MSC公司:91A20型 91B43型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Hyland}等人,《电子》。程序。西奥。计算。科学。(EPTCS)379,344--358(2023;Zbl 07810626) 全文: 内政部 arXiv公司
朱利安·古铁雷斯;穆罕默德·纳吉布;朱塞佩·佩雷利;迈克尔·伍尔德里奇 理性验证的复杂性。 (英语) Zbl 07730283号 安。数学。Artif公司。智力。 91,第4号,409-430(2023).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,《数学年鉴》。Artif公司。智力。91,编号4,409--430(2023;Zbl 07730283) 全文: 内政部 arXiv公司
朱利安·古铁雷斯;托马斯·斯蒂普尔斯;迈克尔·伍尔德里奇 具有\(\omega \)-常规规范的Mean-payoff游戏。 (英语) Zbl 1484.91080号 游戏 13,第1号,第19号论文,37页(2022年).MSC公司:91A43型 91A10号 91A06型 91A05型 91A12号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,Games 13,No.1,Paper No.19,37 p.(2022年;Zbl 1484.91080) 全文: 内政部
朱利安·古铁雷斯;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;萨沙·鲁宾;托马斯·斯蒂普尔斯;迈克尔·伍尔德里奇 质量和数量目标相结合的游戏的平衡。 (英语) Zbl 1483.68193号 Acta信息。 58,编号6,585-610(2021).MSC公司:60年第68季度 03B44号 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,《信息学报》58,第6期,585--610(2021年;Zbl 1483.68193) 全文: 内政部 arXiv公司
朱利安·古铁雷斯;朱塞佩·佩雷利;迈克尔·伍尔德里奇 有限轨迹上LDL目标的多人游戏。 (英语) Zbl 1497.68305号 Inf.计算。 276,文章ID 104555,17 p.(2021).MSC公司:60年第68季度 03B70号 65年第68季度 68问题85 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,《信息计算》。276,文章ID 104555,17 p.(2021;Zbl 1497.68305) 全文: 内政部 arXiv公司
朱利安·古铁雷斯;穆罕默德·纳吉布;朱塞佩·佩雷利;迈克尔·伍尔德里奇 自动时间均衡分析:多层游戏的验证和合成。 (英语) Zbl 1493.68360号 Artif公司。智力。 287,文章ID 103353,26 p.(2020).MSC公司:68T42型 60年第68季度 91A06型 91A10号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,Artif。智力。287,文章ID 103353,26 p.(2020;Zbl 1493.68360) 全文: 内政部 arXiv公司
朱利安·古铁雷斯;穆罕默德·纳吉布;朱塞佩·佩雷利;迈克尔·伍尔德里奇 并发游戏的均衡设计。 (英语) Zbl 07649930号 Fokkink,Wan(编辑)等人,第30届并发理论国际会议,CONCUR 2019,荷兰阿姆斯特丹,2019年8月27日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。140,第22条,第16页(2019年)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,LIPIcs——莱布尼茨国际程序。通知。140,第22条,第16页(2019年;Zbl 07649930) 全文: 内政部 arXiv公司
朱利安·古铁雷斯;朱塞佩·佩雷利;迈克尔·伍尔德里奇 反应模块游戏中的信息不完整。 (英语) Zbl 1395.68188号 Inf.计算。 261,第4部分,650-675(2018).MSC公司:60年第68季度 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,《信息计算》。261,第4部分,650--675(2018;Zbl 1395.68188) 全文: 内政部 链接
朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 从模型检查到平衡检查:用于理性验证的反应性模块。 (英语) Zbl 1420.68129号 Artif公司。智力。 248, 123-157 (2017).MSC公司:60年第68季度 03B44号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,Artif。智力。248123-157(2017;Zbl 1420.68129) 全文: 内政部 链接
朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 关于类游戏并发系统中平衡的推理。 (英语) 兹比尔1400.03057 Ann.纯粹应用。逻辑 168,第2号,373-403(2017). 审核人:马丁·兰格(卡塞尔) MSC公司:03B70号 03B44号 91A40型 68T27型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,Ann.Pure Appl。逻辑168,No.2,373--403(2017;Zbl 1400.03057) 全文: 内政部
朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 表达能力和复杂性是战略推理的结果。 (英语) Zbl 1374.68332号 Aceto,Luca(编辑)等人,第26届并发理论国际会议,CONCUR’15,西班牙马德里,2015年9月1日至4日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-91-0)。LIPIcs–莱布尼茨国际信息学论文集42,268-282(2015)。MSC公司:68问题85 60年第68季度 91A06型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,LIPIcs——莱布尼茨国际程序。通知。42、268--282(2015年;Zbl 1374.68332) 全文: 内政部
朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 迭代布尔游戏。 (英语) Zbl 1318.91012号 Inf.计算。 242, 53-79 (2015).MSC公司:91A10号 03B44号 65年第68季度 65年第68季度 91A20型 91年35日 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,《信息计算》。242、53--79(2015年;Zbl 1318.91012) 全文: 内政部
弗兰克·沃尔特;迈克尔·伍尔德里奇 时间和动态逻辑。 (英语) Zbl 1273.03066号 阿弥陀佛古普塔等,《今日逻辑与哲学》。第1卷。伦敦:学院出版物(ISBN 978-1-84890-040/0/pbk)。《逻辑研究》(伦敦)29,247-280(2011)。MSC公司:03B44号 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Wolter}和\textit{M.Wooldridge},螺柱日志。(伦敦)29,247--280(2011;Zbl 1273.03066)
托马斯·奥戈特内斯;范德霍克,威比;迈克尔·伍尔德里奇 稳健的规范体系和规范合规逻辑。 (英语) Zbl 1198.68232号 日志。J.IGPL公司 18,第1期,4-30页(2010年). 审核人:埃里克·马丁(悉尼) MSC公司:68T27型 03B42型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{T.奥戈特内斯}等人,日志。J.IGPL 18,第1、4--30号(2010年;Zbl 1198.68232) 全文: 内政部
托马斯·奥戈特内斯;范德霍克,威比;迈克尔·伍尔德里奇 多模式CTL的完整性和复杂性。 (英语) Zbl 1347.03028号 Areces,Carlos(编辑)等人,《第五届模式方法研讨会论文集》(M4M5,2007年),法国卡尚,2007年11月29日至30日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记231259-275(2009)。MSC公司:03B44号 03年2月25日 03B70号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.奥戈特内斯}等人,《电子》。注释Theor。计算。科学。231259--275(2009年;Zbl 1347.03028) 全文: 内政部
阮,季;范德霍克,威比;迈克尔·伍尔德里奇 用游戏描述语言验证游戏。 (英语) Zbl 1185.68678号 J.日志。计算。 19,第6期,1127-1156(2009).MSC公司:68T27型 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Ruan}等人,J.Log。计算。19,第6号,1127--1156(2009;Zbl 1185.68678) 全文: 内政部 链接
托马斯·奥戈特内斯;范德霍克,威比;Rodríguez-Aguilar,Juan A。;卡莱斯·塞拉;迈克尔·伍尔德里奇 多模式CTL:完整性、复杂性和应用程序。 (英语) Zbl 1185.03023号 螺柱日志。 92,第1期,1-26期(2009年). 审核人:埃里克·马丁(悉尼) MSC公司:03B45号 03B44号 03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.奥戈特内斯}等人,研究日志。92,第1号,1-26(2009;Zbl 1185.03023) 全文: 内政部
托马斯·奥戈特内斯;范德霍克,威比;迈克尔·伍尔德里奇 定性联盟博弈的逻辑。 (英语) Zbl 1171.03008号 日志。J.IGPL公司 17,第3期,299-321(2009).MSC公司:03B44号 03B45号 68T27型 91A12号机组 91A20型 PDF格式BibTeX公司 XML格式引用 \textit{T.奥戈特内斯}等人,日志。J.IGPL 17,第3号,299--321(2009;Zbl 1171.03008) 全文: 内政部 链接
托马斯·奥戈特内斯;范德霍克,威比;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 1253.68320号 Bonanno,Giacomo(编辑)等人,《逻辑与博弈与决策理论基础》(LOFT7)。修订后的论文2006年7月在英国利物浦举行的第七届会议上提出。阿姆斯特丹:阿姆斯特丹大学出版社(ISBN 978-90-8964-026-0/pbk)。《逻辑与游戏文本》319-151(2008)。MSC公司:68T42型 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{W.van der Hoek}等人,《文本日志》。游戏3119-151(2008年;Zbl 1253.68320)
范德霍克,威比;马克·罗伯茨;迈克尔·伍尔德里奇 交替时间中的社会规律:有效性、可行性和综合性。 (英语) 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) 全文: 内政部
德克·沃尔特;卡斯滕·卢茨;弗兰克·沃尔特;迈克尔·伍尔德里奇 ATL可满足性确实是ExpTime-complete。 (英语) Zbl 1118.03010号 J.日志。计算。 16,第6期,765-787(2006).MSC公司:03B44号 2017年第68季度 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Walther}等人,J.Log。计算。16,第6号,765--787(2006;Zbl 1118.03010) 全文: 内政部 链接
范·奥特鲁(Sieuwert van Otterloo);范德霍克,威比;迈克尔·伍尔德里奇 知识就是战略能力。 (英语) Zbl 1270.68181号 van der Hoek,Wiebe(编辑)等人,LCMAS 2003。2003年6月29日,荷兰埃因霍温,多智能体系统逻辑和通信第一次研讨会论文集。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记85,第2期,152-175(2004)。MSC公司:60年第68季度 03B44号 68T27型 68立方英尺 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{S.van Otterloo}等人,《电子》。注释Theor。计算。科学。85,第2号,152--175(2004;Zbl 1270.68181) 全文: 链接
沃伊切赫·贾姆罗加;范德霍克,威比;迈克尔·伍尔德里奇 关于义务和能力。 (英语) Zbl 1169.68616号 Lomuscio,Alessio(编辑)等人,《计算机科学中的道义逻辑》。第七届计算机科学道义逻辑国际研讨会,2004年DEON,2004年5月26日至28日,葡萄牙马德拉。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22111-5/pbk)。计算机科学课程讲稿3065。人工智能课堂讲稿,165-181(2004)。MSC公司:68T27型 03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{W.Jamroga}等人,Lect。注释计算。科学。3065165--181(2004年;Zbl 1169.68616) 全文: 内政部
迈克尔·伍尔德里奇 [范德霍克,威比;马克·罗伯茨] 交替时间的社会法(与威比·范德霍克和马克·罗伯茨联合)。 (英语) Zbl 1169.68619号 Lomuscio,Alessio(编辑)等人,《计算机科学中的道义逻辑》。第七届计算机科学道义逻辑国际研讨会,2004年DEON,2004年5月26日至28日,葡萄牙马德拉。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22111-5/pbk)。计算机科学课程讲稿3065。人工智能课堂讲稿,2(2004)。MSC公司:68T27型 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Wooldridge},Lect。注释计算。科学。3065,2(2004年;兹bl 1169.68619) 全文: 内政部
范德霍克,威比;迈克尔·伍尔德里奇 合作、知识和时间:交替时间认知逻辑及其应用。 (英语) Zbl 1034.03013号 螺柱日志。 75,第1期,125-157(2003).MSC公司:03B42型 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.van der Hoek}和\textit{M.Wooldridge},Stud.Log。75,编号1,125--157(2003;Zbl 1034.03013) 全文: 内政部
范德霍克,威比;迈克尔·伍尔德里奇 模型检查知识和时间。 (英语) Zbl 1077.68708号 博什纳奇·德拉甘(编辑)等人,《模型检查软件》。第九届国际SPIN研讨会,法国格勒诺布尔,2002年4月11-13日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43477-1)。莱克特。注释计算。科学。2318, 95-111 (2002).MSC公司:60年第68季度 03B42型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{W.van der Hoek}和\textit{M.Wooldridge},莱克特。注释计算。科学。2318、95--111(2002年;Zbl 1077.68708) 全文: 链接
迈克尔·伍尔德里奇 时间、知识与合作:交替时间认知逻辑及其应用。 (英语) Zbl 1015.68545号 Jarke,Matthias(编辑)等人,KI 2002:人工智能进展。2002年9月16日至20日,德国亚琛,第25届德国人工智能年会,KI 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2479, 318 (2002).MSC公司:68T27型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Wooldridge},莱克特。注释计算。科学。2479318(2002年;Zbl 1015.68545) 全文: 链接
迈克尔·伍尔德里奇;尼古拉斯·R·詹宁斯。 合作解决问题的过程。 (英语) Zbl 0935.68099号 J.日志。计算。 9,第4期,563-592(1999).MSC公司:68T20型 03B45号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Wooldridge}和\textit{N.R.Jennings},J.Log。计算。9,第4号,563--592(1999;Zbl 0935.68099) 全文: 内政部
迈克尔·伍尔德里奇;克莱尔·狄克逊;迈克尔·费希尔 一种基于表格的知识和信念时序逻辑证明方法。 (英语) Zbl 0926.03011号 J.应用。非类别。日志。 8,第3期,225-258(1998年). 审核人:V.Ya.公司。克雷诺维奇(埃尔帕索) MSC公司:03B42型 03B35型 68T27型 03B44号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Wooldridge}等人,J.Appl。非类别。日志。8,第3号,225--258(1998;Zbl 0926.03011) 全文: 内政部
克莱尔·狄克逊;迈克尔·费希尔;迈克尔·伍尔德里奇 知识时间逻辑的解析。 (英语) Zbl 0951.03007号 J.日志。计算。 8,第3号,345-372(1998).MSC公司:03B35型 03B44号 03B42型 03B70号 68T27型 68立方英尺 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Dixon}等人,J.Log。计算。8,第3号,345--372(1998;Zbl 0951.03007) 全文: 内政部 链接
迈克尔·费希尔;迈克尔·伍尔德里奇;克莱尔·狄克逊 一种基于分辨率的知识和信念时序逻辑的证明方法。 (英语) Zbl 1422.03020号 Gabbay,Dov M.(编辑)等人,《实践推理》。1996年6月3日至7日在德国波恩举行的1996年FAPR正式和应用实践推理国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1085, 178-192 (1996).MSC公司:03B35型 03B42型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Fisher}等人,Lect。注释计算。科学。1085178--192(1996年;Zbl 1422.03020) 全文: 内政部
伍尔德里奇,M。;M·费希尔。 时间信念逻辑的决策过程。 (英语) 兹比尔0949.03504 Gabbay,Dov M.(编辑)等人,《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。第827317-331页(1994年)。MSC公司:03B44号 03B42型 03年2月25日 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Wooldridge}和\textit{M.Fisher},莱克特。注释计算。科学。827、317--331(1994年;Zbl 0949.03504)