{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,3]]，“日期时间”：“2022-04-03T13:53:22Z”，“时间戳”：1648994002588}，“出版商位置”：“柏林，海德堡”，“参考计数”：15，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783642342882”，“类型”：“打印”}，{“值”：“9783642342899”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2012,1,1]]，“date-time”：“2012-01T00:00:00Z”，“timestamp”：1325376000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http:\/\/www.springer.com\/tdm”}”，“内容域”：[]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2012]]}，“DOI”：“10.1007\/978-3642-34289-9_57”，“type”：“book-chapter”，“created”：{”date-part“：[2012,10,6]]，“date-time”：“2012-10-06T09:46:55Z”，“timestamp”：1349516815000}，”page“：”512-521“，”source“：“Crossref”，“is-referenced-by-count”：0，“title”：[“A Knowledge Representation in Possible World”]，“prefix”：“10.1007”，“作者”：[{“给定”：“阳信”，“家族”：“欧”，“序列”：“第一”，“从属关系”：[]}，{“给定”：“平”，“家庭”：“邹”，“顺序”：“附加”，“隶属关系”：【】}，}“给定的”：“春燕”，“家人”：“帅”，“排序”：“额外”，“附属关系”：[]}]，“成员”：“297”，“引用”：[{“问题”：“2”，“关键字”：“57_CR1”，”doi-asserted-by“：“出版商”，“首页”：“159”，“doi”：“10.5840\/monist19695327”，“卷”：“53”，“作者”：“R.蒙塔古”，“年份”：“1969年”，“非结构化”：“蒙塔古，R.：关于某些哲学实体的性质。《一元论》\u00a053（2），159\u2013194（1969）”，“期刊标题”：“一元论”}，{“key”：“57_CR2”，“doi-asserted-by”：“crossref”，“unstructured”：“Montague，R.：普通英语量化的正确处理。形式语义学，17\u201334（1973）”，“DOI”：“10.1002\/9780758335.ch1”}，{“key”：“57_CR3”，“unstructured”：“Kripke，S.A.：命名和必要性。Wiley-Blackwell（1981）”}：“Kripke，S.：模态逻辑的语义考虑。哲学学报Fennica\u00a016，83\u201394（1963）”，“期刊标题”：“哲学学报Fenneica”}，{“key”：“57_CR5”，“非结构化”：“Majkic，Z.：一阶逻辑：模态和内涵，arXiv:1103-0680（2011年3月）”}、{“issue”：“11”，“key“：”57_CR6“，”doi-asserted-by“：”publisher“首页”：“832”，“DOI”：“10.1145\/182.358434”，“volume”：“26”，“author”：“J.F.Allen”，“year”：“1983”，“unstructured”：“Allen，J.F.：维护关于时间间隔的知识。ACM\u00a026（11），832\u2013843（1983）的通信”，“journal-title”：“ACM的通信”}，{“密钥”：“57_CR7”，“非结构化”：“Artale，A.，Franconi，E.：推理行动和计划的时间描述逻辑。Arxiv预印本Arxiv:1105-5446（2011）”}，{“key”：“57_CR8”，“unstructured”：“Cau，A.，Moszkowski，B.，Zedan，H.：区间时间逻辑（2010），\n\n http://www.cms.dmu.ac.uk \/Cau \/itlhomepage \/itlhomepage.html”}，{“key”：“57_CR9”，“unstructured”：“Pnueli，A.：程序的时序逻辑。摘自：第18届计算机科学基础年会，第46\u201357页（1997）”}，{“issue”：“5”，“key“：”57_CR10“，“doi-asserted-by”：“publisher”，“first page”：”34“，“doi”：“10.1038\/scienceficamericancan0501-34”，“volume”：《284》，“author”：“T.B.Lee”，“year”：“2001”，“非结构化”：“Lee，T.B.，Hendler，J.，Lassila，O.，et al.：语义网.科学美国人\u00a0284（5），34\u201343（2001）”，“新闻标题”：“科学美国人”}，{“key”：“57_CR11”，“首页”：“2006”，“卷”：“10”，“作者”：“S.Bechhofer”，“年份”：“2004”，“非结构化”：“Bechhofer，S.，Van Harmelen，F.，Hendler，J.，Horrocks，I.，McGuinness，D.L.，Patel Schneider，P.F.，Stein，L.A.等人：OWL网络本体语言参考。W3C推荐\u00a0102006-01（2004）”，“期刊标题”：“W3C推荐”}，｛“密钥”：“57_CR12”，“doi断言由”：“crossref”，“非结构化”：“Baader，F.，Horrocks，I.，Sattler，U.：描述逻辑作为语义网络的本体语言。机械化数学推理：纪念Jorg H.Siekmann 60岁生日的论文（2005）”，“DOI”：“10.1007\/978-3-540-32254-2_14”}，{“key”：“57_CR13”，“DOI-asserted-by”：“crossref”，“unstructured”：“Srivastava，S.M.：数理逻辑课程。Springer（2008）”，“DOI”：“10.1007\/978-0-387-76277-7”｝，｛“key”：“57_CR14”，“DOI断言”：“crossref”，“非结构化”：“Prestel，A.，Delzell，C.N.：数理逻辑和模型理论。Springer（2011）”，“DOI”：“10.1007\/978-1-4471-2176-3”｝，｛“key”：“57_CR15”，“非结构化”：“Giarratano，J.C.，et al.：CLIPS User\u2019s guide，Artificial Intelligence Section，Lyndon B.Johnson Space Center（1989）”}]，“container-title”：[“Communications in Computer and Information Science”，“Computational Intelligent Systems”]，“original-tittle”：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3642-34289-9_57”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2019,5,8]]，“date-time”：”2019-05-08T04:28:11Z“timestamp”：1557289691000}，“score”：1，“resource”：{“primary”：{URL”：“http:\/\/link.springer.com\/10.1007\/978-3-642-34289-9_57”｝｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[2012]]｝，“国际标准图书编号”：[“9783642342882”，“9783642342899”]，“参考文献计数”：15，“URL”：“http:\/\/dx.doi.org/10.1007\/978-3-642-34289-9_57”，“关系”：｛｝，“ISSN”：[“1865-0929”，”1865-0937“]，”ISSN类型“：[｛”value“：”1865-0929“，”type“：”print“｝，{“值”：“1865-0937”，“类型”：“电子”}]，“主题”：[]，“发布”：{“日期部分”：[[2012]]}}