{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,27]]，“日期时间”：“2024-04-27T03:26:30Z”，“时间戳”：1714188390712}，“出版商位置”：“柏林\/Heidelberg”，“引用计数”：17，“出版者”：“Springer-Verlag”，“isbn-type”：[{“值”：“3540571841”，“类型”：打印“}]，”内容域“：{”域“：[]，“交叉标记限制”：false｝，“短容器标题”：[]，“DOI”：“10.1007\/bfb022570”，“类型”：“书籍章节”，“创建”：｛“日期部分”：[[2005,11,13]]，“日期时间”：“2005-11-13T06:14:45Z”，“时间戳”：1131862485000｝，“页面”：“211-222”，“来源”：“Crossref”，“由计数引用”：2，“标题”：[“自动认知推理中减弱消极内省的方案”]，“前缀”：“10.1007”，“作者”：[{“给定”：“托米”，“家族”：“Janhunen”，“序列”：“第一”，“从属关系”：[]}：“Bonatti，P.：自认知逻辑作为逻辑程序语义的统一框架。1992年逻辑编程联合国际会议和研讨会论文集，美国华盛顿特区，1992年11月。”}，{“key”：“24_CR2”，“doi-asserted-by”：“crossref”，“first page”：《219》，“doi”：“10.1016\/0004-3702（90）90086-F”，《volume》：“43”，“author”：“C.Elkan”，“year”：“1990”，“unstructured”：“Elkan，C.：非单调真理维护系统的理性重建。人工智能，43:219\u20132341990.”，“journal-title”：“人工智能”}，{“key”：“24_CR3”，“doi-asserted-by”：“crossref”，”first page：“41”，“doi”：“10.1016\/0004-3702（87）90081-6”，“volume”：”31“author:”D。Etherington”，“年份”：“1987年”，“非结构化”：“Etheringon，D.：形式化非单调推理系统。人工智能，31:41\u2013851987。”，“新闻标题”：“人工智能”}，{“关键字”：“24_CR4”，“首页”：“1070”，“卷标”：“第五届逻辑程序设计国际会议论文集”，“作者”：“M.Gelfond”，“年份”：“1988”，“非结构化”：“Gelfond，M.和Lifschitz，V.：逻辑编程的稳定模型语义。《第五届逻辑编程国际会议论文集》，第1070\u20131080页，美国西雅图，1988年8月。麻省理工学院出版社。“}，{”issue“：”3“，”key“：”24_CR5“，”doi-asserted-by“：”crossref“，”first-page“：”397“，”doi“：”10.1093\/logcom\/23.397“，”volume“：“2”，”author“：”G.Gottlob“，”year“：”1992“，”unstructured“：”Gottlobe，G.：非单调逻辑的复杂性结果。逻辑与计算杂志，2（3）：397\u20134251992年6月。“，”Journal-title“：”逻辑与计算杂志“}，{“key”：“24_CR6”，“series-title”：“人工智能543课堂讲稿”，“首页”：“223”，“卷时间”：“第一届非单调归纳逻辑国际研讨会论文集”，“作者”：“J.Kalinski”，“年份”：“1990”，“非结构化”：“Kalinski，J.：不完全信念内省的自认知扩展。《第一届非单调和归纳逻辑国际研讨会论文集》，第223\u2013232页，德国卡尔斯鲁厄，1990年12月。斯普林格·弗拉格。人工智能课堂讲稿543.“}，{”key“：”24_CR7“，”unstructured“：”Kalinski，J.：弱自认知推理。在与ECAI'92联合举办的欧洲知识表示和推理理论基础研讨会上发表，20134年8月3日\u，奥地利维也纳，1992。“}”，{“key”：“24_CR8”，“doi-asserted-by”：“crossref”，“第一页“：”343“，”DOI“：”10.1016\/0004-3702（88）90021-5“，”卷“：”35“，”作者“：”K.科诺里奇“，”年份“：”1988“，”非结构化“：”科诺里格，K.：关于默认逻辑和自认知逻辑之间的关系。人工智能，35:343\u20133821988.“，”杂志标题“：”人工智能“}，{“key”：“24_CR9”，“unstructured”：“Marek，W.和Truszczy\u0144ski，M.：关联自认知逻辑和默认逻辑。在《第一届知识表示与推理原则国际会议论文集》，第276\u2013288页，加拿大多伦多，1989年5月Marek，W.和Truszczy\u0144ski，M.：默认推理的模态逻辑。《数学与人工智能年鉴》，1:275\u20133021990.“，“journal-title”：“Annals of Mathematics and Artificial Intelligence”}，{“key”：“24_CR11”，“doi-asserted-by”：“crossref”，“first-page”：“75”，“doi”：“10.1016\/0004-3702（85）90042-6”，“volume”：Moore，R.：非单调逻辑的语义考虑。人工智能，25:75\u2013941985。”，“新闻标题”：“人工智能”}，{“关键词”：“24_CR12”，“首页”：“399”，“卷标”：“第十二届国际人工智能联合会议论文集”，“作者”：“I.Niemel\u00e4”，“年份”：“1991”，“非结构化”：“Niemel\u00e4，I.：建构主义的紧密基础的自我认识推理。第十二届国际人工智能联合会议记录，第399\u2013404页，澳大利亚悉尼，1991年8月。摩根考夫曼出版社。“}，{”issue“：“1”，”key“：“24_CR13”，”doi-asserted-by“：”crossref“，”first page“：”117“，“doi”：“10.3233\/FI-1992-171-208”，“volume”：“17”，“author”：“I.Niemel\u00e4”，“year”：“1992”，“unstructured”：“Niemel\f00e4，I.：关于自认知推理的可判定性和复杂性。基础信息学，17（1,2）：117\u20131551992。”，“日志标题”：“Fundamental Informaticae“}，{“key”：“24_CR14”，“unstructured”：“Przymusinska，H.和Przimusinski，T.：静态默认扩展。第四届非单调推理国际研讨会工作笔记，第179\u2013193页，美国佛蒙特州普利茅斯，1992年5月。”第一届逻辑程序设计和非单调推理国际研讨会论文集”，“作者”：“T.Przymusinski”，“年份”：“1991年”，“非结构化”：“Przimusinski，T.：封闭信念和逻辑程序的自认知逻辑。《第一届逻辑编程与非单调推理国际研讨会论文集》，第3\u201320页，美国华盛顿特区，1991年7月。麻省理工学院出版社。“}，{”key“：”24_CR16“，”doi-asserted-by“：”crossref“，”first-page“：”81“，”doi“：”10.1016\/0004-3702（80）90014-4“，”volume“：“13”，”author“：”R.Reiter“，”year“：”1980“，”unstructured“：”Reiter，R.：默认推理的逻辑。人工智能，13:81\u20131321980。“，”journal-title“：”Artificial Intelligence“}”，{“issue”：“3”，“key”：“24_CR1 7“，”doi-asserted-by“：”crossref“，”first page“：”620“，”doi“：”10.1145\/116825.116838“，”volume“：“38”，”author“：”A.Gelder Van“，”year“：”1991“，”unstructured“：”Van Gelder，A.，Ross，K.，and Schlipf，J.：通用逻辑程序的良好语义。美国计算机学会杂志，38（3）：620\u20136501991年7月content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：：{“日期部分”：[[null]]}，“ISBN”：[“3540571841”]，“references-count“：17，”URL“：”http://\/dx.doi.org\/10.1007\/bfb0022570“，”关系“：{}，”主题“：[]}}