{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,3,31]]，“日期时间”：“2022-03-31T01:39:29Z”，“时间戳”：1648690769369}，“出版商位置”：“柏林，海德堡”，“参考计数”：15，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540632559”，“类型”：“打印”}，{“值”：“9783540692492”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[1997]}，”DOI“：”10.1007\/3-540-63255-7_11“，”type“：”book-chipter“，”created“：”{“date-part”：[2012,26]]，“date-time”：“2012-02-26T23:22:45 Z“，”时间戳“：1330298565000}，”页面“：”152-169“，”源“：“Crossref”，“is-referenced-by-count”：3，“title”：[“Power defaults（prepartial report）”]，“prefix”：“10.007”，“author”：[{“given”：“郭强”，“family”：“Zhang”，“sequence”：“first”，“affiliation”：[]}，{“fivent”：“William C.”，“家族”：“Rounds”，“序列”：“additional”，“从属关系”：[]}]，“member”：“297”，“published-on-line”：{“date-parts”：[[[2005,6,8]]}，“参考”：[{“key”：“11_CR1”，“unstructured”：“H.A\u00eft-Kaci.基于部分有序类型结构微积分的格理论计算方法。宾夕法尼亚大学博士论文，1984年。”}，{“key”：《11_CR2》，“volume-title”：“技术报告CS-R9402”，“author”：“K.R.Apt”，“year”：“1994”，“非结构化”：“K.R.Apt and R.N。《逻辑编程与否定：一项调查》。技术报告CS-R9402，CWI，Amsterdam，1994.“｝，｛“key”：“11_CR3”，“nonstructured”：“P.Buneman.函数式编程和数据库。In D.Turner，编辑，函数式编程研究主题，第155页\u2013169。Addison-Wesley，1990.“}，{”key“：”11_CR4“，”unstructured“：”M.Gelfond，V.Lifschitz，H.Przymuzi\u0144ska和M.Truszczy\u0144 ski。析取默认值。《第二届知识表征年会论文集》，第230\u2013237页。Morgan Kaufmann，1991.“}，{”key“：”11_CR5“，”doi-asserted-by“：”crossref“，”unstructured“：”G.Gottlob.非单调逻辑的复杂性结果。《第四国际会议笔记》，非单调推理研讨会，1992年。“，”doi“：”10.1093\/logcom\/2.3.397“}”，{（90）90101-5“，”卷：“44”，“作者”：“S.Kraus”，“年份”：“1990”，“非结构化”：“S Kraus，D.Lehmann，and M.Magidor。非单调推理、优先模型和累积逻辑。人工智能，44:167\u20132071990.“，“journal-title”：“人工智能”}，{“key”：“11_CR7”，“unstructured”：“L.Libkin.数据库中部分信息的方面.宾夕法尼亚大学博士论文，1994年”}“，{”key“：”11_CR8“，”doi-asserted-by“：”crossref“，”unstructure“：”W.Marek，A.Nerode，and J。雷梅尔。非单调规则系统的理论。第五届IEEE计算机科学逻辑研讨会论文集，第79\u201394页，1990年。“，“DOI”：“10.1109\/LICS.1990.113736”}，{“key”：“11_CR9”，“DOI-asserted-by”：“crossref”，“unstructured”：“F.Pereira and S。希伯。语法形式的语义被视为计算机语言。《第十届国际计算语言学会议论文集：COLING 84，1984》，“DOI”：“10.3115\/980431.980518”}，{“key”：“11_CR10”，“unstructured”：“C.Pollard和M.A.Moshier。统一集合的部分描述。P.Hansen主编，《温哥华认知科学研究》第一卷，不列颠哥伦比亚大学出版社，1990年。”}、{“key“：”11_CR11“，”doi asserted by“：”publisher“，”首页“：”81“，”doi“：”10.1016/0004-3702（80）90014-4“，”卷“：”13“，”作者“：”R.Reiter“，”年份“：”1980“，”非结构化“：”Raymond Reiter“。默认推理的逻辑。人工智能，13:81\u20131321980。“，”journal-title“：”Artificial Intelligence“}，{“key”：“11_CR12”，“doi-asserted-by”：“crossref”，“unstructured”：“W.Rounds和G.Q.Zhang。默认语义的逻辑考虑。即将出版，数学与人工智能年鉴，1997。”，“doi”：“10.1023\/A:1018932411629”}，}，“key“：”“11_CR13”，“volume-title”：“技术报告CS-R9551”，“作者”：“W.Rounds”，“年份”：“1995年”，“非结构化”：“W.Round和G.Q.Zhang。非单调特征逻辑的建议。技术报告CS-R9551，CWI，阿姆斯特丹，1995年。“}，{“key”：“11_CR14”，“unstructured”：“W.Rounds和G.Q.Zhang。功率默认推理的复杂性。在LICS 97的会议记录中，1997年7月。”}，}，“issue”：“1”，“key“：”11_CR15“，”doi-asserted-by“：”publisher“，”first page“：“23”，“doi”：“10.1016\/0022-0000（78）90048-X”，“volume”：”16“author”：“M.B.Smyth”，“年份”：“1978年”，“非结构化”：“M.B.Smyth。电源域。计算机与系统科学杂志，16（1）：23\u2013361978年2月content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2021,4,28]]，”date-time“：“2021-04-28T01:43:23Z”，“timestamp”：1619574203000}，“score”：1，“resource”：{“primary”:{“URL”：“http://link.springer.com\/10007\/3-540-63255-7_11”}}，”subtittle“：[]，“短标题”：[]，“已发布”：{date-parts“：[1997]]}，”ISBN“：[”9783540632559“，”9783540692492“]，”references-count“：15，”URL“：”http://\/dx.doi.org\/10.1007\/3-540-63255-7_11“，”relation“：{}，“ISSN”：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，“type”:“print”}，{“value”：“1611-3399“，”type“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[[1997]]}}}