{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,6]]，“日期时间”：“2024-09-06T13:07:57Z”，“时间戳”：1725628077805}，“引用计数”：12，“发布者”：“IEEE Compute.Sco.Press”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]，“内政部”：“10.1109\/lics.1991.151660”，“type”：“procesdings-article”，“created”：{“date-parts”：[2002,12,10]]，“date-time”：“2002-12-10T19:53:10Z”，“timestamp”：1039549990000}，“page”：”362-373“，“source”：《Crossref》，“is-referenced-by-count”：12，“title”：[“结构化理论中的默认值和修订”]，“前缀”：”10.1109“，“卷”：”130“作者”：[{“给定”：“M.”，“家庭”：“Ryan”，“sequence”：“first”，“affiliation”：[]}]，“member”：“263”，“reference”：[{“key”：“ref4”，“doi-asserted-by”：“publisher”，”doi“：”10.1016\/0004-3702（90）90057-7“}，{“volume”：”130“，”journal-title“：”Axiomatis\uffding the Logic of Computer Programming“，”year“：”1982“，”author“：”goldblatt“，”key“：”ref3“}”，{”journal title“：“关于变化的推理”，“年份”：“1986年”，“author”：“shoham”，“key”：“ref10”}，{“journal-title”：“逻辑与人工智能手册”，“year”：“1991”，“author”：“makinson”，“key”：”ref6“}，“journal title”：”Conditional Defaults and Belief Revision“，”first page“：”28“，”year“：”1990“，”author“：”veltman“，”key“：“ref11”}，“key”：“ref5”}，{“journal-title”：“可定义透视图的逻辑”，“year”：“1989”，“author”：“virmer”，“keys”：“ref12”}“新闻标题”：“范畴理论与计算机程序设计”，“年份”：“1986年”，“作者”：“goguen”，“key”：“ref2”}，{“key“：“ref9”，“doi-asserted-by”：“crossref”，“doi”：“10.1007\/3-540-54415-1_65”，“article-title”：“在模态动作逻辑中共享动作和属性”，“author”：“ryan”，“year”：“1991”，“journal-title“：“计算机软件的理论方面”}：“Knowledge in Flux”，“year”：“1988”，“author”：“g\uffdredinfors”，“key”：“ref1”}]，“event”：{“name”：“第六届IEEE计算机科学逻辑研讨会”，“location”：“荷兰阿姆斯特丹”}，“container-title”：[“[1991]Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science”]，“original-title“：[]，”link“：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx2\/360\/3979\/00151660.pdf？arnumber=151660”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期部分”：[[2017,6,15]]，“日期时间”：“2017-06-15T15:41:45Z”，“时间戳”：1497541305000}，“分数”：1，“资源”primary“：{”URL“：“http://\/ieeexplore.iee.org\/document\/151660\/”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[[null]]}，”引用计数“：12，”URL“：”http://\/dx.doi.org\/10.109\/lics.1991.151660“，”关系“：{}，‘主题’：[]}