{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,3,30]]，“日期时间”：“2024-03-30T16:40:54Z”，“时间戳”：1711816854565}，“出版商位置”：“柏林，海德堡”，“参考计数”：21，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540232421”，“类型”：“打印”}，{“值”：“9783540302278”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2004]]}，”DOI“：”10.1007\/978-3-540-30227-8_11“，”type“：”book-capter“，”created“：{”date-ports“：[2010,9,19]]，”date-time“：”2010-09-19T01:34:52Z“，”时间戳“：1284860092000}，”页面“：”95-107“，“source”：“Crossref”，“is-referenced-by-count”：5，“title”：[“Timed Reasoning Logics中的通信代理建模”]，“prefix”：“10.1007”，”author“：[{”given“：”Natasha“，”family“：”Alechina“，”sequence“：”first“，”affiliation“：[]}，{”Givent“：”Brian“，”“family”：“Logan”，“sequence”：“additional”，“afliation”：[]{”给定“：”Mark“，”家族“：”Whitsequence“”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“11_CR1”，“volume-title”：“第三届自治代理和多代理系统国际联合会议（AAMAS 2004）会议记录”，“author”：“N.Alechina”，“year”：“2004”，“unstructured”：“Alechina，N.，Logan，B.，Whitsey，M.：资源型代理的完整且可判定逻辑。摘自：《第三届国际自治代理和多代理系统联合会议论文集》（AAMAS 2004），2004年7月，纽约ACM出版社（2004）”}，{“key”：“11_CR2”，“doi-asserted-by”：“crossref”，“unstructured”：“Drapkin，J.，Perlis，D.：对Step Logics的初步探索。在：SIGART智能系统方法国际研讨会论文集，第262\u2013269页（1986）”，“DOI”：“10.1145\\12808.12837”｝，｛“key”：“11_CR3”，“DOI断言”：“crossref”，“首页”：“79”，“DOI”：“10.7551\\mitpress\\5352.0003.0006”，“卷标题”：“哲学与人工智能：界面上的论文”，“作者”：“J.Elgot-Drapkin”，“年份”：“1991年”，“非结构化”：“Elgot-Drapkin，J.，Miller，M.，Perlis，D.：记忆，理性与时间：步进逻辑方法。摘自：Cummins，R.，Pollock，J.（编辑）哲学与人工智：界面上论文，第79\u2013103页。麻省理工出版社，剑桥（1991）“}，{”issue“：”1“，”key“：”11_CR4“，”doi-asserted-by“：”publisher“，”first-page“：”75“，”doi“：”10.1080\/09528139008953715“，”volume“：“2”，”author“：”J.Elgot-Drapkin“，“year”：“1990”，”unstructured“：”Elgot-Drapkin，J.，Perlis，D.：时间推理I：基本概念。《实验与理论人工智能杂志》\u00a02（1），75\u201398（1990）“，“期刊标题”：“实验与理论智能杂志”}，{“关键词”：“11_CR5”，“卷标”：“知识推理”，“作者”：“R.Fagin”，“年份”：“1995”，“非结构化”：“费金，R.，哈尔佩恩，J.Y.，摩西，Y.，瓦尔迪，M.Y.：关于知识的推理。MIP Press，Cambridge（1995）“}，{“key”：“11_CR6”，“unstructured”：“Fagin，R.，Halpern，J.Y.：信念、意识和有限推理。摘自：《第九届国际人工智能联合会议论文集》（IJCAI 1985），加利福尼亚州洛杉矶，第491\u2013501页（1985）”}，}“key:”11_CR7“doi-asserted-by”：“publisher”，“first-page”：“39”，“doi”：“10.1016\/0004-3702（87）90003-8“，“卷”：“34”，“作者”：“R.Fagin”，“年份”：“1988”，“非结构化”：“Fagin，R.，Halpern，J.Y.：信念、意识和有限推理。人工智能\u00a034，39\u201376（1988）“，”杂志标题“：”人工智能“}，{“key”：“11_CR8”，“series-title”：“Foundations”，“doi-asserted-by”：“crossref”，“doi”：“10.1093\/oso\/9780198538332.001.0001”，“volume-title”：”标签演绎系统“，“author”：“D.M.Gabbay”，“year”：“1996”，“unstructured”：“Gabbay，D.M.：标签演绎系统。《基础》，卷\u00a0I。牛津大学出版社，牛津（1996）“｝，｛“issue”：“4”，“key”：“11_CR9”，“doi asserted by”：“publisher”，“first page”：“351”，“doi”：“10.1023\/A：1010050603219”，“volume”：“3”，“author”：“J.Grant”，“year”：“2000”，“nonstructured”：“Grant，J.，Kraus，S.，Perlis，D.：表征多个有界代理的逻辑。Autonomous Agents and Multi-Agent Systems\u00a03（4），351\u2013387（2000）“，”journal-title“：”Autonomous-Agents and Multi-Agents Systems“}，{“key”：“11_CR10”，“volume-title”：“A Deduction Model of Belief”，“author”：“K.Konolige”，“year”：“1986”，“unstructured”：“Konolige，K.：A Deducation Model of Belief”。Morgan Kaufmann，San Francisco（1986）“}”，{”key“：“”11_CR11“，”doi-asserted-by“：”crossref“，”first page“：”325“，”doi“：”10.1016\/B978-0-934613-04-0.50027-2“，“volume-title”：“知识推理的理论方面：1986年会议记录”，“author”：“G.Lakemeyer”，“year”：“1986”，“unstructured”：“Lakemeyer，G.：走向显式和隐式信念的一阶逻辑的步骤。摘自：Halpern，J.Y.（编辑）《知识推理的理论方面：1986年会议记录》，旧金山，第325\u2013340页。Morgan Kaufmann，San Francisco（1986）“}，{“key”：“11_CR12”，“unstructured”：“Levesque，H.J.：隐式和显式信念的逻辑。摘自：《第四届全国人工智能会议论文集》（AAAI 1984），第198\u2013202（1984）页”}，“key“：”11_CR13“series-title”：“CSLI课堂笔记”，“volume-title”：《逻辑与表征》，“作者：“R.C.摩尔”，“年份”：“1995年”，“非结构化”：“摩尔，R.C.：逻辑和表示。CSLI课堂讲稿，第\u00a039卷。CSLI Publications，Stanford（1995）“}，{“key”：“11_CR14”，“unstructured”：“NASA.CLIPS第三届会议论文集（CLIPS 1994），林登·约翰逊航天中心（1994年9月）”}，“{”key“：”11_CR15“，”unstructure“：”Nirkhe，M.，Kraus，S.，Perlis，D.：思考需要时间：用于及时推理的模态活动逻辑。技术报告CS-TR-3249，马里兰大学计算机科学系（1994）“}，{”key“：”11_CR16“，”first page“：“432”，”volume-title“：”Methodologies for Intelligent Systems，Proceedings of the Second International Symposium“，”author“：”R.Parikh“，”year“：”1987“，”unstructured“：”Parikh，R.：知识与逻辑全知问题。摘自：《智能系统方法论》，第二届国际研讨会论文集，第432\u2013439页。North-Holland，Amsterdam（1987）“}，{“key”：“11_CR17”，“unstructured”：“Rao，S.，Georgeff，M.P.：在BDI架构中建模理性代理。摘自：《第二届知识表示与推理原理国际会议论文集》（KR 1991），第473\u2013484页（1991）”}，}“密钥”：“11 _CR18”，“首页”：“81”，“卷标”：“Rational Agency的基础”，“作者”：“M.P.Singh”，“年份”：“1999年”，“非结构化”：“Singh，M.P.：Know-How”。摘自：Wooldridge，M.，Rao，A.（编辑）《理性代理的基础》，第81页\u2013104。Kluwer，Dordrecht（1999）“}，{“key”：“11_CR19”，“unstructured”：“软件技术部门，Lyndon B.Johnson航天中心，休斯顿。CLIPS参考手册：6.21版（2003年6月）”}，}，“key“：”11_CR20“，”doi-asserted-by“：”crossref“，”first page“：“133”，“doi”：“10.1007\/978-94-015-9204-8_7”，“volume-title”：“Rational Agency基金会”，“author”：“W。Hoek van der”，“年份”：“1999年”，“非结构化”：“van der Hoek，W.，van Linder，B.，Meyer，J.-J.C.：理性代理人的综合模式方法。摘自：Wooldridge，M.，Rao，A.（编辑）《理性代理的基础》，第133\u2013168页。Kluwer，Dordrecht（1999）“}，{“key”：“11_CR21”，“unstructured”：“Whitsey，M.：时间推理逻辑：一个例子。In:Proceedings of the Logic and Communication In Multi-Agent Systems Workshop（LCMAS 2004），Loria（2004）”}]，“container-title”：[“logics In Artificial Intelligence”，“Telection Notes In Computer Science”]，“original-title“：[]，“link”：[{“URL”：“http:\/\/link.springer.com/content\/pdf\/10.1007\/978-3-540-30227-8_11.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2024,3,30]]，”date-time“：“2024-03-30T15:59:49Z”，“timestamp”：1711814389000}，“score”：1，“resource”:{“primary”：{“URL”：“http:\/\/link.springer.com/10.1007\/978-3-540-30227-8_11“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期-部件“：[2004]]}，“ISBN”：[“9783540232421”，”9783540302278“]，”引用计数“：21，”URL“http://\/dx.doi.org\/10007\/978-3540-30227-811”，“关系”：{}，：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”value“：“1611-3349”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2004]]}}