{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T22:52:48Z”，“时间戳”：1725490368663}，“出版商位置”：“柏林，海德堡”，“参考计数”：19，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838”540741275“}，{”类型“：“电子”，“值”：“9783540741282”}]，“内容域”：{“域”：[]，“交叉标记限制”：false}，“短容器-标签”：[]，“DOI”：“10.1007\/978-3-540-74128-2_2”，“类型”：“book-capter”，“创建”：{“日期-部件”：[2007,8,27]]，“日期-时间”：“2007-08-27T06:05:15Z”，“时间戳”：1188194715000}，”页面“19-34“，”source“：”Crossref“，”is-referenced-by-count“：0，“title”：[“Verifying Space and Time Requirements for Resource-Bounded Agents”]，“prefix”：“10.1007”，“author”：[{“given”：“Natasha”，“family”：“Alechina”，“sequence”：“first”，“affiliation”：[]}，{“给定”：“Piergiorgio”，“家族”：“Bertoli”，“序列”：“additional”，“从属关系”：[]}，第页，{“given”：“马克”，“家族”：“贾戈”，“sequence”：“additional”，“affiliation”：[]}，{“给定”：“布赖恩”，“family”：“洛根”，“序列”：“附加的”，“从属关系”：[]}，}“给定的”：“卢西亚诺”，“家庭”：“塞拉菲尼”，“顺序”：“额外”，“附属关系”：[]}]，“成员”：“297”，“引用”：[{“key”：”“2_CR1”，“series-title”：“人造课堂笔记智能“，”doi-asserted-by“：“publisher”，“first page”：“33”，“DOI”：“10.1007\/11691792_3”，“volume-title”：“Declarative Agent Languages and Technologies III”，“author”：“T.\u00c5gotnes”，“year”：“2006”，“unstructured”：“\u00c 5gotnnes，T.，Walicki，M.：有限句法认知状态的完全公理化。In：Baldoni，M.，Endriss，U.，Omicini，A.，Torroni，P.（eds.）DALT 2005。LNCS（LNAI），第u00a03904卷，第33\u201350页。Springer，Heidelberg（2006）“}，{”key“：”2_CR2“，”首页“：”606“，”volume-title“：”第三届自治代理和多代理系统国际联合会议（AAMAS 2004）“，”author“：”N.Alechina“，”year“：”2004“，”unstructured“：”Alechina，N.、Logan，B.、Whitsey，M.：资源型代理人的完整且可决定的逻辑。载于：《第三届国际自治代理和多代理系统联合会议记录》（AAMAS 2004），第606\u2013613页。ACM Press，New York（2004年7月）“}，{”issue“：“3”，”key“：“2_CR3”，“first page”：“401”，”volume“：”8“，”author“：”M.Benerecetti“，”year“：”1998“，”unstructured“：”Benerecett，M.，Giunchiglia，F.，Serafini，L.：模型检查多代理系统。逻辑与计算杂志，多代理系统计算与逻辑方面的特刊\u00a08（3），401\u2013423（1998）“，“journal-title”：“逻辑与计算杂志，多智能体系统的计算与逻辑方面专刊”}，{“key”：“2_CR4”，“unstructured”：“Berger，M.，Bauer，B.，Watzke，M.：一个可扩展的代理基础设施。摘自：代理、MAS和可伸缩MAS基础设施第二次研讨会论文集（与自治代理联合举办），蒙特利尔（2001）Bibel，W.：计划生成的演绎解决方案。新一代计算\u00a04，115\u2013132（1986）“，”journal-title“：”New Generation Computing“}，{”issue“：”1,2“，”key“：”2_CR6“，”doi-asserted-by“：”crossref“，”first page“：“35”，“doi”：“10.1016\/S0004-3702（02）00374-0”，“volume”：“147”，”author“：”A.Cimatti“，”year“：”2003“，”unstructured“：”Cimatti，A.、Pistore，M.、Roveri，M.和Traverso，P.：通过符号模型检查的弱、强和强循环规划。人工智能\u00a0147（1,2），35\u201384（2003）“，”杂志标题“：”人工智能“}，{“问题”：“5”，“关键字”：“2_CR7”，“doi-asserted-by”：“publisher”，“首页”：“633”，“doi”：“10.1093\/logcom\/7.5.633”，“卷”：“7”，”作者“H.N.Duc”，“年份”：“1997”，“非结构化”：“Duc，H.N.：理性而非逻辑全知的代理人推理。《逻辑与计算杂志》（Journal of Logic and Computation）\u00a07（5），633\u2013648（1997）“，“Journal-title”：“Journal for Logic and Calculation”}，{“key”：“2_CR8”，“doi-asserted-by”：“crossref”，“first-pages”：“79”，“doi”：“10.7551\/mitpress\/5352.003.0006”，“volume-title“哲学与人工智能：界面上的论文”，“author”：“J.Elgot-Drapkin”，年：“1991”，“非结构化”：“Elgot-Drapkin，J.，Miller，M.，Perlis，D.：记忆、原因和时间：逐步逻辑方法。摘自：《哲学与人工智能：界面上的论文》，第79页\u2013103。麻萨诸塞州剑桥市麻省理工学院出版社（1991）“}，{”key“：”2_CR9“，”doi-asserted-by“：”publisher“，”first-page“：”75“，”doi“：”10.1080\/0958139008953715“，”volume“：“2”，”author“：”J.J.Elgot-Drapkin“，“year”：“1990”，”unstructured“：”Elgot-Drapkin，J.J.，Perlis，D.：时间推理I：基本概念。《实验和理论人工智能杂志》\u00a02，75\u201398（1990）“，“期刊标题”：“实验和理论人造智能杂志”}，{“卷标”：“知识推理”，“年份”：“1995”，“作者”：“R.Fagin”，“关键字”：“2_CR10”，“非结构化”：“费金，R.，哈尔佩恩，J.Y.，摩西，Y.，瓦尔迪，M.Y.：关于知识的推理。麻萨诸塞州剑桥市麻省理工学院出版社（1995）“}，{”key“：”2_CR11“，”doi-asserted-by“：”publisher“，”first page“：“187”，”doi“：”10.1016\/0004-3702（71）90010-5“，“volume”：“2”，“author”：“R.E.Fikes”，“year”：“1971”，“unstructured”：“Fikes，R.E.，Nilsson，N.J.：STRIPS：应用定理证明解决问题的新方法。人工智能\u00a02，187\u2013208（1971）”，“期刊标题”：“人工智能”}，｛“密钥”：“2_CR12”，“首页”：“200”，“卷标题”：“第十六届国际人工智能联合会议论文集（IJCAI 1999）”，“作者”：“M.Fisher”，“年份”：“1999”，“非结构化”：“Fisher，M.，Ghidini，C.：为基于资源的审议性代理编程。载：《第十六届国际人工智能联合会议论文集》（IJCAI 1999），第200\u2013206页。Morgan Kaufmann，San Francisco（1999）“}，{”key“：”2_CR13“，”doi-asserted-by“：”publisher“，”first page“：“723”，”doi“：”10.1145\/988672.988771“，”volume-title“：”第13届万维网国际会议论文集，WWW 2004“，”author“：”I.Horrocks“，“年份”：“2004”，“非结构化”：“Horrocks，I.，Patel-Schneider，P.F.：OWL规则语言的提案。载：《第13届国际万维网会议记录》，WWW 2004，第723\u2013731页。ACM，纽约（2004）“}，{”key“：”2_CR14“，”first page“：“62”，”volume-title“：”AAAI非标准逻辑自动演绎秋季研讨会“，”author“：”E.Jacopin“，”year“：”1993“，”unstructured“：”Jacopin，E.：作为定理证明的经典人工智能规划：线性逻辑片段的情况。摘自：AAAI非标准逻辑自动演绎秋季研讨会，第62\u201366页。AAAI Press，Palo Alto，California（1993）“}，{”key“：”2_CR15“，”series-title“：”人工智能课堂讲稿“，”volume-title“：“自适应代理和多代理系统II（AAMAS）”，“作者”：“M.Kacprzak”，“年份”：“2005”，“非结构化”：“Kacprzak，M.，Lomuscio，A.，Penczek，W.：通过无界模型检查验证多智能体系统。收录：Kudenko，D.，Kazakov，D.，Alonso，E.（编辑）自适应代理和多代理系统II（AAMAS）。LNCS（LNAI），vol.\u00a03394，Springer，Heidelberg（2005）“}，{”key“：”2_CR16“，”first page“：“1194”，”volume-title“：”Proceedings of the Thirth National Conference on Artificial Intelligence“，”author“：”H.Kautz“，”year“：”1996“，”unstructured“：”Kautz，H.，Selman，B.：推进包络：规划、命题逻辑和随机搜索。摘自：《第十三届全国人工智能会议论文集》，第1194\u20131201页。AAAI Press，Stanford，California，USA（1996）“}，{”issue“：“1-2”，”key“：“2_CR17”，”doi-asserted-by“：”publisher“，”first page“：”57“，”doi“：”10.1016\/S0004-3702（97）00026-X“，”volume“:”94“，”author“：”S.J.Russell“，”year“1997”，”unstructured“：”Russell，S.J.：理性与智能。人工智能\u00a094（1-2），57\u201377（1997）“，”journal-title“：”Artificial Intelligence“}，{“key”：“2_CR18”，“doi-asserted-by”：“publisher”，“first-page”：“565”，“doi”：“10.1145 \/544862.544877”，“volume-title”：“第一届国际自治代理和多代理系统联合会议（AAMAS 2002）论文集”，“author”：“S.Tarkoma”，“year”：“2002”，“unstructured”：“Tarkoma，S.、Laukkanen，M.：支持小型设备上的软件代理。收录于：《第一届自主代理和多代理系统国际联合会议记录》（AAMAS 2002），第565\u2013566页。美国纽约州纽约市ACM出版社（2002）“}，{“key”：“2_CR19”，“doi-asserted-by”：“crossref”，“unstructured”：“van Benthem，J.，Liu，F.：游戏中代理人的多样性。《哲学科学》，第8卷（2）（2004）”，“doi”：“10.4000\/phibiosacientiae.571”}]，“container-title”：[“计算机科学课堂讲稿”，“模型检查与人工智能”]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-74128-2_2.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2024,2,17]]，”date-time“：“2024-02-17T16:06:26Z”，“timestamp”：1708185 986000}，“分数”：1，“资源“：{“primary”:{“URL”：“http://\/link.springer.com//10.1007\/978-3-540-74128-2_2”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{日期部分：[[null]]}，”ISBN“：[”9783540741275“，”978354741282“]，”references-count“：19，”URL“http://\/dx.doi.org\/10.1007\/978-3540-74128-2”，“关系”：{}，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“类型”：“打印“，”值“：”0302-9743“}，{”类型“：”电子“，”数值“：”1611-3349“}]，”主题“：[]}}