{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[2022,4,4]，“日期-时间”：“2022-04-04T03:14:18Z”，“时间戳”：1649042058920}，“引用-计数”：27，“发布者”：“爱思唯尔BV”，“问题”：“1-3”，“许可证”：[{“开始”：{'日期-部件“：[2004,9,1]]，“日期时间”：2004-09-01T00:00:00Z“，“时间戳”：1093996800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,17]]，“date-time”：“2013-07-17T00:00:00Z”，“timestamp”：1374019200000}，“content-version”：“vor”，“delay-in-days”：3241，“URL“https:\\/www.else vier.com.\/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“交叉标记限制”：false｝，“短容器标题”：[“理论计算机科学”]，“已出版印刷品”：｛“日期部分”：[[2004,9]]｝，“DOI”：“10.1016\/j.tcs.2004.04.008”，“类型”：“期刊文章”，“已创建”：｛“日期部分”：[[2004,6,9]]，“日期时间”：“2004-06-09T20:23:03Z”，“时间戳”：1086812583000｝，“页面”：“321-350”，“来源”：“Crossref”，“is-referenced-by-count”：1，“title”：[“Reasoning with power defaults”]，“prefix”：“10.1016”，“volume”：“323”，“author”：[{“给定”：“郭强”，“family”：“Zhang”，“sequence”：“first”，“affiliation”：[]}，{“give”：“William C.”，“家族”：“Rounds”，“序列”：“additional”，“从属关系”：[]}]，“member”：“78”，“reference”：[}“key”：”10.1016\/j.tcs.2004.04.008_BIB1“，“doi-asserted-by”：“crossref”，“unstructured”：“S.Abramsky，逻辑形式的领域理论，Ann.Pure Appl.Logic 51（1991）。”，“doi”：“10.1016\/0168-0072（91）90065-T”}，{“key”：“101016\/j.tcs.2004.008_BIB2”。A\u0131\u0308t-Kaci，基于偏序型结构微积分的格理论计算方法，宾夕法尼亚大学博士论文，1984年doi-asserted-by“：”crossref“，”unstructured“：”J.Barwise，J.Seligman，《信息流：分布式系统的逻辑》，TCS中的剑桥丛书，第44卷，剑桥大学出版社，剑桥，1997年。“，”doi“：”10.1017\/CBO9780511895968“}，{“key”：“10.1016\/J.TCS.2004.008_BIB5”，“unstructure”：“P.Buneman，函数编程和数据库，in：D。Turner（Ed.），《函数编程研究主题》，Addison-Wesley，Reading，MA，1990年，第155\u2013169页。“}”，{“key”：“10.1016\/j.tcs.2004.04.008_BIB7”，“doi-asserted-by”：“crossref”，“first page”：”1232“，”doi“：”10.1137\/0217078“，”article-title“：”The Boolean hierarchy.II“，”volume“：”17“，”author“：”Cai“，”year“1988”，“journal-title”：“SIAM j.Compute.”}，{”key“：M.Gelfond、V.Lifschitz、H.Przymuzi\u0144ska、M。Truszczy\u0144ski，Disjunctive defaults，摘自：J.Allen，R.Fikes，E.Sandewall（编辑），Proc。第二届知识表示年度大会，Morgan Kaufmann，Los Altos，CA，1991年，第230\u2013237页。“}，{“issue”：“3”，“key”：“10.1016\/j.tcs.2004.008_BIB9”，“doi-asserted-by”：“crossref”，“first page”：第397页，“doi”：“101093\/logcom\/2.3.397”，“article-title”：“非单调逻辑的复杂性结果”，“volume”：”：“2”，“author”：“Gottlob”，“year”“：”1992“，”journal-title“：《逻辑计算杂志》。“}，{”issue“：”1“，”key“：”10.1016\/j.tcs.2004.04.008_BIB10“，”doi-asserted-by“：”crossref“，”first page“：“81”，”doi“：”101006\/inco.1995.1124“，“article-title”：“静态定点语义下推理的复杂性”，“volume”：“121”，“author”：“Gottlob”，“year”：“1995”，“journal-title“：”Inform.and Compute.“}”，{“key”：”10.1016\/j.tcs.2004.04.008_BIB11“，“doi-asserted-by”：“crossref”，“unstructured”：“C.A.Gunter，D.S.Scott，语义域，收录于：j.van Leeuwen（编辑），《理论计算机科学手册》，B卷，Elsevier，阿姆斯特丹，1990年，第633\u2013674页（第12章）。“，”DOI“：”10.1016\/B978-0-444-88074-1.50017-2“}，{”key“：”101016\/j.tcs.2004.04.008_BIB12“，”unstructured“：”H.Kautz，B.Selman，《简单默认逻辑的难题》，摘自：KR 89的Proc.，Morgan Kaufmann，Los Altos，CA，1989，第189\u2013197页。“}G.-Q公司。张，《权力缺省推理实验》，J.Mostow，C.Rich（编辑），Proc。AAAI国家人工智能会议，麻省理工学院出版社，马萨诸塞州剑桥，1998年，第846\u2013852.页Kraus”，“年份”：“1990年”，“新闻标题”：“人工智能”}，{“key”：“10.1016\/j.tcs.2004.04.008_BIB15”，“非结构化”：“L.Libkin，数据库中部分信息的方面，宾夕法尼亚大学博士论文，1994年”}。Remmel，非单调规则系统理论，收录于：Proc。IEEE第五交响曲。《计算机科学中的逻辑》，1990年，第79\u201394页。“，“DOI”：“10.1109\/LICS.1990.113736”}，{“key”：“101016\/j.tcs.2004.008_BIB17”，“series-title”：“计算复杂性”，“author”：“Papadimitriou”，“year”：“1994”}。希伯，被视为计算机语言的语法形式主义语义，收录于：Proc。第十届国际。计算语言学会议：COLING 84，1984。“，“DOI”：“10.3115\/980431.980518”}，{“key”：“10.1016\/j.tcs.2004.008_BIB19”，“unstructured”：“G.Plotkin.Domains Notes on Domains（Pisa Notes），爱丁堡大学，1983。可访问：http://www.dcs.ed.ac.uk\/home\/gpdp\/publications\/“｝，｛“key”：“10.1016\/j.tcs.2004.04.008_BIB20”，“非结构化”：“C.Pollard，M.A.Moshier，统一集合的部分描述，in：P.Hansen（ed.），《温哥华认知科学研究》，第1卷，不列颠哥伦比亚大学出版社，加拿大温哥华，1990年。”｝，｛“key”：“10.1016\/j.tcs.2004.04.008_BIB21“，”doi-asserted-by“：”crossref“，”first page“：”67“，”doi“：”10.3233\/FI-1994-21124“，”article-title“：”statinary default extensions“，”volume“：“21”，”author“：”Przymusi\u0144ska“，”year“：”1994“，”journal-title”：“Fund。通知。“}，{”key“：”10.1016\/j.tcs.2004.04.008_BIB22“，”doi-asserted-by“：”crossref“，”首页“：”81“，”doi“：”101016\/0004-3702（80）90014-4“，”article-title“：”默认推理的逻辑“，”volume“：“，”doi-asserted-by“：”crossref“，”第一页“：”183“，”DOI“：”10.1006\/inco.2001.3073“，”article-title“：”代数域中的子句逻辑和逻辑编程“，”volume“：”171“，“author”：“Rounds”，“year”：“2001”，“journal-title”：“Inform”。和计算。“}，{”key“：”10.1016\/j.tcs.2004.04.008_BIB24“，”series-title“：”程序设计语言的形式语义“，”author“：”Winskel“，”year“：”1993“}、{”key“：“10.1016\/j.tcs.2004.008_BIN25”、“series-ttle”：“域逻辑”、“author”：“Zhang”、“year”：“1991”}、“key”：“10.116\/j-tcs.2004.008_BIB26”、“doi-aser”ted-by“：”crossref“，”unstructured“：”G.-Q。Zhang，W.Rounds，《权力缺省推理的复杂性》，摘自：Proc。第12届IEEE年会。《计算机科学中的逻辑》，IEEE计算机社会出版社，Silver Spring，MD，1997年，第328\u2013339页。“，”DOI“：”10.1109\/LICS.1997.614959“}，{“key”：“10.1016\/j.tcs.2004.008_BIB27”，“DOI-asserted-by”：“crossref”，“unstructured”：“G.-Q.Zhang，W.Rounds，功率默认推理（初步报告），in：程序。第四国际。逻辑编程与非单调推理会议，《计算机科学讲义》，施普林格，纽约，1997年，第152\u2013169页。“，“DOI”：“10.1007\/3-540-63255-7_11”}]，“container-title”：[“理论计算机科学”]，“original-title“：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com\/content\/article\/PII:S0304397504003627？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0304397504003627？httpAccept1=text\/plain“，”内容类型“：”文本\/plaine“，”content-version”：“vor”，“intended_application”：“text-mining”}]，“存放”：{“日期部分”：[[2020,4,2]，“date-time“：”2020-04-02T11:22:35Z“，”timestamp“：1585826555000}，”score“：1，”resource“：{主要”：{“URL”：“https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397504003627”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“date-parts”：[[2004,9]]}，‘references-count’：27，‘日志发布’：{‘发布’：“1-3”，“published-print“：{“date-parts”：[[2004,9]]}}，”alternative-id“：[”S0304397504003627“]，”URL“：”http://\/dx.doi.org\/10.1016\/j.tcs.2004.04.008“，”关系“：{}，”ISSN“：[“0304-3975”]，”ISSN-type“：[{”value“：”0304-397“，”type“:”print“}]，”主题“：[]，”published“：{”date-parts“：[2004,9]]}}}}