×

找到33个文档(结果1-33)

并发游戏的激励工程。 (英语) Zbl 07810626号

Verbrugge,Rineke(编辑),《第十九届理性与知识理论方面会议记录》,TARK,英国牛津,2023年6月28日至30日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)379344-358(2023年)。
PDF格式BibTeX公司 XML格式引用

并发游戏的均衡设计。 (英语) 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格式引用

表达能力和复杂性是战略推理的结果。 (英语) 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)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多模式CTL的完整性和复杂性。 (英语) Zbl 1347.03028号

Areces,Carlos(编辑)等人,《第五届模式方法研讨会论文集》(M4M5,2007年),法国卡尚,2007年11月29日至30日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记231259-275(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

规范系统的时间逻辑。 (英语) 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)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

社会法律和反社会行为。 (英语) Zbl 1253.68320号

Bonanno,Giacomo(编辑)等人,《逻辑与博弈与决策理论基础》(LOFT7)。修订后的论文2006年7月在英国利物浦举行的第七届会议上提出。阿姆斯特丹:阿姆斯特丹大学出版社(ISBN 978-90-8964-026-0/pbk)。《逻辑与游戏文本》319-151(2008)。
PDF格式BibTeX公司 XML格式引用

知识就是战略能力。 (英语) Zbl 1270.68181号

van der Hoek,Wiebe(编辑)等人,LCMAS 2003。2003年6月29日,荷兰埃因霍温,多智能体系统逻辑和通信第一次研讨会论文集。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记85,第2期,152-175(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

关于义务和能力。 (英语) Zbl 1169.68616号

Lomuscio,Alessio(编辑)等人,《计算机科学中的道义逻辑》。第七届计算机科学道义逻辑国际研讨会,2004年DEON,2004年5月26日至28日,葡萄牙马德拉。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22111-5/pbk)。计算机科学课程讲稿3065。人工智能课堂讲稿,165-181(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

交替时间的社会法(与威比·范德霍克和马克·罗伯茨联合)。 (英语) Zbl 1169.68619号

Lomuscio,Alessio(编辑)等人,《计算机科学中的道义逻辑》。第七届计算机科学道义逻辑国际研讨会,2004年DEON,2004年5月26日至28日,葡萄牙马德拉。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22111-5/pbk)。计算机科学课程讲稿3065。人工智能课堂讲稿,2(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型检查知识和时间。 (英语) Zbl 1077.68708号

博什纳奇·德拉甘(编辑)等人,《模型检查软件》。第九届国际SPIN研讨会,法国格勒诺布尔,2002年4月11-13日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43477-1)。莱克特。注释计算。科学。2318, 95-111 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

时间、知识与合作:交替时间认知逻辑及其应用。 (英语) Zbl 1015.68545号

Jarke,Matthias(编辑)等人,KI 2002:人工智能进展。2002年9月16日至20日,德国亚琛,第25届德国人工智能年会,KI 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2479, 318 (2002).
MSC公司:68T27型 03B44号
PDF格式BibTeX公司 XML格式引用
全文: 链接

一种基于分辨率的知识和信念时序逻辑的证明方法。 (英语) Zbl 1422.03020号

Gabbay,Dov M.(编辑)等人,《实践推理》。1996年6月3日至7日在德国波恩举行的1996年FAPR正式和应用实践推理国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1085, 178-192 (1996).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间信念逻辑的决策过程。 (英语) 兹比尔0949.03504

Gabbay,Dov M.(编辑)等人,《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。第827317-331页(1994年)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段