{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,7,8]]，“日期-时间”：“2024-07-08T03:56:06Z”，“时间戳”：1720410966113}，“引用-计数”：60，“发布者”：“Elsevier BV”，“许可证”：[{“开始”：{-“日期-零件”：[[2014,1,1]]，”“日期-时刻”：“2014-01T00:00:00 0Z”，“时间戳”：1388534400000}，“内容-版本”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com//tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2018,1,24]]，“date-time”：“2018-01-24T00:00:00Z”，“timestamp”：1516752000000}，“content-version”：“vor”，“delay-in-days”：1484，“URL“https:\\/www.else vier.com/open-access//”userlicense\/1.0\/“}]，“出资人”：[{“DOI”：“10.13039\/501100001821”，“name”：“维也纳科学技术基金（WWTF）”，“doi断言者”：“crossref”，“award”：[“ICT08-028”]}，{“doi”：“10.13039\/50110000248”，“name”：“奥地利科学基金（FWF）”，“doi断言者”：“crossref”，“award”：[“I1102”，“P25518-N23”]}，{“doi”：“10.13039\/50100002341”，“name”：“芬兰学院”，“doi断言者”：“crossref”，“award”：[”132812“，”251170“]]]，“content-domain”：{“domain”:[“elsevier.com”，“sciencedirect.com”]，“crossmark-restriction”：true}，“short-container-title”：[“人工智能”]，”published-print“：{”date-parts“：[[2014,1]]}，”DOI“：”10.1016\/j.artint.2013.10.001“，”type“：”journal-article“，”created“：:35Z“，”时间戳“：1382024735000}，“page”：“53-78”，“update-policy”：”http://\/dx.doi.org\/10.1016\/elsevier_cm_policy“，”source“：”Crossref“，“is-referenced-by-count”：42，“special_numbering”：“C”，“title”：[“抽象论证的复杂性敏感决策程序”]，“前缀”：“10.1016”，“卷”：“206”，“作者”：[{“ORCID”：：“http://\/ORCID.org\/0000-0002-2269-8193“，“authenticated-orcid”：false，“given”：“Wolfgang”，“family”：“Dvo\u0159\u00e1k”，“sequence”：“first”，“affiliation”：[]}，{“giving”：“Matti”，“家庭”：“J\u00e 4rvisalo”，“serquence”:“additional”，“filiation“：[]]}，}“givens”：“Johannes Peter”，“家族”：“Wallner”，”sequence“：”additional“：”Woltran“，”sequence“：”additional“，“affiliation”：[]}]，“member”：“78”，“reference”：[{“issue”：“2”，“key”：“10.1016\/j.artint.2013.10.001_br0010”，“doi-asserted-by”：“crossref”，“first-page”：“321”，“doi”：“101016\/0004-3702（94）00041-X”，“article-title”：“论论元的可接受性及其在非单调推理、逻辑编程和n人游戏中的基本作用”，“volume”：，“author”：“Dung”，“year”：“1995”，“journal-title”：“Artificial Intelligence”}，{“issue”：“1\/2”，“key”：“10.1016\/j.artint.2013.10.001_br0020”，“doi-asserted-by”：“crossref”，“first page”：”187“，“doi”：“101016\/S0004-3702（02）00261-8”，年份”：“2002年”，“新闻标题”：“人工智能”}，{“问题”：“11”，“关键”：“10.1016\/j.artint.2013.10.001_br0030”，“doi-asserted-by”：“crossref”，“首页”：“425”，“doi”：“101016\/j.ipl.2010.04.005”，“文章标题”：“论证框架中半稳定和阶段语义的复杂性”，“卷”：“110”，“作者”：“Dvo\u0159\u00e1k”，“年份”：“2010”，“日志标题”：“Inform.Process.Lett.”｝，｛“key”：“10.1016\/j.artint.2013.10.001_br0040”，“系列标题”：“第八届欧洲不确定性推理符号和定量方法会议论文集”，“首页”：“317”，“文章标题”：“对称论证框架”，“卷”：“第3571卷”，“作者”：“Coste Marquis”，“年份”：“2005”｝，｛“issue”：“10\u201315”，“key”：“10.1016\/j.artint.2013.10.001_br0050”，“doi-asserted-by”：“crossref”，“first-page”：“701”，“doi”：“101016\/j.artent.2007.03.006”，“article-title”：“满足图形理论约束的参数系统的计算属性”，“volume”：”171“，“author”：“Dunne”，”year“：”2007“，”journal-title“：”人工智能“}，{”key“：“10.1016\/j.artint.2013.10.001_br0060”，“series-title”：“第三届国际争论计算模型会议论文集”，“首页”：“219”，“文章-标题”：“有界clique-width论证框架中的推理”，“卷”：“卷216”，“作者”：“Dvo\u0159\u00e1k”，“年份”：“2010”}，{“key”：“10.116\/j-artint.2013.10.001_br0070”，“doi-asserted-by”：“crossref”，“first page”：“1”，“doi”：“10.1016\/j.artint.2012.03.005”，“article-title”：“Towards fixed-parameter tractable algorithms for abstract designation”，“volume”：”186“，“author”：“Dvo\u0159\u00e1k”，“year”：“2012”，“journal-title“：”Artificial Intelligence“}，{“key”：交叉参考“，“首页”：“157”，“DOI”：“10.1016\/j.artint.2012.03.002”，“article-title”：“扩充抽象论证的可处理片段”，“卷”：“186”，《作者》：“Dvo\u0159\u00e1k”，“年份”：“2012”，“期刊标题”：“人工智能”}，{“问题”：“6”，“关键”：“101016\/j.artent.2013.10.001_br0090”，“DOI-asserted-by”：“crossref”，”首页：“881”，“DOI”：“10.1017\/S1471068410000463”，“article-title”：“三分法和二分法导致了析取逻辑程序推理的复杂性”，“volume”：“11”，“author”：“Truszczynski”，“year”：“2011”，“journal-title“：”Theory-Pract.Log.Program.“}，{“issue”：“5”，“key”：”10.1016\/j.artint.2013.10.001_br0100“，”doi-asserted-by“：”crossref“，“first page”：第506页，“DOI”：“10.1109\/12.769433”，“article-title”：“GRASP:命题可满足性的搜索算法”，“volume”：“48”，“author”：“Marques-Silva”，“year”：“1999”，“journal-title“：”IEEE Trans.Compute.“}，{“key”：”10.1016\/j.artint.2013.10.001_br0110“，”series-title“：“第六届可满足性测试理论与应用国际会议论文集”，“首页”：“502”，“文章标题”：“可扩展SAT解决方案”，“卷”：“第2919卷”，“作者”：“E\u00e9n”，“年份”：“2004”}，{“问题”：“5”，“密钥”：“10.1016\/j.artint.2013.10.001_br0120”，“doi-asserted-by”：“crossref”，“第一页”：”752“doi”：“10.1145\/876638.876643”，“article-title”：“用于符号模型检查的反例引导抽象求精”，“volume”：“50”，“author”：“Clarke”，“year”：“2003”，“journal-title“：”J.ACM“}，{“issue”：“7”，“key”：”10.1016\/J.artint.2013.10.001_br0130“，”doi-asserted-by“：”crossref“，”first page“1113”，”doi“：”10.1109\/TCAD.2004.829807“，”文章标题“：“基于SAT的反例引导抽象求精”，“卷”：“23”，“作者”：“克拉克”，“年份”：“2004”，“日志标题”：“IEEE Trans.Compute.-Aided Des.Integr.Circuits Syst.”}，{“问题”：“3\u20134”，“密钥”：“10.1016\/j.artint.2013.10.001_br0140”，“doi-asserted-by”：“交叉引用”，“首页”：“289”，“doi”：“101007\/BF015399”，“物品标签”：“关于析取逻辑编程的计算成本：命题案例”，“卷”：“15”，“作者”：“艾特”，“年份”：“1995”，“期刊标题”：“数学年鉴”}，{“键”：“10.1016\/j.artint.2013.10.001_br0150”，“系列标题”：《第八届逻辑编程与非单调推理国际会议论文集》，“第一页”：“447”，“article-title”：“cmodels-SAT-based disjunctive answer set solver”，“volume”：“vol.3662”，“author”：“Lierler”，“year”：“2005”}，{“key”：《10.1016\/j.artint.2013.10.001_br0160》，“series-title”：《第十届非单调推理国际研讨会论文集》，“first page”：，“author”：“Besnard”，“year”：“2004”}，{“issue”：“2”，“key”：“10.1016\/j.artint.2013.10.001_br0170”，“doi-asserted-by”：“crossref”，“first page”：”147“，“doi”：“101080\/1946266.2010.486479”，“article-title”：“论证框架的答案集编程编码”，“volume”：1“，”author“：”Egly“，”year“：”2010“，”journal-title“：“Argum.Compute.”}，{“key”：“10.1016\/j.artint.2013.10.001_br0180”，“series-title”：“第19届国际声明性编程和知识管理应用大会会后会议记录，INAP 2011，第25届逻辑编程研讨会”，“article-title”：“利用回答集编程在抽象论证系统中的进步”，“volume”：“vol.7773”，“author”：“Dvo\u0159\u00e1k”，“year”：“2013”}，{“key”：”10.1016\/j.artint.2013.10.001_br0190“，“series-title”：“Arguration in Artificial Intelligence”，“first-page:”25“，”article-title“：”抽象参数系统的语义“，”author“：”Baroni“，”year“：”2009“}，”{“issue”：“4”，“key“：”10.106\/j-artint.2013.10.00 1_br0200“，“doi-asserted-by”：“crossref”，“first page”：“365”，”doi“：”10.1017\/S026988891100166“，”article-title“：”论证语义学导论“，”volume“：”26“，”author“：”Baroni“，“year”：“2011”，“journal-title”：“Knowl.Eng.Rev.”}，{“issue”：“1_20132”，“key”：”10.116\/j.artint.2013.10.001_br0210“，”doi-asserted-by“：”crossref“，”首页“：”209“，”doi“：“10.1016\/S0304-3975（96）80707-9”，“article-title”：“逻辑程序和默认理论中的图形理论结构”，“volume”：“170”，“author”：“Dimopoulos”，“year”：“1996”，“journal-title“：”Theoret.Compute.Sci.“}，{“key”：”10.1016\/j.artint.2013.10.001_br0220“，”series-title“：“第十一届欧洲人工智能逻辑会议论文集”，“首页”：“153”，“文章标题”：“抽象论证框架中半稳定语义的计算复杂性”，“卷”：“第5293卷”，“作者”：“邓恩”，“年份”：“2008”}，{“key”：“10.1016\/j.artint.2013.10.001_br0230”，“doi-asserted-by”：“crossref”，《首页》：“445”，“DOI”：“10.1613\/jair.3318”，“article-title”：“论议论文语义的互译性”，“volume”：“41”，“author”：“Dvo\u0159\u00e1k”，“year”：“2011”，“journal-title“：”J.Artificial Intelligence Res，“年份”：“2010”}，{“key”：“10.1016\/j.artint.2013.10.001_br0250”，“series-title”：“人工智能中的论证”，“首页”：“85”，“文章-标题”：“抽象论证的复杂性”，“author”：“Dunne”，“year”：“2009”}9英寸，“doi”：“10.1016\/j.artint.2009.09.001”，“文章标题”：“理想语义的计算复杂性”，“卷”：“173”，“作者”：“Dunne”，“年份”：“2009”，“期刊标题”：“人工智能”}，｛“问题”：“3”，“密钥”：“10.1016\/j.artint.20.10.001_br0270”，“doi断言者”：“crossref”，“首页”：“85”，“doi”：“10.1016\/00304-3975（86）90135-0”，“文章标题”：“NP与检测唯一解决方案一样容易”，“volume”：“47”，“author”：“Valiant”，“year”：“1986”，“journal-title”：“Theoret.Compute.Sci.”}，{“issue”：“2\u20133”，“key”：”10.1016\/j.artint.2013.10.001_br0280“，”doi-asserted-by“：”crossref“，”first page“：”109“，“doi”：“10.1007\/s1125-009-9218-x”，“article-title“A logical account”正式论证”，“volume”：“93”，“author”：“Caminada”，“year”：“2009”，“journal-title”：“Studia Logica”}，{“key”：”10.1016\/j.artint.2013.10.001_br0290“，”series-title“：”Benchmark Libraries for Arguration“，”first page“：”389“，”article-title“：“论证的附加值”，“volue”：“volume8”，”author“：”Dvo\u0159\u00e1k“，”year“：”2013“}，”issue“：”4\u20135“，”键“：“10.1016\/j.artint.2013.10.001_br0300”，“doi-asserted-by”：“crossref”，“first page”：“821”，“doi”：“10.11017\/S1471068411000329”，“article-title”：“答案集编程中的复杂优化”，“volume”：”11“，“author”：“Gebser”，“year”：“2011”，“journal-title“：”Theory-Pract.Log.Program.“}，{”key“10.1016”：“2013.10001_br0310“，”系列标题“：“第十届知识表示与推理原理国际会议论文集”，“第一页”：“422”，“文章标题”：“冲突驱动的析取答案集求解”，“作者”：“Drescher”，“年份”：“2008”}，{“key”：“10.1016\/j.artint.2013.10.001_br0320”，“series-title”：“第十一届逻辑程序设计与非单调推理国际会议论文集”，“首页”：“345”，“文章标题”：“gringo系列3的进展”，“卷”：“第6645卷”，“作者”：“Gebser”，“年份”：“2011”}，{“问题”：“3\u20134”，“关键”：“10.1016\/j.artint.2013.10.001_br0330”，“第一页”：：“Lazy可满足性模理论”，“卷”：“3”，“作者”：“Sebastiani”，“年份”：“2007年”，“期刊标题”：“J.Satisf.Boolean Model.Compute.”}，{“key”：“10.1016\/J.artint.2013.10.001_br0340”，“series-title”：“第18届国际自动扣除会议论文集”，“首页”：“438”，“article-title”：“无限域上有界模型检验的Lazy定理证明”，“volume”：“vol.2392”，“author”：“de Moura”，“year”：“2002”}，{“key”：《10.1016\/j.artint.2013.10.001_br0350》，“series-title”：“第十四届国际计算机辅助验证会议论文集”，“首页”：“236”，“article-title”：“通过增量翻译SAT检查一阶公式的可满足性”，“卷”：“vol.2404”，“作者”：“Barrett”，“年份”：“2002”}，{“key”：“10.1016\/j.artint.2013.10.001_br0360”，“series-title”：“第十五届国际计算机辅助验证会议论文集”，“首页”：“355”，“artile-title”：“使用懒惰证明解释证明定理”，“卷”：“第2725卷”，“作者”：“弗拉纳根”，“年份”：“2003”}，{“键”：“10.1016\/j.artint.2013.10.001_br0370”，“级数”：“计算机辅助设计形式方法第十届国际会议论文集”，“首页”：“239”，“文章标题”：“有效求解量化位向量公式”，“author”：“Wintersteiger”，“year”：“2010”}，{“key”：“10.1016\/j.artint.2013.10.001_br0380”，“series-title”：“第二十二届计算机辅助验证国际会议论文集”，“首页”：“585”，“article-title”：”惰性模型枚举的量词消除“，”卷“：”第6174卷“，”author“：”Monniaux“，”年份“：”2010年“}：“10.1016\/j.artint2013.10.001_br0390”，“系列标题”：“第12届欧洲人工智能逻辑会议论文集”，“第一页”：“195”，“文章标题”：“命题限制的反例引导抽象精化算法”，“卷”：“第6341卷”，“作者”：“Janota”，“年份”：“2010”}，{“key”：“10.1016\/j.artint.2013.10.001_br0400”，“series-title”：“第十四届可满足性测试理论与应用国际会议论文集”，“首页”：“230”，“article-title”：“2QBF的基于抽象的算法”，“卷”：“6695”，“作者”：“Janota”，“年份”：“2011”}，{“密钥”：“10.106\/j-artint.2013.10.001_br0410”，“系列-tile”：“第十五届可满足性测试理论与应用国际会议论文集”，“首页”：“114”，“文章标题”：“用反例引导精化求解QBF”，《卷》：“第7317卷”，“作者”：“Janota”，“年份”：“2012”}，{“issue”：“2”，“key”：“10.1016\/j.artint.2013.10.001_br0420”，“doi-asserted-by”：“crossref”，”首页“：“229”，“DOI”：“10.1016\/j.jal.2013.03.009”，“article-title”：“基于QBF的抽象议论文语义形式化”，“volume”：“11”，“author”：“Arieli”，“year”：“2013”，“journal-title“：”j.Appl.Log.“}，{“key”：”10.1016\/j.artint.2013.10.001_br0430“，“series-title”：”第一届国际议论文计算模型会议论文集“，“首页”：“133”，“article-title”：“使用量化布尔公式在论证框架中进行推理”，“卷”：“第144卷”，“作者”：“Egly”，“年份”：“2006”}，{“key”：“10.1016\/j.artint.2013.10.001_br0440”，“series-title”：《第五届可扩展不确定性管理国际会议论文集》：“作为约束满足问题的论证框架”，“卷”：“卷6929”，“作者”：“Amgoud”，“年份”：“2011”}，{“key”：“10.1016\/j.artint.2013.10.001_br0450”，“series-title”：“2011ACM应用计算专题讨论会论文集”，“首页”：“913”，“文章-标题”：“通过SCSP查找Dung\u02bcs属性的参数分区”，“author”：“Bistarelli”，“year”：“2011”}，{“key”：“10.1016\/j.artint.2013.10.001_br0460”，“series-title”：“第20届国际人工智能联合会议论文集”，“首页”：“623”，“article-title”：”计算论证中轻信接受的标记方法“，”author“：”Verheij“，”year“：”2007“}”，{：“10.1016\/j.artint2013.10.001_br0470”，“系列标题”：“人工智能中的论证”，“第一页”：“105”，“文章标题”：“抽象论证框架的证明理论和算法”，“作者”：“Modgil”，“年份”：“2009”｝，｛“密钥”：“10.1016\/j.artint2013.10.001_br0480”，“系列标题”：“第十届自治代理和多代理系统国际会议论文集”，“第一页”：“1307”，“文章标题”：“基本论证组件的实现”，“作者”：“Podlaszewski”，“年份”：“2011”}，{“关键”：“10.1016\/j.artint.2013.10.001_br0490”，“系列标题”：“Proceedings Automated Reasoning，First International Joint Conference”，“First page”：“272”，“article-title”：“论证框架的首选扩展：问答和计算”，“volume”：《第2083卷》，“author”：“Doutre”，“year”：“2001”}，{“key”：”10.1016\/j.artint.2013.10.001_br0500“，“series-title”：“第四届国际论证计算模型会议论文集”，“第一页”：“205”，“文章标题”：“抽象论证中的首选引申枚举”，“卷”：“第245卷”，“作者”：“诺法尔”，“年份”：“2012”}，{“key”：“10.1016\/j.artint.2013.10.001_br0510”，“series-title”：“第十一届逻辑程序设计与非单调推理国际会议论文集”，“第一页”：“40”，“文章标题”：“分裂论证框架”，“卷”：“第6645卷”，“作者”：“鲍曼”，“年份”：“2011”}，{“key”：“10.1016\/j.artint.2013.10.001_br0520”，“series-title”：“第一届形式论证理论与应用国际研讨会论文集修订稿”，“首页”：“17”，“文章标题”：“分裂论证框架：实证评估”，“卷”：“第7132卷”，“作者”：“鲍曼”，“年份”：“2012”}，{“关键”：“10.1016\/j.artint.2013.10.001_br0530”，“系列标题”：“Correct Reasoning\u2013 Essays on Logic-Based AI in Honour of Vladimir Lifschitz”，“first page”：“57”，“article-title”：“Parameterized splition:A simple modification Based approach”，“volume”：《7265》，“author”：“Baumann”，“year”：“2012”}，{“key”：”10.1016\/j.artint.2013.10.001_br0540“，”“doi-asserted-by”：“crossref”，《首页》：“1”，“doi”：“10.1016\/j.artint.2012.03.005”，“article-title”：“面向抽象论证的固定参数可处理算法”，“volume”：“186”，“author”：“Dvo\u0159\u00e1k”，“year”：“2012”，“journal-title“：人工智能”}，{“key”：：“第19届国际声明性编程和知识管理应用大会会后会议记录，INAP 2011，第25届逻辑编程研讨会”，“文章标题”：“抽象论证的动态编程推理器”，“卷”：“卷7773”，“作者”：“Dvo\u0159\u00e1k”，“年份”：“2013”}，{“key”：“10.1016\/j.artint.2013.10.001_br0560”，“series-title”：“第四届国际智能体与人工智能会议论文集”，“首页”：“225”，“article-title”：“抽象论证的平均案例算法”，“卷”：“vol.1”，“author”：“Nofal”，“year”：“2012”}，{“key”：：“第十三届知识表示与推理原理国际会议论文集”，“第一页”：“54”，“文章标题”：“抽象论证的复杂敏感性决策程序”，“作者”：“Dvo\u0159\u00e1k”，“年份”：“2012”}，{“关键”：“10.1016\/j.artint.2013.10.001_br0580”，“系列标题”：“第十二届知识表示与推理原理国际会议论文集”，“首页”：“102”，“文章标题”：“抽象辩证框架”，“作者”：“Brewka”，“年份”：“2010”}，{“关键”：“10.1016\/j.artint.2013.10.001_br0590”，“doi-asserted-by”：“crossref”，“第一页”：：“论论证框架中的两极性”，“卷”：“23”，“作者”：“Amgoud”，“年份”：“2008”，“期刊标题”：“国际期刊情报系统”}，{“问题”：“9\u201310”，“关键”：“10.1016\/J.artint.2013.10.001_br0600”，“doi-asserted-by”：“crossref”，《首页》：“901”，“doi”：“101016\/J.artit.2009.02.001”，“文章标题”：“推理论证框架中的偏好”，“卷”：“173”，“作者”：“Modgil”，“年份”：“2009”，“日志标题”：“人工智能”}]，“容器标题”：[“人工智能“]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0004370213001069？httpAccept=text\/xml”，“content-type”：“text\/xml”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0004370213001069？httpAccept=text\/plain”，“内容-类型”：“文本\/plaine”，“content-version“：”vor“intended-application:”text-mining“}”，“存放”：{“日期-部件”：[2020,5,11]]，“日期-时间”：“2020-05-11T15:32:48Z”，“timestamp”：1589211168000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S0004370213001069”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2014,1]]}”，“references-count”：60，“alternative-id”：[“S004370213001069]”，“URL”：“http://\/dx.doi.org\/10.1016\/j.artint.2013.10.001”，“relationship”：{}，“ISSN”：[“0004-3702”]，“ISSN-type”：[{“value”：“0004-3702”，“type”:“print”}]，“subject”：【】，“published”：{“date-parts”：【2014年1月1日】，“assertion”：【{“value”：“Elsevier”，“name”：“publisher”，“label”：“本文由”}维护，{“value”：”抽象论证的复杂敏感决策过程“，”名称：“articletle”，“标签”：“文章标题”}，{“value”：“人工智能”，“name”：“journalttle”，“label”：“Journal Title”}：“Copyright\u00a9 2013 Elsevier B.V.保留所有权利。”，“name”：“Copyright”，“label”：“版权所有”}]}}