{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,8,6]]，“日期时间”：“2024-08-06T03:13:59Z”，“时间戳”：1722914039357}，“引用计数”：23，“发布者”：“IEEE Compute.Soc.Press”，“内容域”：{-“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]，“内政部”：“10.1109\/hicss.1997.663196”，“type”：“proceedings-article”，“created”：{“date-parts”：[2002,11,23]]，“date-time”：“2002-11-23T03:32:27Z”，“timestamp”：1038022347000}，“page”：”383-391“，“source”：《Crossref》，“is-referenced-by-count”：0，“title”：[“关于信念推理的模态逻辑”]，“prefix”：”10.1109“volume”：5“，“author”：[{“家庭”：“张国强”、“sequence”：“first”，“affiliation”：[]}，{“family”：“Chang Huang”，“sequences”：“additional”，“familiation”：[]}、{“given”：“W.C.”，“家族”：“Rounds”，“序列”：“附加”，“从属”：[]}，“member”：“263”，“reference”：[{“key”：”ref10“，“doi-asserted-by”：”publisher“，”doi“：”10.1007\/978-3642-76274-1_3“}”，{”journ al标题“：“非单调推理和部分语义”，“年份”：“1992”，“作者”：“meyer”，“key”：“ref11”}，{“key“：“ref12”，“doi-asserted-by”：“publisher”，”doi“：”10.1007\/978-3642-82453-1_15 serted-by“：”publisher“，”doi“：”10.1016\/0004-3702（80）90012-0“}，{“key”：“ref15”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0004-3702（80）90014-4”}，{“密钥”：“ref16”，“首页”：“479”，“卷”：“1”，“作者”：“轮”，“年份”：“1996”，“日记标题”：“计算语言”}：“rounds”，“key”：“ref17”}，{“key“：“ref18”，“doi-asserted-by”：“publisher”，“doi”：“10.1093\/logcom\/5.1.1”}泛化关系数据库”，“卷”：“91”，“作者”：“buneman”，“年份”：“1991”，“journal-title”：“理论计算机科学”}，{“year”：“0”，“key”：“ref3”}“johnson-laird”，“key”：“ref8”}，{“journal-title”：“默认域模型信念的模态逻辑结果”，“年份”：“1996”，“作者”：“huang”，“key”：“ref7”}，{“key“：“ref2”，“doi-asserted-by”：“publisher”，”doi“：”10.1007\/BF00883932 s“，”年份“：”1994“，“author”：“libkin”，“key”：“ref9”}，{“key“：“ref20”，“article-title”：“指称语义学领域”，“volume”：”140“，”author“：”dana“，”year“：”1982“，”journal-title“：”Computer Science课堂笔记“}，”{“key“：”ref22“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/S0304-3975（96）00238-1“}：“数学和人工智能年鉴”，“article-title”：“默认领域理论中的非单调结果”，“year”：“0”，“author”：“zhang”，“key”：“ref21”}，{“key“：”ref23“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-1-4612-0445-9“}]，“event”：{“name”：“第三十届夏威夷国际系统科学会议”，“缩写”：“HICSS-97”，“location”：“Wailea，HI，USA”}，“container-title”：[“第三十届夏威夷国际系统科学会议论文集”]，“original-title“：[]，“link”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx4\/5350\/14469\/00663196.pdf？arnumber=663196”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2017,6,15]]，“date-time”：“2017-06-15T15:15:43Z”，“timestamp”：1497539743000}，“score”：1，“resource”：}“primary”：{“URL”：“http://\/ieeexplore.iee.org\/document\/663196\/”}}，”subtitle“：[]，”shortitle“[]，“issued”：{-“date-parts”：[[null]]}，‘references-count’：23，“URL”：“http://\/dx.doi.org\/10.109\/hicss.1997.663196”，“关系”：｛｝，“主题”：[]｝｝