牛，尼尔斯；沃伊切赫·贾姆罗加；马泰·波波维奇 关于战略能力的推理：具有真正完美回忆能力的代理人。 （英语） Zbl 1433.68417号 ACM事务处理。计算。日志。 第20条第2款第10条第46页（2019年）.MSC公司：68T27型 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Bulling}等人，《美国医学杂志》。计算。日志。20，第2号，第10条，46页（2019年；Zbl 1433.68417） 全文： 内政部
北阿勒奇纳州。；北布林。；德姆里，S。；B·洛根。 关于资源约束逻辑的复杂性。 （英语） Zbl 1403.68136号 西奥。计算。科学。 750, 69-100 (2018).MSC公司：68问题85 03B25号 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛N.Alechina｝等人，Theor。计算。科学。750，69-100（2018年；兹比尔1403.68136） 全文： 内政部
娜塔莎·亚历奇纳；牛，尼尔斯；布赖恩·洛根；Nguyen、Hoang Nga 空闲的优点：资源代理逻辑的一个可判定片段。 （英语） Zbl 1402.68122号 Artif公司。智力。 245, 56-85 (2017).MSC公司：60年第68季度 03B25号 03B44号 68T27型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{N.Alechina}等人，Artif。智力。245、56-85（2017；Zbl 1402.68122） 全文： 内政部
娜塔莎·亚历奇纳；牛，尼尔斯；斯蒂芬·德姆里；布赖恩·洛根 关于资源约束逻辑的复杂性。 （英语） 兹比尔1403.68137 Larsen、Kim Guldstrand（编辑）等，《可达性问题》。2016年9月19-21日在丹麦奥尔堡举行的RP 2016第十届国际研讨会。诉讼程序。查姆：施普林格（ISBN 978-3-319-45993-6/pbk；978-3-3169-45994-3/电子书）。计算机科学讲座笔记9899，36-50（2016）。MSC公司：68问题85 03B25号 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Alechina}等人，Lect。票据计算。科学。9899，36-50（2016；Zbl 1403.68137） 全文： 内政部 链接
牛，尼尔斯；迈赫迪·达斯塔尼 基于规范的机制设计。 （英语） Zbl 1386.68178号 Artif公司。智力。 239, 97-142 (2016).MSC公司：68T42型 03B44号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{N.Bulling}和\textit{M.Dastani}，Artif。智力。23997--142（2016年；Zbl 1386.68178） 全文： 内政部 链接
牛，尼尔斯；瓦伦丁·戈兰科；沃伊切赫·贾姆罗加 推理多层游戏中战略能力的逻辑。 （英语） Zbl 1422.91116号 van Benthem，Johan（编辑）等人，《战略推理模型》。逻辑、游戏和社区。柏林：斯普林格。莱克特。票据计算。科学。8972，93-136（2015年）。MSC公司：91A26型 91A20型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{N.Bulling}等人，Lect。票据计算。科学。8972，93--136（2015；Zbl 1422.91116） 全文： 内政部
牛，尼尔斯；沃伊切赫·贾姆罗加；马泰·波波维奇 \（mathsf{ATL}^\star\）具有真正完美的回忆：表达性和有效性。 （英语） Zbl 1366.03183号 Schaub，Torsten（编辑）等人，ECAI 2014。第21届欧洲人工智能会议，2014年8月18日至22日，捷克共和国布拉格。诉讼程序。包括关于智能系统著名应用的随之而来的会议记录（PAIS 2014）。阿姆斯特丹：IOS出版社（ISBN 978-1-61499-418-3/pbk；978-1-6499-419-0/ebook）。人工智能和应用前沿263177-182（2014）。MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{N.Bulling}等人，前面。Artif公司。智力。申请。263177-182（2014年；Zbl 1366.03183） 全文： 链接
牛，尼尔斯；瓦伦丁·戈兰科 如何既富有又快乐：关于多层游戏的定量和定性战略推理相结合（扩展抽象）。 （英语） Zbl 1464.68408号 Mogavero，Fabio（编辑）等人，《第一届战略推理国际研讨会论文集》，意大利罗马，2013年3月16日至17日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）第112、33-41页（2013年）。MSC公司：68T42型 03B44号 91A06型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{N.Bulling}和\textit{V.Goranko}，电子。程序。西奥。计算。科学。（EPTCS）112、33-41（2013；Zbl 1464.68408） 全文： arXiv公司 链接
牛，尼尔斯；沃伊切赫·贾姆罗加 使用内存验证代理比看起来更难。 （英语） Zbl 1216.68257号 AI社区。 23，第4号，389-403（2010）.MSC公司：68T27型 03B44号 2017年第68季度 60年第68季度 68T42型 PDF格式BibTeX公司 XML格式引用 \textit｛N.Bulling｝和\textit｛W.Jamroga｝，AI Commun。23，编号4389-403（2010年；兹bl 1216.68257） 全文： 内政部
北布林。；Dix，J。；西雅姆罗加。 战略能力的模型检验逻辑：复杂性。 （英语） Zbl 1201.68070号 Dastani，Mehdi（编辑）等人，《多智能体系统的规范和验证》。魏比·范德霍克（Wiebe van der Hoek）的前言。多德雷赫特：施普林格（ISBN 978-1-4419-6983-5/hbk；978-1-44109-6984-2/电子书）。125-159 (2010).MSC公司：60年第68季度 03B44号 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Bulling}等人，in：多代理系统的规范和验证。魏比·范德霍克（Wiebe van der Hoek）的前言。多德雷赫特：施普林格。125-159（2010年；Zbl 1201.68070） 全文： 内政部
牛，尼尔斯；沃伊切赫·贾姆罗加 代理可能会强制执行什么。 （英语） Zbl 1191.68648号 芬丹。通知。 93，编号1-3，81-96（2009）.MSC公司：68T27型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{N.Bulling}和\textit{W.Jamroga}，Fundam。通知。93，编号1-3，81-96（2009年；兹bl 1191.68648）
沃伊切赫·贾姆罗加；牛，尼尔斯 推理理性代理的逻辑。 （英语） Zbl 1175.68439号 Sadri，Fariba（编辑）等人，《多智能体系统中的计算逻辑》。第八届国际研讨会，CLIMA VIII，葡萄牙波尔图，2007年9月10日至11日。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-540-88832-1/pbk）。计算机科学课堂讲稿5056。人工智能课堂讲稿，42-61（2009）。MSC公司：68T27型 03B44号 68T42型 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{W.Jamroga}和\textit{N.Bulling}，莱克特。票据计算。科学。5056，42-61（2009年；Zbl 1175.68439） 全文： 内政部
牛，尼尔斯；沃伊切赫·贾姆罗加；尤尔根·迪克斯 理性游戏的时间属性推理。 （英语） Zbl 1187.03016号 安。数学。Artif公司。智力。 53，编号1-4，51-114（2008）. 审核人：瓦伦丁·F·戈兰科（约翰内斯堡） MSC公司：03B44号 68T27型 68T42型 91A26型 PDF格式BibTeX公司 XML格式引用 \textit{N.Bulling}等人，Ann.Math。Artif公司。智力。53，编号1--4，51-114（2008；Zbl 1187.03016） 全文： 内政部