{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,7,8]]，“日期-时间”：“2024-07-08T03:58:01Z”，“时间戳”：1720411081378}，“参考-计数”：47，“出版商”：“Elsevier BV”，“许可证”：[{“开始”：“日期-零件”：[[2015,9,1]]，”“日期-时刻”：“2015-09-01T00:00:00Z“，”timestamp“：1441065600000}，”content-version“：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2019,9,1]]，“date-time”：“2019-09-01T00:00:00Z”，“timestamp”：1567296000000}，“content-version”：“vor”，“delay-in-days”：1461，“URL”：“http://\/www.elsevier.com\/open-access\/userlicense\/1.0\/“}]，“出资人”：[{“DOI”：“10.13039\/501100001659”，“name”：“DFG”，“doi-asserted-by”：“publisher”，“adward”：[“BR 1817\/7-1”]}，{“doi”：“10.13039\/501100002428”，”name“：”FWF“，”doi-assert-by“：”publisher“，”adward“：[“I1102”]}]，”content-domain“：{”domain“:[”elsevier.com“，”sciencedirect.com“]，”crossmark-restriction“：true}，”short-container-title“：[”人工智能“]，“published-print”：{“date-parts”：[[2015,9]]}，“DOI”：“10.1016\/j.artint.2015.05.003”，“type”：“journal-article”，“created”：{“date-parts”：[[2015,6,2]，“date-time”：“2015-06-02T21:56:49Z”，“timestamp”：1433282209000}，“page”：：“34-74”，“update-policy”：16，“special_numberg”：“C”，“title”：[“通过近似不动点理论分析抽象辩证框架的计算复杂性”]，“前缀”：“10.1016”，“卷”：“226”，《作者》：[{“给定”：“汉纳斯”，“家族”：“斯特拉斯”，“序列”：“第一”，“从属关系”：[]}，{“已知”：“约翰内斯·彼得”，“家庭”：“沃纳”，“顺序”：“附加”，“附属关系”：[]}]，“成员”：“78”，“引用”：[{“key”：“10.1016\/j.artint.2015.05.003_br0010”，“series-title”：“第二十四届国际人工智能联合会议论文集”，“article-title”：《重新审视抽象辩证框架的稳定模型语义：逻辑编程视角》，“author”：“Alviano”，“year”：“2015”}，{“issue”：“10\u201315”，“key“：“10.1016\/j.artint.2015.05.003_br0020”，“doi-asserted-by”：“crossref”，“first page”：“675”，“doi”：“10.116\/j-artint.2007.04.004”，“article-title”：“On principle-based evaluation of extension-based discoveration semantics”，“volume”：”171“author”：“Baroni”，”year“2007”，“journal-title“：”Artif.Intel.“}，{”key“10.1016”//j.artint。2015.05.003_br0030“，“series-title”：“第十一届逻辑程序设计与非单调推理国际会议论文集”，“首页”：“40”，“文章标题”：“分裂论证框架”，“卷”：“6645卷”，“作者”：“Baumann”，“年份”：“2011”}，{“key”：“10.1016\/j.artint.2015.05.003_br0040”，“series-title”：“第二十届欧洲人工智能会议论文集”，“第一页”：“69”，“文章标题”：“紧凑的论证框架”，“作者”：“Baumann”，“年份”：“2014”}，{“问题”：“10\u201315”，“关键”：“10.1016\/j.artint.2015.005003_br0050”，“doi-asserted-by”：“crossref”，“首页”：”619“doi”：“101016\/j.artent.2007.05.001”，“article-title”：“人工智能中的论证”，“volume”：“171”，“author”：“Bench-Capon”，“year”：“2007”，“journal-title“：”Artif.Intern.“，”ISSN“：”http://\/id.crossref.org\/ISSN\/0004-3702“，”ISSN-type“：“print”}，{“key”：”10.1016\/j.artint.2015.05.003_br0060“，”doi-asserted-by“：”crossref“，”first page“51“，”doi“：”10.1016\/j.artint.2015.03.006“，“article-title”：“固定不动点及其在知识表示中的应用”，“volume”：“224”，“author”：“Bogaerts”，“year”：“2015”，“journal-title“：”Artif.Intell.“}，{“key”：”10.1016\/j.artint.2015.05.003_br0070“，”doi-asserted-by“：”crossref“，”first page“：”434“，”doi“：”10.1007\/BF02036949“，”article-title“或\u00e8me de Zorn“，“author”：“Bourbaki”，“year”：“1949”，“journal-title”：“Arch.Math.”}，{“key”：“10.1016\/j.artint.2015.05.003_br0080”，“series-title”：《第三届国际争论计算模型会议论文集》，“首页”：“3”，“文章-标题”：“卡奈德和抽象辩证框架：重建”，“卷”：“vol.216”，“作者”：“Brewka”，“year”：“2010”}，{“key”：“10.1016\/j.artint.2015.05.003_br0090”，“系列标题”：“第十二届知识表示与推理原理国际会议论文集”，“首页”：“102”，“文章标题”：“抽象辩证框架”，“作者”：“Brewka”，“year”：“2010”}，{“key”：“10.1016\/j.artint.2015.05.05.003_br0100”，“series-title”：“第二十二届国际人工智能联合会议论文集”，“首页”：“780”，“文章标题”：“联系抽象辩证框架和标准AF的语义”，“作者”：“Brewka”，“年份”：“2011”}，{“关键”：“10.1016\/j.artint.2015.05.003_br0110”：“第23届国际人工智能联合会议记录”，“第一页”：“803”，“文章标题”：“重新审视抽象辩证框架”，“作者”：“Brewka”，“年份”：“2013”}，{“问题”：“1”，“关键”：“10.1016\/j.artint.2015.05.003_br0120”，“doi-asserted-by”：“crossref”，“doi”：“101109\/MIS.2013.122”，“论文标题”：“Dung框架的泛化及其在正式论证中的作用”，“卷”：“29”，“作者”：“Brewka”，“年份”：“2013”，“期刊标题”：“IEEE Intell.Syst.”}，{“问题”：“5\u20136”，“关键”：“10.1016\/j.artint.2015.05.003_br0130”，“doi-asserted-by”：“crossref”，“首页”：“286”，”doi“10.1016 \/j-artint.2007.02.003”，“article-ti”tle“：“论论证形式主义的评价”，“卷”：“171”，“作者”：“卡米纳达”，“年份”：“2007”，“新闻标题”：“Artif.Intern.”}，{“问题”：“5”，“关键”：“10.1016\/j.artint.2015.05.003_br0140”，“doi-asserted-by”：“crossref”，《首页》：“1207”，“doi”：“101093\/logcom\/exr033”，“文章标题”：《半稳定语义学》，“volume”：“22”，“author”：“Caminada”，“year”：“2012”，“journal-title”：“J.Log.Comput.”}，{“key”：“10.1016\/J.artint.2015.05.003_br0150”，“series-title”：《第八届欧洲不确定性推理的符号和定量方法会议论文集》，“首页”：“317”，“article-title“：“对称论证框架”，“卷”：“第3571卷”，“作者”：“Coste-Marquis”，“年份”：“2005”}，{“key”：“10.1016\/j.artint.2015.05.003_br0160”，“doi-asserted-by”：“crossref”，“首页”：“229”，“doi”：“101613\/jair.989”，“article-title”：“知识汇编图”，“卷”：“17”，“作者”：“Darwiche”，”年份“2002”，“日志标题”：“j.Artif.Intell.Res.”}/j.artint.2015.05.003_br0170“，”series-title“：“格与序导论”，“作者”：“戴维”，“年份”：“2002”}，{“密钥”：“10.1016\/j.artint.2015.05.003_br0180”，“系列标题”：“基于逻辑的人工智能”，“第一页”：“127”，“文章标题”：“近似、稳定算子、有充分依据的不动点和非单调推理中的应用”，“作者”：“Denecker”，“年份”：“2000”}，{“问题”：“1”，“key”：“10.1016\/j.artint.2015.05.003_br0190”，“doi-asserted-by”：“crossref”，“首页”：“79”，“doi”：“101016\/S0004-3702（02）00293-X”，“article-title”：“默认逻辑和自认知逻辑的统一语义处理”，“volume”：”143“，“author”：“Denecker”，“year”：“2003”，“journal-title“：”Artif.Intell.“}”，{“issue”：“1“，”键“：“10.1016\/j.artint.2015.05.003_br0200”，“doi-asserted-by”：“crossref”，“first page”：“84”，“doi”：“10.106\/j.ic.2004.02.004”，“article-title”：“极限逼近及其在非单调知识表示系统中的应用”，“volume”：”192“，”author“：”Denecker“，”year“：”2004“，”journal-title“：”Inf.Compute.“}，{”key“：“10.1016\/j.artint.2015.05.003_br0210”，“series-title”：“第五届国际争论计算模型会议论文集”，“首页”：“241”，“文章-标题”：“使用量化布尔公式在抽象辩证框架中推理”，“卷”：“卷266”，“作者”：“Diller”，“年份”：“2014”}，{“问题”：“1\u20132”，“关键”：“10.1016\/j.artint.2015.05.003_br0220”，“doi-asserted-by”：“crossref”，“first page”：“209”，“doi”：“10.106\/S0304-3975（96）80707-9”，《article-title》：“逻辑程序和默认理论中的图形理论结构”，“volume”：《170》，“author”：“Dimopoulos”，“year”：“1996”，“journal-title”：“Theor.Comput.Sci.”}，{“issue”：“1\/2”，“键“：“10.1016\/j.artint.2015.05.003_br0230”，“doi-asserted-by”：“crossref”，“first page”：“57”，“doi”：“10.12016\/S0004-3702（02）00245-X”，“article-title”：“On the computical complexity of assumption-based designation for default reasoning”，“volume”：”141“，“author”：“Dimopoulos”，“year”：“2002”，“journal-title“：”Artif.Intel.“}”，{“issue”：“2”，“key”“”：“10.1016\/j.artint.2015.05.003_br0240”，“doi-asserted-by”：“crossref”，“first page”：“321”，“doi”：“10.12016\/0004-3702（94）00041-X”，“article-title”：“论据的可接受性及其在非单调推理、逻辑编程和n人游戏中的基本作用”，“volume”：”77“author”：“Dung”，“year”：“1995”，“journal-title“：”Artif.Intell.“}，{“issue”：“10”，“key”：“10.1016\/j.artint.2015.05.003_br0250”，“doi-asserted-by”：“crossref”，“首页”：“642”，“doi”：“101016\/j.artent.2007.05.003”，“article-title”：“计算理想怀疑论”，“卷”：“171”，《作者》：“Dung”，“年份”：“2007”，“日志标题”：“Artif.Intell.”}，{“问题”：“18”，“密钥“：”10.1016\/j.artint.2015.05.003_br0260“，“doi-asserted-by”：“crossref”，“first page”：“1559”，“doi”：“10.1016\/j.artint.2009.09.001”，“article-title”：“理想语义学的计算复杂性”，“volume”：”173“，“author”：“Dunne”，”year“：”2009“，”journal-title“：”Artif.Intern.“}，{“issue”：“1\/2”，“key”：y“：”crossref“，”first page“：”187“，“doi”：“10.1016\/S0004-3702（02）00261-8”，“article-title”：“有限论元系统中的一致性”，“volume”：“141”，”author“：”Dunne“，”year“：”2002“，”journal-title“：”Artif.Intern.“}，{”key“：”10.1016\/j.artint.2015.05.003_br0280“，”series-title“：“人工智能中的论证”，“首页”：“85”，“article-titel”：“抽象论证的复杂性”，“author”：“Dunne”，“year”：“2009”}，{“key”：“10.1016\/j.artint.2015.05.003_br0290”，“doi-asserted-by”：“crossref”，”first page“：”157“，”doi“：”10.1016\/j.aartint.2012.03.002“，”article-title“：”扩充抽象论证的可处理片段“，”volume“：“186”，《author》：“Dvo\u0159\u00e1k”，“年份”：“2012”，“journal-title”：“Artif.Intern.”}，{“密钥”：“10.1016\/j.artint.2015.05.003_br0300”，“doi断言者”：“crossref”，“第一页”：“53”，“doi”：“10.1016\/j.artint.20.10.001”，“文章标题”：“抽象论证的复杂性敏感决策程序”，“卷”：“206”，“作者”：“Dvo\u0159\u00e1k”，“年份”：“2014”，“期刊标题”：“Artif.Intell.”}，{“问题”：“2”，“密钥”：“10.1016\/j.artint.2015.05.003_br0310”，“doi-asserted-by”：“crossref”，“first page”：“147”，”doi“：”10.1080\/19462166.2010.486479“，”article-title“：”论题框架的答案集编程编码“，”volume“：“1”，“author”：“Egly”，“year”：“2010”，“journal-title”：“Argument.Comput.”}，{“key”：”10.1016\/j.aartint.2015.005.003 _br0320“，”系列标题“：“第五届国际争论计算模型会议记录”，“第一页”：“233”，“文章标题”：“DIAMOND系统与抽象辩证框架计算”，“卷”：“第266卷”，“作者”：“Ellmauthaler”，“年份”：“2014”}，{“key”：“10.1016\/j.artint.2015.05.003_br0330”，“series-title”：“第五届国际争论计算模型会议论文集”，“第一页”：“281”，“文章标题”：“分解抽象辩证框架”，“卷”：“第266卷”，“作者”：“Gaggl”，“年份”：“2014”}，{“key”：“10.1016\/j.artint.2015.05.003_br0340”，“series-title”：“第二十四届国际人工智能联合会议论文集”，“文章标题”：“关于抽象辩证框架基于天真语义的计算复杂性”，“作者”：“Gaggl”，“年份”：“2015”}，{“问题”：“10\u201315”，“关键”：“10.1016\/j.artint.2015.05.003_br0350”，“doi-asserted-by”：“crossref”，“首页”：“875”，“DOI”：“10.1016\/j.artint.2007.04.010”，“article-title”：“Carneades论证和举证责任模型”，“volume”：“171”，“author”：“Gordon”，“year”：“2007”，“journal-title“：Artif.Intern.”}，{“key”：”10.1016\/j.aartint.2015.05.003_br0360“，”，“series-title”：《第五届国际论证计算模型会议论文集》，“首页”：“357”，“文章标题”：“分裂抽象辩证框架”，“卷”：“第266卷”，“作者”：“林斯比希勒”，“年份”：“2014”}，{“关键”：“10.1016\/j.artint.2015.05.003_br0370”，“系列标题”：《计算复杂性》，“isbn-type”：“print”，“author”：“Papadimitriou”，“年”：“1994”，“isbn”：”http://\/id.crossref.org\/is bn \/9780201530827“}，{”键“：“10.1016\/j.artint.2015.05.003_br0380”，“series-title”：“第十五届非单调推理国际研讨会论文集”，“首页”：“273”，“文章-标题”：“抽象辩证框架的基于扩展的语义”，“作者”：“Polberg”，“年份”：“2014”}，{“key”：“10.116\/j-artint.20150.05.003_br0390”，“系列-标题”：“第十四届多智能体系统计算逻辑国际研讨会论文集”，“第一页”：“102”，“文章标题”：“抽象辩证框架中的可容许性”，“卷”：“第8143卷”，“作者”：“Polberg”，“年份”：“2013”}，{“key”：“10.1016\/j.artint.2015.05.003_br0400”，“doi-asserted-by”：“crossref”，“首页”：”39“doi”：“10.1016\/j.artint.2013.09.004”，“article-title”：“抽象辩证框架的近似运算符和语义”，“volume”：“205”，“author”：“Strass”，”year“：”2013“，”journal-title“：”Artif.Intern.“}，{“key”：”10.1016\/j.aartint.2015.05.003_br0410“，”series-title“：《第十四届多智能体系统计算逻辑国际研讨会论文集》，“第一页”：“86”，“文章标题”：“在抽象辩证框架中实例化知识库”，“卷”：“第8143卷”，“作者”：“Strass”，“年份”：“2013”}，{“key”：“10.1016\/j.artint.2015.05.003_br0420”，“series-title”：“第二十届AAAI人工智能会议论文集”，“第一页”：“1625”，“文章标题”：“抽象论证与逻辑编程的相对表现力”，“作者”：“Strass”，“年份”：“2015”}，{“关键”：“10.1016\/j.artint.2015.05.003_br0430”，“论文标题”：“在抽象辩证框架及其以外实例化基于规则的可判废理论”，“作者”：“斯特拉斯”，“年份”：“2015年”，“期刊标题”：“J.Log.Comput.”}，{“key”：“10.1016\/J.artint.2015.05.003_br0440”，“series-title”：“第十四届国际知识表示与推理原则会议论文集”，“首页”：“101”，“文章标题”：“通过近似不动点理论分析抽象辩证框架的计算复杂性”，“作者”：“Strass”，“年份”：“2014”}，{“关键”：“10.1016\/j.artint.2015.05.003_br0450”，“系列标题”：《第二十二届国际人工智能联合会议论文集》，“首版”：“1113”，“article-title”：“将卡内德与抽象论证联系起来”，“author”：“Van Gijzel”，“year”：“2011”}，{“issue”：“4”，“key”：“10.1016\/j.artint.2015.05.003_br0460”，“doi-asserted-by”：“crossref”，“first page”：”765“，“doi”：“101145\/1183278.1183284”，“volume”：“7”，“author”：“Vennekens”，“year”：“2006”，“journal-title”：“ACM Trans.Comput.Log.”}，{“key”：《10.1016\/j.artint.2015.05.003_br0470》，“series-title”：《第十四届多智能体系统计算逻辑国际研讨会论文集》，“首页”：“34”，“article-title“：“关于抽象论证框架中知识库的实例化”，“卷”：“卷8143”，“作者”：“Wyner”，“年份”：“2013”}]，“容器-标题”：[“人工智能”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/api.elsevier.com\/content\/article\/PII:S0004370215000776？httpAccept=text\/xml”，“内容类型”：“text\/.xml”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0004370215000776？httpAccept=text\/plain”，“content-type”：“text\/plaine”，“content-version“：”vor“，”intended-application“：”text-mining}“ded”：{“date-parts”：[2023,8,11]]，“date-time”：”2023-08-11T02 0:3:12Z“，”时间戳“：1691719392000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370215000776”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2015,9]]}，'references-count“：47，”alternative-id“：[”S000437021000776“]，”URL“：”http://\/dx.doi org\/10.1016\/j.artint.2015.05.003“，”关系“：{}，”ISSN“：[”0004-3702“]，“issn-type”：[{“value”：“0004-3702”，“type”:“print”}]，“subject”：[]，“published”：{“date-parts”：[[2015,9]]}，“assertion”：[{“value”：“Elsevier”，“name”：“publisher”，“label”：“本文由”}维护，{“value”：”通过近似不动点理论分析抽象辩证框架的计算复杂性“，”name“：”articletle“，”label“：“文章标题”｝，｛“value”：“人工智能”，“name”：“journaltitle”，“label”：“Journal Title”｝，｛“value”：“https://doi.org/10.1016\/j.artint.2015.05.0003”，“name”：“articlelink”，“label”：“CrossRef doi链接到出版商维护的版本”｝，｛“value”：“Article”，“name”：“content_type”，“label”：“content type”｝，｛“value”：“Copyright\u00a9 2015 Elsevier B.V.保留所有权利。”，“name”：“Copyright”，“label”：“版权所有”}]}}