{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,1]]，“日期时间”：“2022-04-01T20:40:16Z”，“时间戳”：1648845616928}，“出版商位置”：“柏林，海德堡”，“参考计数”：6，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540568049”，“类型”：“打印”}，{“值”：“9783540477501”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1993]]}，”DOI“：”10.1007\/3-540-56804-2_23“，”type“：”book-capter“，”created“：”{“date-part”：[2012,26]]，“date-time”：“2012-02-26T11:40:29Z“，”timestamp“：1330256429000}，”page“：”245-254“，”source“：“Crossref”，“is-referenced-by-count”：2，“title”：[“使用精化格表示程序要求”]，“prefix”：“10.1007”，”author“：[{“给定”：“Dave”，“family”：“Robertson”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Jaume”：“additional”，“affiliation”：[]}，{“given”：“Jordi”，“family”：“Levy”，“sequence”：“addressive”，“abfiliation“：[]2]，“member”：“297”，“published-on-line”：{“date-parts”：[[2005,5,30]]}；“reference”：[{“key”：”23_CR1“，“volume-title”：“Research Paper 446”，“author”：“A.Bundy”，”“year”：“1989”，“unstructured”：“A.Bundy and M。乌斯科尔德。在生态建模领域中使用类型化lambda演算捕获需求。研究论文446，人工智能部，爱丁堡，1989年。Givan和T.Fatima。一阶推理的分类语法。《KR-89学报》，1989年。“}，{“key”：“23_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“D.Robertson，J.Agusti，J.Hesketh，and J.Levy。使用精化格表示程序需求。爱丁堡大学人工智能系研究论文，1992年。提交给ISMIS-93的论文的较长版本。”，“DOI”：“10.1007\/3-540-56804-2_23”}，｛“key”：“23_CR5”，“nonstructured”：“D.Robertson，A.Bundy，R.Muetzelfeldt，M.Haggith和M Uschold。《生态逻辑：基于逻辑的生态建模方法》，麻省理工学院出版社（逻辑编程系列），1991年。ISBN 0-262-18143-6。“}，{”key“：”23_CR6“，”doi-asserted-by“：”crossref“，”first page“：“1”，”doi“：”10.1016\/0020-7373（89）90030-8“，”volume“：‘31’，”author“：”D.Robertson“，”year“：”1988“，”unstructured“：”D.Robertson，M.Uschold，A.Bundy，and R。穆泽尔费尔特。生态程序构建系统：增强其代表性的方法及其对用户界面的影响。《国际人机研究杂志》，31:1\u2013261988年。“，“Journal-title”：“国际人机研究期刊”}]，“container-title“：[“计算机科学讲义”，“智能系统方法学”]，“original-title:[]，“link”：[{“URL”：“http://link.springer.com\/content\/pdf\/10007\/3-540-56804-2_23.pdf”，“content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2020,11,17]]，”date-time“：“2020-11-17T21:06:03Z”，”timestamp“：1605647163000}，”score“：1，”resource“：{“primary”：{“URL”：“http://link.springer.com\/10007\/3-540-56804-2_23”}}，“subtitle”：[]，“短标题”：[]，“已发布”：{date-parts“：[[1993]]}，”ISBN“：[”9783540568049“，”97835477501“]，”references-count“：6，”URL“：”http://\/dx.doi.org\/10.1007\/3-540-56804-2_23“，”relation“：{}，“ISSN”：[”0302-9743“，“1611-3349”]，“ISSN-type”：[{“value”：“0302-974”，“type”:“print”}，{“value”：“1611-349”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[1993]]}}}