{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,3]]，“日期时间”：“2024-09-03T18:15:30Z”，“时间戳”：1725387330836}，“引用计数”：21，“发布者”：“IEEE Compute.Soc”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“DO”I“：”10.1109\/lics.1997.614959“，“type”：“procesdings-article”，“created”：{“date-parts”：[2002,11,22]]，“date-time”：“2002-11-22T16:45:27Z”，“timestamp”：1037983527000}，“page”：”328-339“，“source”:“Crossref”，“is-referenced-by-count”：1，“title”：[“power default reasoning的复杂性”]，“prefix”：“10.1109”，《volume》：“b”，“author”：[{“family”：“Guo-Qiang Zhang”，“sequence”：“first”，“affiliation”：[]}，{“given”：“W.C.”，“family”：“Rounds”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“263”，“reference”：[{“key”：”ref10“，“首页”：“500”，“article-title”：“版本空间和atms的通用顺序理论结构”，“author”：“gunter”，“year”：“1991”，“journal-title“：”第九届全国人工智能会议“}，{”key“：”ref11“，“首页”：“633”，“卷”：“b”，“作者”：“gunter”，“年份”：“1990”，“期刊标题”：“理论计算机科学手册”}，{“key”：“ref12”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0004-3702（91）90011-8”}“新闻标题”：“数据库中部分信息的方面”，“年份”：“1994”，“作者”：“libkin”，“key”：“ref14”}，{“key“：“ref15”，“doi-asserted-by”：“publisher”，”doi“：”10.1109\/LICS.1990.113736“年份”：“1990年”，“作者”：“pollard”，“key”：“ref17”}，{“key“：“ref18”，“doi-asserted-by”：“crossref”，“首页”：“67”，“doi”：“10.3233\/FI-1994-21124”，“article-title”：“静态默认扩展”，“卷”：“21”，“作者”：“przymusinska”，“年份”：“1994”，“新闻标题”：“基金通知”}I“：”10.1016\/0004-3702（80）90014-4“}，{“日志标题”：“函数编程研究主题”，“首页”：“155”，“年份”：“1990”，“作者”：“buneman”，“key”：“ref4”}，{“key“：”ref3“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/0004-3702（91）90099-6“}，”{“密钥”：“ref6”，“doi-assert-by”：“publisher”，”doi:“10.1137\/0218007”}by“：”publisher“，”doi“：”10.1137\/0217078“}，{”key“：”ref8“，“doi-asserted-by”：“publisher”，“doi”：“10.1093\/logcom\/2.3.397”}，{“key”：“ref7”，“first-pages”：“230”，“article-title”：“Disjunctive defaults”，“author”：“gelfond”，”year“：”1991“，”journal-title“：”Proceedings of Second Annual Conference on Knowledge Representation“}，”{“journal-title”“：”？一种基于偏序型结构微积分的格论计算方法？“，”年“：”1984“，”作者“：”a \uffdt-kaci“，”key“：”ref2“}，”{“key”：“ref1”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0168-0072（91）90065-T”}，{“key”：”ref9“，”doi-assert-by“：”publisher“，，“doi”：“10.1023\/a:1018932411629”}，{“key”：“ref21”，“首页”：“794”，“文章标题”：“命题缺省逻辑的复杂性”，“作者”：“stillman”，“年份”：“1992”，“新闻标题”：“AAAI 1992年会议记录”}]，“事件”：{“名称”：“第十二届IEEE计算机科学逻辑年会”，“首字母缩写词”：“LICS-97”，“位置”：“波兰华沙”}，“容器标签”：[“第十二次IEEE计算机逻辑年会记录”]，“original-title“：[]，”link“：[{”URL“：”http://\/xplorestaging.ieee.org\/ielx3\/4856\/13410\/00614959.pdf？arnumber=614959“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2020,3,11]]，”date-time“：“2020-03-11T06:37:05Z”，“timestamp”：158390 8625000}，“分数”：1，“资源”：{“primary“：{”URL“：”http://\/ieeexplore.iee.org\/document\/614959\/“}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{“date-parts”：[[null]]}，“references-count”：21，“URL”：“http://\/dx.doi.org\/10.109\/lics.1997.614959”，“relation”：{}，，“subject”：[]}}