{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,5,14]]，“日期-时间”：“2022-05-14T21:26:20Z”，“时间戳”：1652563580168}，“出版商位置”：“柏林，海德堡”，“引用-计数”：9，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540100096”，“类型”：打印“}，{”值“：“9783540381402”，“type”：“electronic”}]，“content domain”：｛“domain”：[]，“crossmark restriction”：false｝，“short container title”：[]，“published print”：｛“date parts”：[[1980]]｝，“DOI”：“10.1007\/3-540-100009-1_23”，“type”：“book chapter”，“created”：｛“date parts”：[[2012,2,25]]，“date time”：“2012-02-25T17:03:36Z”，“timestamp”：1330189416000｝，“page”：“293-305“，”来源“：“Crossref”，“is-referenced-by-count”：5，“title”：[“分析依赖关系以改进逻辑程序的行为”]，“prefix”：“10.1007”，”author“：[{“given”：“Maurice”，“family”：“Bruynooghe”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2005,25]]}，“reference”：[{“key”：”23_CR1“volume-title”：“Afdeling Toegepaste Wiskunde en Programmatie”，“author”：“M.Bruynooghe”，“year”：“1978”，“unstructured”：“Bruyneoghe，M.Horn子句逻辑程序解释器的智能回溯。CW 16报告，Afdelig Toegepate Wiskunde-en Programmatie，K.U.Leuven，比利时，1978年9月。”}，{“key”：“23_CR2”，“volume-title”：“Afdeling Toegepaste Wiskunde en Programmatie”，“author”：“M.Bruynooghe”，“year”：“1979”，“unstructured”：“Bruyneoghe，M.Naar een betere betere consedersing van de uitvoering van programma’s in de logika der Horn-uitdrukkingen.（荷兰语）。博士论文，Afdeling-Toegepaste-Wiskunde-en Programmatie，K.U.Leuven，比利时，1979年5月。”}，{“key”：“23_CR3”，“非结构化”：“Colmerauer，A.，Kanoui，H.，Roussel，P.和Pasero，R.Un systeme de communication homme-machine en francais.Group d’Intelligence Artificielle，U.E.R.de Luminy，University\u00e9 d’Aix-Marseille，1973。”}，{“key”：“23_CR4”，“doi-asserted-by”：“publisher”，“首页”：“311”，“doi”：“10.1016\/0004-3702（79）90008-0”，“卷”：“12”，“作者”：“J.Doyle”，“年份”：“1979年”，“非结构化”：“Doyle，J.A truth maintenance system.Artificial Intelligence 12（1979），231\u2013272.”，“journal-title”：“人工智能”}，{“key”：“23_CR5”，“unstructured”：“Kowalski，R.A.谓词逻辑作为编程语言。Information Processing 74，North-Holland Pub.Co.，Amsterdam，1974，pp.569\u2013574.”}，{“issue”：“7”，“key”：“23_CR6”，“doi-asserted-by”：“crossref”，“首页”：“424”，“doi”：“10.1145\\359131.359136”，“卷”：“22”，“作者”：“R.A.Kowalski”，“年份”：“1979”，“非结构化”：“Kowalska，R.A.Algorithm=logic+control.Comm.ACM 22，7（1979年7月），424\u2013436.”，“journal-title”：“Comm.ACM”}，{：“23_CR7”，“非结构化”：“Robinson，J.A。逻辑：形式和功能。爱丁堡大学出版社1979年。“}，{“key”：“23_CR8”，“unstructured”：“Sussman，G.J.和McDermott，D.V.为什么纵容比计划更好。AI Memo 255A，麻省理工学院，1972年4月。”}，}，“key“：”23_CR9“，“first page”：”109“，“volume”：：“64”，“author”：“D.Warren”，“year”：“1977”，“非结构化”：“Warren，D.，Pereira，L.M.和Pereira F。PROLOG—与LISP相比的语言及其实现。程序。症状。艺术、智慧。和编程语言；SIGPLAN通知（ACM）12、8；SIGART Newsletters（ACM）64（1977年8月），第109\u2013115页。症状。艺术、智慧。和编程语言“}”，“container-title”：[“第五届自动演绎Les Arcs会议，法国，2013年7月8日，1980年11月8日”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/3-540-10009-1_23.pdf”，“content-type”：“unspecified”，“内容-版本”：“vor”，“intended-application”：“相似性检查“}”，“存放”：{“日期-部分”：[[2021,4,27]]，“日期-时间”：“2021-04-27T20:33:30Z”，“时间戳”：1619555610000}，“分数”：1，“资源”：{“主要”:{“URL”：“http://\/link.springer.com\/10.1007\/3-540-10009-1_23”}，”副标题“：[]，”短标题“：[]，”发布“：{”日期-部分“：[[1980]]}，BN“：[”9783540100096“，”9783540381402“]，”参考计数“：9，”URL“：”http://\/dx.doi.org\/10.1007\/3-540-10009-1_23“，”关系“：{}，”ISSN“：[”0302-9743“，“1611-3349”]，”ISSN-type“：[{”value“：“0302-974”，“type”：“print”}，{”value“：“1611-33049”，“类型”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[1980]]}}}}