{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,6]]，“日期时间”：“2024-09-06T23:24:39Z”，“时间戳”：1725665079257}，“出版商位置”：“柏林，海德堡”，“参考计数”：15，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“类型”：”打印“，“值”：“979 83540632559“}，{”类型“：“electronic”，“value”：“9783540692492”}]，“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“，“source”：“Crossref”，“is-referenced-by-count”：3，“title”：[“Power defaults（prepartial report）”]，“prefix”：“10.1007”，”author“：[{”given“：”郭强“，”family“：”Zhang“，”sequence“：”first“，”affiliation“：[]}，{“given”：”William C.“，”“family”：“Rounds”，“sequence”：“additional”，“afliation”：[]{“member”：“297”，“published-on-line”：{“date-parts”：[2005,6,8]}，“reference”：[{“key”：“11_CR1”，“unstructured”：“H.A\u00eft-Kaci.基于部分有序类型结构微积分的格理论计算方法。宾夕法尼亚大学博士论文，1984年。”}，{“volume-title”：“技术报告CS-R9402”，“年份”：“1994”，“author”：“K.R.Apt”，“key“11_CR2”，“非结构化”：“K.R.Apt and R.N。《逻辑编程与否定：一项调查》。技术报告CS-R9402，CWI，阿姆斯特丹，1994年。“}，{“key”：“11_CR3”，“unstructured”：“P.Buneman。函数编程和数据库。在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断言者”：“crossref”，“unstructured”：“G.Gottlob.非单调逻辑的复杂性结果。在非单调推理第四次国际研讨会笔记中，1992年。”，“doi”：“10.1093\/logcom\/2.3.397”}，{“key”：“11_CR6”，“doi断言者”：“crossref”，“第一页”：“167”，“doi”：“10.1016\/0004-3702（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“，”first-page“：”81“，”doi“：”10.1016\/0004-3702（80）90014-4“，”volume“：“13”，”author“：”R.Reiter“，”year“：”1980“，”unstructured“：”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”}，“volume-title”：“”《技术报告CS-R9551》，“年份”：“1995年”，“作者”：“W.Rounds”，“key”：“11_CR13”，“非结构化”：“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“：[]，“短标题”：[]，“已发布”：{日期部分”：[[1997]]｝，“国际标准图书编号”：[“9783540632559”，“9783540692492”]，“参考文献计数”：15，“URL”：“http:\/\/dx.doi.org/10.1007\/3-540-63255-7_11”，“关系”：｛｝，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN类型”：[｛”类型：“打印”，“值”：“0302-9743”｝，｛”类型：“电子”，“值”：“1611-3349”}]，“主题”：[]，“已发布”：｛“日期部分”：[[1997]]｝｝