×

找到112个文档（结果1-100）

最新的 引文 关联
汉斯·范·迪特马什；范德霍克，威比；巴特尔·库伊

用Hintikka打牌：动态认知逻辑导论。 （英语） Zbl 1437.03077号

van Ditmarsch，Hans（编辑）等人，Jaakko Hintikka，关于知识和游戏理论语义。献给Jaakko Hintikka。查姆：斯普林格。Outst公司。控制日志。12, 237-262 (2018).
MSC公司：03B42号 03B80号
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}等人，Outst。控制日志。12、237--262（2018；Zbl 1437.03077）
全文： 内政部
科兹兹托夫·阿普特；大卫·格罗西；范德霍克，威比

两个流言蜚语什么时候是一样的？ （英语） Zbl 1415.68215号

Barthe，Gilles（编辑）等人，LPAR-22。第22届编程、人工智能和推理逻辑国际会议，埃塞俄比亚阿瓦萨，2018年11月17日至21日。精选论文。曼彻斯特：EasyChair。EPiC系列。计算。57, 36-55 (2018).
MSC公司：68T27型 03B42号
PDF格式BibTeX公司 XML格式引用
\textit{K.Apt}等人，EPiC Ser。计算。57、36-55（2018；Zbl 1415.68215）
全文： 内政部
弗朗西斯科·贝拉迪内利；汉斯·范·迪特马什；范德霍克，威比

全球和本地公告的逻辑。 （英语） 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公司 链接
马杜卡·阿塔玛；汉斯·范·迪特马什；大卫·格罗西；范德霍克，威比

闲聊的乐趣。 （英语） Zbl 1437.03056号

巴什肯特（Baškent，Can）（编辑）等人，《逻辑、语言和社会》（Rohit Parikh on logic，language and society）。查姆：斯普林格。Outst公司。控制日志。11, 145-163 (2017).
MSC公司：03B42号 03B45号 03B70号 03B80号 68个M12 91天30分
PDF格式BibTeX公司 XML格式引用
\textit{M.Attamah}等人，Outst。控制日志。11、145-163（2017；Zbl 1437.03056）
全文： 内政部
Krzysztof R.阿普特。；大卫·格罗西；范德霍克，威比

分布式闲聊的认知协议。 （英语） Zbl 1483.68361号

Ramanujam，R.（编辑），《第十五届理性与知识理论方面会议论文集》，TARK 2015，卡内基梅隆大学，美国匹兹堡，2015年6月4-6日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）21551-66（2016）。
MSC公司：68T27型 03B42号 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{K.R.Apt}等人，《电子》。程序。西奥。计算。科学。（EPTCS）215，51--66（2016；Zbl 1483.68361）
全文： arXiv公司 链接
汉斯·范·迪特马什；范德霍克，威比；Louwe B.Kuijer。

完全任意的公告。 （英语） Zbl 1400.03032号

Beklemishev，Lev（编辑）等人，《模态逻辑的进展》。第11卷。2016年8月30日至9月2日在匈牙利布达佩斯举行的第十一届会议记录（AiML 2016）。伦敦：学院出版物（ISBN 978-1-84890-201-5/pbk）。252-267 (2016).
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}等人，in：模态逻辑的进展。第11卷。第十一届会议记录（AiML 2016），匈牙利布达佩斯，2016年8月30日至9月2日。伦敦：学院出版物。252--267（2016；Zbl 1400.03032）
汉斯·范·迪特马什（编辑）；约瑟夫·霍尔珀（Joseph Y.Halpern）。（编辑）；范德霍克，威比（编辑）；巴特尔·库伊（编辑）

认识逻辑手册。 （英语） Zbl 1392.03009号

伦敦：学院出版物（ISBN 978-1-84890-158-2/pbk）。十七、655页。(2015).
MSC公司：03-06 03B42号 03B70号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}（编辑）等人，《认知逻辑手册》。伦敦：学院出版物（2015；Zbl 1392.03009）
汉斯·范·迪特马什；范洁；范德霍克，威比；皮塔·伊利耶夫

模态逻辑中公式大小的一些指数下界。 （英语） Zbl 1385.03029号

Goré，Rajeev（编辑）等人，《模态逻辑的进展》。第10卷。第十届会议记录（AiML 2014），荷兰格罗宁根，2014年8月5-8日。伦敦：学院出版物（ISBN 978-1-84890-151-3/pbk）。139-157 (2014).
MSC公司：03B45号
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}等人，in：模态逻辑的进展。第10卷。第十届会议记录（AiML 2014），荷兰格罗宁根，2014年8月5-8日。伦敦：学院出版物。139-157（2014年；兹bl 1385.03029）
尼克·贝扎尼什维利；范德霍克，威比

认知逻辑的结构。 （英语） Zbl 1354.03012号

Baltag，Alexandru（编辑）等人，Johan van Benthem，关于逻辑和信息动力学。查姆：施普林格（ISBN 978-3-319-06024-8/hbk；978-3-3169-06025-5/电子书）。《逻辑5的杰出贡献》，339-380（2014）。
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit｛N.Bezhanishvili｝和\textit｛W.van der Hoek｝，Outst。控制日志。5339-380（2014；Zbl 1354.03012）
全文： 内政部 链接
娜塔莎·亚历奇纳；范德霍克，威比；布赖恩·洛根

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

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

专题介绍。 （英语） Zbl 1298.00231号

国际博弈论评论。 16，第1号，文章ID 1403001，第5页（2014）.
MSC公司：00B25型 03-06 91-06 91轴 03B42号 91A35型
PDF格式BibTeX公司 XML格式引用
\textit{G.Bonanno}（编辑）等，《国际博弈论》第16版，第1期，文章ID 1403001，5页（2014；Zbl 1298.00231）
全文： 内政部
托马斯·奥戈特内斯；保罗·哈伦斯坦；范德霍克，威比；迈克尔·伍尔德里奇

具有认知目标的布尔游戏。 （英语） Zbl 1407.03016号

Grossi，Davide（编辑）等人，《逻辑、理性与互动》。2013年10月9日至12日，第四届国际研讨会，LORI 2013，中国杭州。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8196, 1-14 (2013).
MSC公司：03B42号 91A44型
PDF格式BibTeX公司 XML格式引用
\textit{T.奥戈特内斯}等人，莱克特。注释计算。科学。8196，1-14（2013；Zbl 1407.03016）
全文： 内政部
贾科莫·博纳诺（编辑）；安德烈亚斯·赫齐格（编辑）；范德霍克，威比（编辑）；杰罗姆·朗（编辑）

特刊：逻辑与博弈与决策理论的基础。根据2010年7月5日至7日在法国图卢兹举行的第九届逻辑与博弈与决策理论基础会议（LOFT 9）上的演讲选出的论文。 （英语） Zbl 1282.91010号

国际博弈论42，第3期，563-776（2013）。
MSC公司：91-06 91A40型 03B80号 00B15号机组 00B25型
PDF格式BibTeX公司 XML格式
范德霍克，威比；皮塔·伊利耶夫；巴特尔·库伊

通过多模态逻辑的定义讨论两种扩展的相对简洁性。 （英语） Zbl 1358.03034号

Cooper，S.Barry（编辑）等人，《世界如何计算》。2012年6月18日至23日，图灵百年大会和欧洲第八届可计算性大会，2012年欧洲计算机科学大会，英国剑桥。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-30869-7/pbk）。计算机科学课堂讲稿7318，323-333（2012）。
MSC公司：03B45号
PDF格式BibTeX公司 XML格式引用
\textit{W.van der Hoek}等人，Lect。注释计算。科学。7318、323--333（2012；Zbl 1358.03034）
全文： 内政部
范德霍克，威比；皮塔·伊利耶夫；迈克尔·伍尔德里奇

半公共环境中的知识和行动。 （英语） Zbl 1298.03082号

van Ditmarsch，Hans（编辑）等人，《逻辑、理性与互动》。第三次国际研讨会，LORI 2011，中国广州，2011年10月10日至13日。诉讼程序。柏林：施普林格出版社（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 1348.68271号

Leite，Joáo（编辑）等人，《多智能体系统中的计算逻辑》。第十二届国际研讨会，CLIMA XII，西班牙巴塞罗那，2011年7月17日至18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22358-7/pbk）。计算机科学课堂讲稿6814。人工智能课堂讲稿，74-87（2011）。
MSC公司：68T42型 03B42号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}等人，Lect。注释计算。科学。6814、74-87（2011年；Zbl 1348.68271）
全文： 内政部
托马斯·奥戈特内斯；范德霍克，威比；迈克尔·伍尔德里奇

多模式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.奥戈特内斯}等人，《电子》。注释Theor。计算。科学。231259--275（2009年；Zbl 1347.03028）
全文： 内政部
托马斯·奥戈特内斯；范德霍克，威比；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）
全文： 内政部
托马斯·奥戈特内斯；范德霍克，威比；Rodríguez-Aguilar，Juan A。；Sierra，Carles公司；迈克尔·伍尔德里奇

规范系统的时间逻辑。 （英语） 兹比尔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）
贾科莫·博纳诺（编辑）；范德霍克，威比（编辑）；迈克尔·伍尔德里奇（编辑）

博弈和决策理论的逻辑和基础（LOFT7）。修订后的论文2006年7月在英国利物浦举行的第七届会议上提出。 （英语） Zbl 1237.03004号

逻辑和游戏中的文本3.阿姆斯特丹：阿姆斯特丹大学出版社（ISBN 978-90-8964-026-0/pbk）。240页。(2008).
MSC公司：03-06 03A05号 03B42号 03B80号 91A35型 91B06型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{G.Bonanno}（编辑）等人，《逻辑与博弈与决策理论基础》（LOFT7）。修订后的论文2006年7月在英国利物浦举行的第七届会议上提出。阿姆斯特丹：阿姆斯特丹大学出版社（2008；Zbl 1237.03004）
汉斯·范·迪特马什；范德霍克，威比；巴特尔·库伊

动态认知逻辑。 （英语） Zbl 1156.03015号

合成库337.多德雷赫特：施普林格出版社（ISBN 978-1-4020-6908-6/pbk；978-1-4020-5838-7/hbk）。xi，第282页。(2008).
审核人：贾科莫·博纳诺（戴维斯）
MSC公司：03B42号 03B45号 68T27型 03-02
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}等人，《动态认知逻辑》。多德雷赫特：施普林格（2008；Zbl 1156.03015）
全文： 内政部
克莱尔·狄克逊；玛丽·卡门·费尔南德斯·加戈；迈克尔·费希尔；范德霍克，威比

知识的时间逻辑及其在安全中的应用。 （英语） 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}等人，《电子》。注释Theor。计算。科学。186、27-42（2007年；Zbl 1277.94051）
全文： 内政部
van Ditmarsch，H.P。；范德霍克，W。；Kooi，B.P。

动态认知逻辑与知识困惑。 （英语） Zbl 1156.03320号

Priss，Uta（编辑）等人，《概念结构：智能应用的知识架构》。2007年7月22日至27日在英国谢菲尔德举行的第15届国际概念结构会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73680-6/pbk）。计算机科学课堂讲稿4604。人工智能课堂讲稿，45-58（2007）。
MSC公司：03B42号 68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{H.P.van Ditmarsch}等人，Lect。注释计算。科学。4604、45-58（2007年；Zbl 1156.03320）
全文： 内政部
van Ditmarsch，H.P。；范德霍克，W。；范德梅登，R。；J.阮。

模型检查俄罗斯卡。 （英语） Zbl 1273.68245号

Pecheur，Charles（编辑）等人，《模型检查和人工智能第三次研讨会论文集》（MoChArt 2005），美国加利福尼亚州旧金山，2005年8月27日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》149，第2期，105-123（2006）。
MSC公司：60年第68季度 03B42号 68个M12 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{H.P.van Ditmarsch}等人，《电子》。注释Theor。计算。科学。149，No.2，105--123（2006；Zbl 1273.68245）
全文： 链接
汉斯·范·迪特马什；范德霍克，威比；巴特尔·库伊

公开宣布和信仰扩张。 （英语） Zbl 1102.03012号

Schmidt，Renate（编辑）等人，《模态逻辑的进展》。第5卷。2004年9月9日至11日，英国曼彻斯特，第五届会议论文选集（AiML 2004）。伦敦：国王学院出版社（ISBN 1-904987-2-2/pbk）。335-346 (2005).
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}等人，in：模态逻辑的进展。第5卷。2004年9月9日至11日在英国曼彻斯特举行的第五届会议（AiML 2004）上的论文选集。伦敦：国王学院出版。335--346（2005；Zbl 1102.03012）
范·奥特鲁（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 1270.03042号

van der Hoek，Wiebe（编辑）等人，LCMAS 2003。2003年6月29日，荷兰埃因霍温，多智能体系统逻辑和通信第一次研讨会论文集。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》85，第2期，117-133（2004）。
MSC公司：03B45号 68T27型 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{W.van der Hoek}和\textit{A.Lomuscio}，电子。注释Theor。计算。科学。85，第2号，117--133（2004；Zbl 1270.03042）
全文： 链接
沃伊切赫·贾姆罗加；范德霍克，威比；迈克尔·伍尔德里奇

关于义务和能力。 （英语） 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格式引用
\textit{M.Wooldridge}，莱克特。注释计算。科学。3065,2（2004年；Zbl 1169.68619）
全文： 内政部
保罗·E·邓恩。；范德霍克，威比

布尔游戏中的表示和复杂性。 （英语） Zbl 1111.91308号

Alferes，JoséJülio（编辑）等人，《人工智能中的逻辑》。第九届欧洲会议，JELIA 2004，葡萄牙里斯本，2004年9月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23242-7/pbk）。计算机科学讲义3229。人工智能课堂讲稿，347-359（2004）。
MSC公司：91年46月 68T27型 03B25号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.E.Dunne}和\textit{W.van der Hoek}，莱克特。注释计算。科学。3229347--359（2004年；Zbl 1111.91308）
全文： 内政部
尼维亚·德·费雷拉；迈克尔·费希尔；范德霍克，威比

不确定代理的实用推理。 （英语） Zbl 1111.68696号

Alferes，JoséJülio（编辑）等人，《人工智能中的逻辑》。第九届欧洲会议，JELIA 2004，葡萄牙里斯本，2004年9月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23242-7/pbk）。计算机科学讲义3229。人工智能课堂讲稿，82-94（2004）。
MSC公司：68T27型 03B45号 03B48号 68层37
PDF格式BibTeX公司 XML格式引用
\textit{N.de C.Ferreira}等人，Lect。注释计算。科学。322982-94（2004年；Zbl 1111.68696）
全文： 内政部
范德霍克，威比；贾斯帕斯，简；伊莱亚斯·蒂伊斯

知识和无知的理论。 （英语） Zbl 1087.03012号

Rahman，Shahid（编辑）等人，《逻辑、认识论和科学的统一》。柏林：施普林格出版社（ISBN 1-4020-2807-5/hbk；1-4020-2808-3/电子书）。《逻辑、认识论和科学的统一》1，381-418（2004）。
MSC公司：03B42号 03A05号
PDF格式BibTeX公司 XML格式引用
\textit{W.van der Hoek}等人，日志。认识论。统一科学。1、381--418（2004；Zbl 1087.03012）
van Ditmarsch，H.P。；范德霍克，W。；Kooi，B.P。

并发动态认知逻辑。 （英语） Zbl 1067.03025号

Hendricks，Vincent F.（编辑）等人，《知识贡献者》。基于认知逻辑维度会议，丹麦罗斯基勒，2002年5月。多德雷赫特：Kluwer学术出版社（ISBN 1-4020-1747-2/hbk）。综合图书馆322105-143（2003）。
MSC公司：03B42号 03A05号 68T27型 68立方英尺 91B06型 91A35型
PDF格式BibTeX公司 XML格式引用
\textit｛H.P.van Ditmarsch｝等人，Synth。伦敦银行同业拆借利率。322、105——143（2003年；兹bl 1067.03025）
汉斯·范·迪特马什；范德霍克，威比；巴特尔·库伊

游戏状态的描述。 （英语） Zbl 1041.03012号

Mints，Grigori（编辑）等人，《游戏、逻辑和构造集》。加利福尼亚州斯坦福：CSLI出版物（ISBN 1-57586-449-5/hbk；1-57584-450-9/pbk）。CSLI法律。附注161、43-58（2003年）。
审核人：贾科莫·博纳诺（戴维斯）
MSC公司：03B42号 03B70号 91A80型 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}等人，CSLI Lect。附注161、43--58（2003；Zbl 1041.03012）
范德霍克，威比；迈克尔·伍尔德里奇

模型检查知识和时间。 （英语） 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 0989.68137号

Luck，Michael（编辑）等人，《多代理系统和应用程序》。2001年7月2日至13日，捷克共和国布拉格，EASSS 2001，第九届ECCAI高级课程，ACAI 2001和代理链接第三届欧洲代理系统暑期学校。精选教程论文。柏林：斯普林格。莱克特。注释计算。科学。2086, 50-73 (2001).
MSC公司：68T27型 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{W.van der Hoek}，莱克特。注释计算。科学。2086，50-73（2001；Zbl 0989.68137）
全文： 链接
范德霍克，W。；梅耶，J.-J。；J.特雷尔。

暂时化的认知默认逻辑。 （英语） 兹伯利0996.03019

Gabbay，Dov M.（ed.）等人，《不可行推理不确定性管理系统手册》。第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）
范·林德，B。；范德霍克，W。；梅耶，J.-J.Ch。

默认推理的动态。 （英语） Zbl 0996.03020号

Gabbay，Dov M.（编辑）等人，《可废止推理不确定性管理系统手册》。第6卷：推理过程的动力学和管理。多德雷赫特：Kluwer学术出版社。125-157 (2001).
MSC公司：03B60号 68T27型 03B42号 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{B.van Linder}等人，in：可废止推理不确定性管理系统手册。第6卷：推理过程的动力学和管理。多德雷赫特：Kluwer学术出版社。125-157（2001；Zbl 0996.03020）
罗杰尔·范·艾克（Rogier M.van Eijk）。；德波尔（Frank S。；范德霍克，威比；John-Jules Ch.梅耶。

网络拓扑的模式逻辑。 （英语） Zbl 0998.03019号

Ojeda-Aciego，Manuel（编辑）等人，《人工智能中的逻辑》。欧洲研讨会，JELIA 2000，西班牙马拉加，2000年9月29日至10月2日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1919年，第269-283页（2000年）。
MSC公司：03B45号 68米10 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{R.M.van Eijk}等人，Lect。注释计算。科学。1919，269--283（2000；Zbl 0998.03019）
塞斯·维特芬；范德霍克，威比

如何从（非）单调不一致中恢复。 （英语） Zbl 0989.03014号

Lawrence Cavedon等人，《逻辑、语言和计算》。第3卷。1998年6月16日至19日，第三届逻辑、语言和计算信息理论方法国际会议（ITALC）会议记录。加利福尼亚州斯坦福：CSLI出版物。CSLI法律。笔记。111, 319-340 (2000).
审核人：贾科莫·博纳诺（戴维斯）
MSC公司：03B42号 68T27型 03B60号
PDF格式BibTeX公司 XML格式引用
\textit{C.Witteveen}和\textit{W.van der Hoek}，in：逻辑、语言和计算。第3卷。1998年6月16日至19日，第三届逻辑、语言和计算信息理论方法国际会议（ITALC）会议记录。加利福尼亚州斯坦福：CSLI出版物。319-340（2000；Zbl 0989.03014）
范德霍克，W。；梅耶，J.-J.Ch。；范·沙根（J.W.van Schagen）。

将代理的潜力正式化。重新审视KARO框架。 （英语） Zbl 0972.68151号

Faller，Martina（编辑）等人，《信息动力学的形式化》。加州斯坦福：CSLI，语言与信息研究中心。CSLI法律。笔记。91, 51-67 (2000).
MSC公司：68立方英尺 68T27型 03B42号
PDF格式BibTeX公司 XML格式引用
\textit{W.van der Hoek}等人，in：形式化信息动力学。加州斯坦福：CSLI，语言与信息研究中心。51-67（2000年；Zbl 0972.68151）
范德霍克，威比；马尔滕，德里伊克

交叉收缩。 （英语） Zbl 0961.03019号

Moss，Lawrence S.（编辑）等人，《逻辑、语言和计算》。第2卷。第二届逻辑、语言和计算信息理论方法会议记录，英国伦敦，1996年7月。加利福尼亚州斯坦福：CSLI出版物。CSLI法律。笔记。96, 106-127 (1999).
MSC公司：03B42号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{W.van der Hoek}和\textit{M.de Rijke}，in：逻辑、语言和计算。第2卷。第二届逻辑、语言和计算信息理论方法会议记录，英国伦敦，1996年7月。加利福尼亚州斯坦福：CSLI出版物。106-127（1999；Zbl 0961.03019）
罗杰尔·范·艾克（Rogier M.van Eijk）。；德波尔（Frank S。；范德霍克，威比；John-Jules Ch.梅耶。

在多智能体系统中构建单个词汇之间的翻译。 （英语） Zbl 0927.03051号

Giunchiglia，Fausto（编辑），《人工智能：方法、系统和应用》。第八届国际会议，AIMSA’98。保加利亚索佐波尔，1998年9月21日至23日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1480, 240-253 (1998).
MSC公司：03B70号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\文本{R.M.van-Eijk}等人，Lect。注释计算。科学。1480、240-253（1998年；Zbl 0927.03051）
范德霍克，威比；贾斯帕斯，简；伊莱亚斯·蒂伊斯

认知逻辑中的持久性和极小性。 （英语） Zbl 0929.03027号

Dix，Jürgen（编辑）等人，《人工智能中的逻辑》。欧洲研讨会，JELIA’98。1998年10月12日至15日，德国达格斯图尔。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1489, 62-76 (1998).
MSC公司：03B45号 03B42号
PDF格式BibTeX公司 XML格式引用
\textit{W.van der Hoek}等人，Lect。注释计算。科学。1489、62-76（1998年；Zbl 0929.03027）
梅耶，J.-J.Ch。；范德霍克，W。

表示非连贯知识的模态逻辑。 （英语） Zbl 0932.03018号

Besnard，Philippe（编辑）等人，《可废止推理和不确定性管理系统手册》。第二卷：用实际矛盾和潜在矛盾进行推理。多德雷赫特：Kluwer学术出版社。37-75 (1998).
审核人：安娜·戈莫利安斯卡（比亚莱斯托克）
MSC公司：03B42号 68立方英尺 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{J.J.Ch.Meyer}和\textit{W.van der Hoek}，摘自：可辩解推理和不确定性管理系统手册。第二卷：用实际矛盾和潜在矛盾进行推理。多德雷赫特：Kluwer学术出版社。37-75（1998年；Zbl 0932.03018）
范德霍克，W。；J.J.梅耶。

多智能体的完整认知逻辑。 （英语） 兹比尔0956.03022

Bacharach，M.O.L.（编辑）等人，《认识逻辑与游戏和决策理论》。根据会议，1994年1月，法国马赛。多德雷赫特：Kluwer学术出版社。理论决策。伦敦银行同业拆借利率。，序列号。C.20，35-68（1997年）。
审核人：大卫·梅金森（Ville d'Avray）
MSC公司：03B42号 68立方英尺 68T27型
PDF格式BibTeX公司 XML格式引用
\textit｛W.van der Hoek｝和\textit｛J.Meyer｝，在《认识论逻辑与博弈与决策理论》中。根据1994年1月在法国马赛举行的会议。多德雷赫特：Kluwer学术出版社。35-68（1997；Zbl 0956.03022）
范德霍克，威比；约翰·朱尔斯·迈耶

关于知识和不确定性的推理方式。 （英语） Zbl 0955.03512号

帕特里克·多尔蒂（编辑），《偏爱、情态和非单调性》。加利福尼亚州斯坦福：CSLI出版物。逻辑、语言和信息研究。77-109 (1996).
MSC公司：03B70号 68层37 03B45号 68T27型 03B42号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{W.van der Hoek}和\textit{J.-J.Meyer}，in：偏性、情态和非单调性。加利福尼亚州斯坦福：CSLI出版物。77-109（1996年；兹bl 0955.03512）
范·林德，B。；范德霍克，W。；梅耶，J.-J.Ch。

让你改变主意的行动。 （英语） Zbl 0839.03016号

Wansing，Heinrich（编辑）等人，《哲学和人工智能的知识和信仰》。基于1994年9月20日至21日在德国萨尔布吕肯举行的德国人工智能会议期间举行的“Modellierung认知命题”研讨会。柏林：Akademie Verlag。Logica Nova公司。103-146 (1995).
审核人：D.Makinson（阿夫雷村）
MSC公司：03B60号 68立方英尺 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{B.van Linder}等人，《哲学和人工智能的知识和信仰》。基于1994年9月20日至21日在德国萨尔布吕肯举行的德国人工智能会议期间举行的“Modellierung认知命题”研讨会。柏林：Akademie Verlag。103——146（1995年；Zbl 0839.03016）
John-Jules Ch.梅耶。；范德霍克，威比

人工智能和计算机科学的认识逻辑。 （英语） Zbl 0868.03001号

剑桥理论计算机科学丛书41。剑桥：剑桥大学出版社。xiii，第354页（1995年）。
审核人：Ch.Posthoff（圣奥古斯丁）
MSC公司：03-01 68T27型 03B60号 68立方英尺 03B80号
PDF格式BibTeX公司 XML格式引用
\textit{J.-J.Ch.Meyer}和\textit{W.van der Hoek}，人工智能和计算机科学的认识逻辑。剑桥：剑桥大学出版社（1995；Zbl 0868.03001）
塞斯·维特芬；范德霍克，威比；汉斯·德·尼维尔

非单调理论的修正：一些假设和逻辑编程的应用。 （英语） Zbl 0988.68620号

MacNish，Craig（编辑）等人，《人工智能中的逻辑》。1994年9月5日至8日，英国约克JELIA欧洲研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。838, 137-151 (1994).
MSC公司：68T27型 68N17号 03B42号
PDF格式BibTeX公司 XML格式引用
\textit{C.Witteveen}等人，Lect。注释计算。科学。838137--151（1994年；Zbl 0988.68620）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件