×

找到20份文件（结果1–20）

最新的 引文 相关性
娜塔莎·亚历奇纳;范德霍克，威比;布赖恩·洛根

根据社会规范公平分配小组任务。 （英语） Zbl 1425.68416号

Bulling，Nils（编辑）等人，《多智能体系统中的计算逻辑》。第十五届国际研讨会，CLIMA XV，捷克共和国布拉格，2014年8月18-19日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8624, 19-34 (2014).
MSC公司：第68页第42页 03B44号 68T27型 91B14号机组
PDF格式BibTeX公司 XML格式引用
\textit{N.Alechina}等人，Lect。注释计算。科学。8624，19-34（2014；Zbl 1425.68416）
全文： DOI程序
托马斯·奥戈特内斯;范德霍克，威比;迈克尔·伍尔德里奇

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

Areces，Carlos（编辑）等人，《第五届模式方法研讨会论文集》（M4M5，2007年），法国卡尚，2007年11月29日至30日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记231259-275（2009）。
MSC公司：03B44号 03B25号 03B70号 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛T.Ågotnes｝等人，电子。理论注释。计算。科学。231259--275（2009年；Zbl 1347.03028）
全文： DOI程序
托马斯·奥戈特内斯;范德霍克，威比;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）
全文： DOI程序
托马斯·奥戈特内斯;范德霍克，威比;Rodríguez-Aguilar，Juan A。;卡莱斯·塞拉;迈克尔·伍尔德里奇

规范系统的时间逻辑。 （英语） Zbl 1156.03017号

Makinson，David（编辑）等人，《走向数学哲学》。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.Ågotnes｝等人，《走向数学哲学》。2006年9月1日至4日在波兰托伦举行的Studia Logica会议《逻辑四的趋势》上发表的论文。柏林：斯普林格。69-106（2009年；Zbl 1156.03017）
全文： DOI程序
范德霍克，威比;罗伯茨，马克;迈克尔·伍尔德里奇

社会法律和反社会行为。 （英语） Zbl 1253.68320号

Bonanno，Giacomo（编辑）等人，《逻辑与博弈与决策理论基础》（LOFT7）。修订后的论文2006年7月在英国利物浦举行的第七届会议上提出。阿姆斯特丹：阿姆斯特丹大学出版社（ISBN 978-90-8964-026-0/pbk）。《逻辑与游戏文本》319-151（2008）。
MSC公司：第68页第42页 03B44号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{W.van der Hoek}等人，《文本日志》。游戏3119-151（2008年；Zbl 1253.68320）
克莱尔·狄克逊;玛丽·卡门·费尔南德斯·加戈;迈克尔·费希尔;范德霍克，威比

知识的时间逻辑及其在安全中的应用。 （英语） Zbl 1277.94051号

Dima，Cétélin（ed.）等人，《信息和计算机安全第一次研讨会论文集》（ICS 2006），罗马尼亚蒂米索拉，2006年9月30日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记186，27-42（2007）。
MSC公司：94A62型 03B44号 60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{C.Dixon}等人，《电子》。理论注释。计算。科学。186、27-42（2007年；Zbl 1277.94051）
全文： DOI程序
范·奥特鲁（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立方英尺 第68页第42页
PDF格式BibTeX公司 XML格式引用
\textit{S.van Otterloo}等人，《电子》。理论注释。计算。科学。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）
全文： DOI程序
迈克尔·伍尔德里奇
[范德霍克，威比;罗伯茨，马克]

交替时间的社会法（与威比·范德霍克和马克·罗伯茨联合）。 （英语） 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格式引用
\textit{M.Wooldridge}，莱克特。注释计算。科学。3065,2（2004年；Zbl 1169.68619）
全文： DOI程序
范德霍克，威比;迈克尔·伍尔德里奇

模型检查知识和时间。 （英语） 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）
全文： 链接
范德霍克，W。;梅耶，J.-J。;J.特雷尔。

暂时化的认知默认逻辑。 （英语） Zbl 0996.03019号

Gabbay，Dov M.（编辑）等人，《可废止推理不确定性管理系统手册》。第6卷：推理过程的动力学和管理。多德雷赫特：Kluwer学术出版社。177-194 (2001).
MSC公司：03B60号 68T27型 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{W.van der Hoek}等人，in：可废止推理不确定性管理系统手册。第6卷：推理过程的动力学和管理。多德雷赫特：Kluwer学术出版社。177--194（2001；Zbl 0996.03019）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件