{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,3,29]]，“日期时间”：“2022-03-29T16:23:13Z”，“时间戳”：1648570993956}，“出版商位置”：“柏林，海德堡”，“参考计数”：16，“出版者”：“施普林格-柏林-海德堡“，”isbn-type“：[{“值”：“9783540232421”，“类型”：“打印”}，{“值”：“9783540302278”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2004]]}，”DOI“：”10.1007\/978-3-540-30227-8_13“，”type“：”book-capter“，”created“：”{“date-part”：[2010,9,19]]，“date-time”：“2010-09-19T01:34:52Z“，”时间戳“：1284860092000}，”页面“：”121-133“，“source”：“Crossref”，“is-referenced-by-count”：3，“title”：[“统计默认逻辑的实现”]，“prefix”：“10.1007”，”author“：[{”given“：”Gregory R.“，”family“：”Wheeler“，”sequence“：”first“，”affiliation“：[]}，{”given“；Carlos”，“family”：“Dam\u00e1sio”，“13_CR1”，“非结构化”：“Bacchus，F.，Grove，A.，Halpern，J.，Koller，D.：默认推理的统计基础。摘自：《1993年国际人工智能联合会议论文集》（IJCAI 1993），第563\u2013569页（1993）”}，{“key”：“13_CR2”，“volume-title”：“统计学的数学方法”，“author”：“H.Cram\u00e9r”，“year”：“1946”，“unstructured”：“Cram\u00e9r，H.：统计学的数学方法。普林斯顿大学出版社，普林斯顿（1946）”}，{“issue”：“3”，“key”：“13_CR3”，”doi-asserted-by“：”publisher“，”first page“：”187“，“doi”：“10.1016\/S0743-1066（99）00059-X”，“volume”：”43“author”：“A.Dekhtyar”，“year”：“2000”，“unsructured“：“Dekhtyar，A.，Subrahmanian，V.S.：混合概率程序。逻辑编程杂志\u00a043（3），187\u2013250（2000）”，“期刊标题”：“逻辑编程杂志”}，{“key”：“13_CR4”，“volume-title”：“KR 1998:知识表示和推理原理”，“author”：“T.Eiter”，“year”：“1998”，“unstructured”：“Eiter，T.，Leone，N.，Mateis，C.，Pfeifer，G.，Scarcello，F.：KR系统：进度报告、比较和基准。摘自：Cohen，A.，Schubert，L.，Shaprio，S.（eds.）KR 1998：知识表示和推理原理，Morgan Kaufmann，San Francisco（1998）”}，{“关键”：“13_CR5”，“第一页”：“1070”，“卷时间”：“第五届逻辑程序设计国际会议论文集”，“作者”：“M.Gelfond”，“年份”：“1988年”，“非结构化”：“Gelfind，M.，Lifschitz，V.：逻辑程序设计的稳定模型语义。收录：Kowalski，R.，Bowen，K.（eds.）《第五届国际逻辑程序设计会议论文集》，第1070\u20131080页。麻省理工学院出版社，剑桥（1988）“}，{”key“：”13_CR6“，”first page“：“579”，”volume-title“：”Proceedings of the 7th International Conference on Logic Programming“，”author“：”M.Gelfond“，”year“：”1990“，”unstructured“：”Gelfodn，M.，Lifschitz，V.：经典否定逻辑程序。In:Warren，D.，Szeredi，P.（eds.）《第七届逻辑程序设计国际会议论文集》，第579\u2013597页。麻省理工学院出版社，剑桥（1990）“}，{“issue”：“2”，“key”：“13_CR7”，“doi-asserted-by”：“publisher”，“first page”：”267“，“doi”：“10.1142\/S02180149900015X”，“volume”：：“13”，“author”：“H.E.Kyburg Jr.”，”year“1999”，“unstructured”：“Kyburg Jr.，H.E.，Teng，C.M.：作为默认逻辑的统计推断。国际模式识别与人工智能杂志\u00a013（2），267\u2013283（1999）“，“杂志标题”：“国际模式识别和人工智能杂志”}，{“key”：“13_CR8”，“volume-title”：“数学统计导论”，“author”：“R.J.Larsen”，“year”：“2001”，“unstructured”：“拉森，R.J.，马克思，M.L.：《数理统计导论》。Prentice Hall，Upper Saddle River（2001）“}，{“key”：“13_CR9”，“series-title”：“人工智能课堂讲稿”，“首页”：“336”，“卷时间”：“逻辑编程与非单调推理”，“作者”：“T.Lukasiewicz”，“年份”：“2001”，“非结构化”：“Lukasiewicz，T.：具有概率语义的多值析取逻辑程序的不动点特征。收录：Eiter，T.、Faber，W.、Truszczy\u0144ski，M.（编辑）LPNMR 2001。LNCS（LNAI），第u00a02173卷，第336\u2013350页。Springer，Heidelberg（2001）“}，{“问题”：“1-3”，“关键”：“13_CR10”，“doi-asserted-by”：“出版商”，“首页”：“35”，“doi”：“10.1023\/A:1014445017537”，“卷”：“34”，“作者”：“T.Lukasiewicz”，“年份”：“2002”，“非结构化”：“Lukasiewicz，T.：具有条件约束的概率默认推理。数学与人工智能年鉴\u00a034（1-3），35\u201388（2002）“，“journal-title”：“Annals of Mathematics and Artificial Intelligence”}，{“key”：“13_CR11”，“doi-asserted-by”：“crossref”，“doi”：“10.1007\/978-3662-02906-0”，“volume-title“：”非单调逻辑“，”author“：”Marek“，“year”：“1993”，“unstructured”：“Marek，Truszczy\u0144ski：非单调逻辑。Springer，Berlin（1993）“}，{“key”：“13_CR12”，“volume-title”：“Statistics”，“author”：“Moore”，“year”：“1979”，“unstructured”：“摩尔：Statistics.W.H.Freeman Press，San Francisco（1979）”}，}“issue”：“1”，“key“：”13_CR13“，”年份“：”1994“，”非结构化“：”Ng，R.，Subrahmanian，V.S.：概率演绎数据库的稳定语义。信息与计算\u00a0110（1），42\u201383（1994）“，”杂志标题“：”信息与计算“}，{“key”：“13_CR14”，“volume-title”：“逻辑程序设计联合国际会议与研讨会论文集”，“author”：“I.Niemel\u00e4”，”年份“：”1996“，”非结构化“：”Niemel\u00e4，I.，Simons，P.：《资金充足且稳定的模型语义的高效实现》。Maher，M.（ed.）《逻辑编程联合国际会议和研讨会论文集》，麻省理工学院出版社，剑桥（1996）“}，{“key”：“13_CR15”，“doi-asserted-by”：“publisher”，“first page”：”81“，“doi”：“10.1016\/0004-3702（80）90014-4”，“volume”：：“13”，“author”：“R.Reiter”，“year”：“1980”，“unstructured”：“Reiter，R.：默认推理的逻辑。人工智能\u00a013，81\u2013132（1980）“，”杂志标题“：”人工智能“}，{“key”：“13_CR16”，“unstructured”：“Wheeler，G.R.：资源受限默认逻辑。In：Delgrand，J.，Schuaub，T.（eds.）第十届非单调推理国际研讨会论文集（NMR 2004），不列颠哥伦比亚省惠斯勒，第416\u2013422（2004）页“}]，“container-title”：[“人工智能中的逻辑学”，“计算机科学中的讲义”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-30227-8_13.pdf”，“content-type”：“unspecified”，“内容-版本”：“vor”，“intended-application”：“相似性检查“｝”，“寄存”：｛“日期部分”：[[2021,5,3]]，“日期-时间”：“2021-05-03T03:58:01Z”，“时间戳”：1620014281000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http:\/\/link.springer.com\/10.1007\/978-3-540-30227-8_13”｝，“副标题”：[]，“短标题”：[]，“发布”：｛“日期部分”：[[2004]]｝，“国际标准图书编号”：[“9783540232421”，“9783540302278”]，“references-count“：16，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-540-30227-8_13“，”关系“：{}，”ISSN“：[”0302-9743“，“1611-3349”]，“ISSN-type”：[{“value”：“0302-974”，”type“：”print“}，{“value”：“1611-33049”，”类型“：”electronic“}]，”subject“：[]，”published“：{“date-parts”：[[2004]]}}}