{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,3,22]]，“日期时间”：“2024-03-22T01:56:54Z”，“时间戳”：1711072614101}，“出版商位置”：“柏林，海德堡”，“参考计数”：18，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“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_39“，”type“：”book-capter“，”created“：”{“date-part”：[2010,9,19]]，“date-time”：“2010-09-19T01:34:52Z“，”时间戳“：1284860092000}，”页面“：”462-473“，“source”：“Crossref”，“is-referenced-by-count”：11，“title”：[“On Sceptical Versus Creously Acceptance for Abstract Argument Systems”]，“prefix”：“10.1007”，”author“：[{”given“：”Sylvie“，”family“：”Doutre“，”sequence“：”first“，”affiliation“：[]}，{”fixed“：”J\u00e9r\u00f4me“，”“family”：“Mengin”、“sequence”：“additional”、“afliation”：[]{}]，“member”：“297”，“参考”：[{“key”：“39_CR1”，“doi-asserted-by”：“publisher”，《first page》：“63”，“doi”：“10.1016\/S0004-3702（97）00015-5”，“volume”：”93“，“author”：“A.Bondarenko”，”year“：“1997”，“unstructured”：“Bodarenko，A.，Dung，P.，Kowalski，R.，Toni，F.：默认推理的抽象论证理论方法。人工智能\u00a093，63\u2013101（1997）”，“journal-title”：“人工智能”}，{“key”：“39_CR2”，“doi-asserted-by”：“crossref”，“首页”：“209”，“doi”：“10.1016\/S0304-3975（96）80707-9”，《卷》：“170”，“作者”：“Y.Dimopoulos”，“年份”：“1996”，“非结构化”：“Dimopulos，Y.，Torres，A.：逻辑程序和默认理论中的图形理论结构。理论计算机科学\u00a0170，209\u2013244（1996）”，“期刊标题”：“理论计算机科学”}，{“key”：“39_CR3”，“非结构化”：“Dimopoulos，Y.，Magirou，V.，Papadimitriou，C.：关于内核、默认值和偶数图。数学与人工智能年鉴，1\u201312（1997）”}，{“key”：“39_CR4”，“volume-title”：“图和超图”，“author”：“C.Berge”，“year”：“1973”，“unstructured”：“Berge，C.：图和超形图。North-Holland，Amsterdam（1973）”}.，{（key）：“39.CR5”，“doi-asserted-by”：“publisher”，“first-page”：“321”，“DOI”：“10.1016\/0004-3702（94）00041-X”，“volume”：“77”，“author”：“P.Dung”，“year”：“1995”，“unstructured”：“Dung，P.：关于参数的可接受性及其在非单调推理、逻辑编程和n人游戏中的基本作用。人工智能\u00a077，321\u2013357（1995）”，“新闻标题”：“人工智能”}，{“key”：“39_CR6”，“doi-asserted-by”：“publisher”，“first page”：”515“，“doi”：“10.1093\/logcom\/9.4.515”，“volume”：：“9”，“author”：“A.Kakas”，“year”：“1999”，“unstructured”：“Kakas，A.，Toni，F.：逻辑编程中的计算论证。逻辑与计算杂志\u00a09，515\u2013562（1999）”，“Journal-title”：“逻辑与计算杂志”}，{“key”：“39_CR7”，“doi-asserted-by”：“crossref”，“first-pages”：“25”，“doi”：“10.1080\/11663081.1997.10510900”，“volume”：”7“，“author”：“H.Prakken”，“year”：“1997”，“unstructured”：“Prakken，H.，Sartor，G.：具有可取消优先级的基于论证的逻辑编程。应用非经典逻辑杂志\u00a07，25\u201375（1997）”，“期刊标题”：“应用非经典逻辑学杂志”}，{“key”：“39_CR8”，“doi-asserted-by”：“publisher”，“first page”：”197“，“doi”：“10.1023\/A:1014490210693”，“volume”：《34》，“author”：“L.Amgoud”，“年份”：“2002年”，“非结构化”：“Amgoud，L.，Cayrol，C.：基于可接受论据生成的推理模型。数学与人工智能年鉴\u00a034，197\u2013215（2002）”，“期刊标题”：“数学与人工智能年鉴”}，{“key”：“39_CR9”，“series-title”：“人工智能课堂笔记”，“doi-asserted-by”：“publisher”，“first page”：“239”，“doi”：“10.1007\/3-540-40006-0_17”，“volume-title”：“人工智能中的逻辑”，“author”：“G.Vreeswijk”，“year”：“2000”，“unstructured”：“Vreeswijk，G.，Prakken，H.：首选语义的轻信和怀疑论游戏。收录于：Brewka，G.、Moniz Pereira，L.、Ojeda-Aciego，M.、de Guzm\u00e1n，I.P.（编辑）JELIA 2000。LNCS（LNAI），第u00a01919卷，第239\u2013253页。Springer，Heidelberg（2000）“}，{”key“：”39_CR10“，”doi-asserted-by“：”publisher“，”first page“：“377”，”doi“：”10.1093\/logcom\/13.377“，”volume“：Cayrol，C.，Doutre，S.，Mengin，J.：关于与论证框架首选语义相关的决策问题。《逻辑与计算杂志》（Journal of Logic and Computation）\u00a013，377\u2013403（2003）“，“Journal-title”：“逻辑与计算期刊”}，{“key”：“39_CR11”，“doi-asserted-by”：“crossref”，“unstructured”：“Doutre，S.，Mengin，J.：关于抽象论点系统的怀疑与轻信接受。摘自：第十届非单调推理国际研讨会（NMR 2004），pp.134\u2013139（2004）”，“DOI”：“10.1007\/978-3-540-30227-8_39”｝，｛“key”：“39_CR12”，“非结构化”：“Doutre，S.:Autour de la S\u00e9古董pr\u00e9f\u00e9r\u00e9e des system\u00e8mes d\u2019论证。博士论文，Universit \u00e9 Paul Sabatier，Toulouse（2002）”｝，｛“key”：“39_CR13”，“DOI由”断言：“publisher”，“首页”：“53”，“DOI”：“10.1145\/323706.323715“，”卷时间“：”程序。ICAIL 1999“，“作者”：“H.Jakobovits”，“年份”：“1999”，“非结构化”：“Jakobovits，H.，Vermeir，D.：论证框架的辩证语义学。In：程序。ICAIL 1999，第53\u201362页。ACM Press，New York（1999）“}，{”key“：”39_CR14“，”doi-asserted-by“：”publisher“，”first page“：“57”，“doi”：“10.1016\/S0004-3702（02）00245-X”，“volume”：“141”，“author”：“Y.Dimopoulos”，“year”：“2002”，“unstructured”：“Dimopoulos，Y.，Nebel，B.，Toni，F.：关于基于假设的缺省推理论证的计算复杂性。人工智能\u00a0141，57\u201378（2002）“，”杂志标题“：”人工智能“}，{“key”：“39_CR15”，“doi-asserted-by”：“publisher”，“first page”：”187“，”doi“：”10.1016\/S0004-3702（02Dunne，P.，Bench-Capon，T.：有限变元系统中的相干性。人工智能\u00a0141187\u2013203（2002）“，”杂志标题“：”人工智能“}，{”关键字“：”39_CR16“，”首页“：”463“，”卷标“：”第十一届国际人工智能联合会议论文集“，”作者“：”A.B.Baker“，”年份“：”1989“，”非结构化“：”贝克，A.B.，金斯伯格，M.L.：优先定界的定理证明器。摘自：《第十一届国际人工智能联合会议记录》，第463\u2013467页。Morgan Kaufmann，San Francisco（1989）“}，{“key”：“39_CR17”，“doi asserted by”：“publisher”，“first page”：“97”，“doi”：“10.1111\/j.1467-8640.1989.tb00319.x”，“volume”：“5”，“author”：“D.L.Poole”，“year”：“1989”，“nonstructured”：“普尔，D.L.：解释和预测：默认推理和诱因推理的架构。计算智能\u00a05，97\u2013110（1989）“，“journal-title”：“计算智能”}，{“key”：“39_CR18”，“doi-asserted-by”：“publisher”，“首页”：“49”，“doi”：“10.1016\/0004-3702（89）90067-2”，“卷”：“38”，“作者”：“T.Przymusinski”，“年份”：“1989”，“非结构化”：“Przymusinski，T.：计算边界的算法。人工智能\u00a038，49\u201373（1989）“，”日记标题“：”人工智能“}]，”容器标题“：[”人工智能中的逻辑“，”计算机科学中的讲义“]，”原始标题“：[]，”链接“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-30227-8_39.pdf“，”内容类型“：”未指定“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2020,11,19]]，”date-time“：”2020-11-19T04:50:56Z“，”timestamp“：1605761456000}，”score“：1，”resource“：”{“primary”：{“URL”：“http://\link.springer.com\/10007\/978-3-540-30227-8_39”}}，“副标题”：[]，“短标题”：[]，“发布”：日期部分“：[2004]]}，”ISBN“：[”9783540232421“，”9783540302278“]，”references-count“：18，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-540-30227-8_39“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，“type”:“print”}，{“value”：“1611-3399”，“类型”：“electronic”}]，“subject”：[]，“published”：{“date-pa”rts“：[2004]]}}}