{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部分”：[[2024,4,5]]，“日期-时间”：“2024-04-05T07:12:25Z”，“时间戳”：1712301145434}，“参考-计数”：35，“出版商”：“Informa UK Limited”，“问题”：“2”，“资助者”：[{“DOI”：“10.13039\/501100002428”，“名称”：“奥地利科学基金”，“DOI由“：”出版商“，”奖项“：[“I1102，S11403-N23，W1255-N23”]}]，“内容域”：{“域”：[“www.tandfonline.com”]，“crossmark-restriction”：true}，“short-container-title”：[”Argument&Calculation“]，”published-print“：{”date-parts“：[[2015,5,4]}，”DOI“：”10.1080\/19462166.2015.1036922“，”type“：”journal-article“，”created“：{”date-ports“：[2015,6]}，18]]，“日期时间”：“2015-06-18T14:58:32Z”，“时间戳”：1434639512000}，“页面”：“149-177”，“更新策略”：“http://\/dx.doi.org\/10.1080\/tandf_crossmark_01”，“源”：“Crossref”，“is-referenced-by-count”：8，“标题”：[“使用量化布尔公式在抽象辩证框架中推理”]，“前缀”：“10.1080”，“卷”：“6”，“作者”：[{“给定”：“马丁”，“家族”：“迪勒”，“序列”：“第一”，“affiliation”：[]}，{“given”：“Johannes Peter”，“family”：“Wallner”，”sequence“：“additional”，”affiliance“：[]{，”given“：”Stefan“，”family“：”Woltran“，”segment“：”additional“，”affaliation“：[]}，”member“：“301”，”published-online“：{”date-parts“：[[2015,6,18]]}”，“reference”：[{”key“CIT0001”，“doi-assertd-by”：“publisher”“，”doi“：”10.1016\/j.jal.2013.03.009“}，{“key”：“CIT0002”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.ijar.2010.05.004”}，{”key“：”CIT0003“，”doi-assert-by“：”publisher“，”doi“：”10.1093\/logcom\/13.3429“}，”{“密钥”：“CIT0004”，“doi-assertd-by”：“交叉引用”，“首页”：“133”，”doi:“10.3233\/SAT190055”，“卷”：“5”，“作者”：“Benedetti M.”，“年份”：“2008”，“新闻标题”：《可满足性、布尔建模和计算杂志》}，{“key”：“CIT0005”，“unstructured”：“Brewka G.、Ellmauthaler S.、Strass H.、Wallner J.P.和Woltran S.（2013）。重新审视抽象辩证框架。见F.Rossi（Ed.），《第23届国际人工智能联合会议论文集》，IJCAI 2013（pp.\u00a0803\u2013809）加利福尼亚州帕洛阿尔托：AAAI出版社。“}，{”key“：”CIT0006“，”doi-asserted-by“：”crossref“，”first-page:“30”，”doi“：”10.1109\/MIS.2013.122“，”volume“：“29”，”author“：”Brewka G.“，“year”：“2014”，”journal-title“：”IEEE Intelligent Systems“}”，{“key”：“CIT0007”，“unstructured”：“Brewka G&Woltran S.（2010）。抽象辩证框架。In F.Lin，U.Sattler，&M.Truszczy\u0144ski（编辑）《知识表示和推理原则第十二届国际会议论文集》，KR 2010（pp.\u00a0102\u2013111）。加利福尼亚州帕洛阿尔托：AAAI出版社。“}，{”key“：”CIT0008“，”doi-asserted-by“：”crossref“，”unstructured“：”Bryant R.E.，Lahiri S.K.&Seshia S.A.（2003）。术语级有界模型检查中的收敛测试。D.Geist&E.Tronci（编辑）《关于正确硬件设计和验证方法的第十二届高级研究工作会议论文集》，CHARME-2003，计算机科学讲稿第2860卷（pp.\u00a0348\u2013362）。柏林：斯普林格。“，”DOI“：”10.1007\/978-3-540-39724-3_31“}，{”key“：”CIT0009“，”unstructured“：”B\u00fcning H.K.&Bubeck U.（2009）。量化布尔公式理论。收录于A.Biere，M.Heule，H.van Maaren，&T.Walsh（编辑），《可满足性手册》，第185卷，人工智能与应用前沿（pp.\u00a0735\u2013760）。阿姆斯特丹：IOS出版社。“}”key“：”CIT0010“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/s11225-009-9218-x“}，{“key”：“CIT0011”，“doi-assert-by”：“crossref”，“unstructured”：“Cayrol C.&Lagasquie-Schiex M.（2005）。关于两极论证框架中论点的可接受性。L.Godo（Ed.）《第八届欧洲不确定性推理符号和定量方法会议论文集》，ECSQARU 2005，计算机科学讲稿第3571卷（pp.\u00a0378\u2013389）。柏林：施普林格。“，”DOI“：”10.1007\/11518655_33“}，{”key“：”CIT0012“，”unstructured“：”Cerutti F.，Dunne P.E.，Giacomin M.&Vallati M.（2013）。抽象论证中的计算首选扩展：基于SAT的方法。in E.Black，S.Modgil，&N.Oren（编辑）《第二届形式论证理论与应用国际研讨会论文集》，TAFA-2013，计算机科学讲稿第8306卷（pp.\u00a0176\u2013193）。柏林：斯普林格。}，{“key”：“CIT0013”，“unstructured”：“Cerutti F.，Giacomin M.，Vallati M.&Zanella M.（2014）。用于计算抽象论证中首选标签的SCC递归元算法。收录于C.Baral，G.D.Giacomo，&T.Eiter（编辑）《第十四届知识表示和推理原则国际会议论文集》，韩国，2014年。加利福尼亚州帕洛阿尔托：AAAI出版社。“}，{”key“：”CIT0014“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/j.artint.2014.11.008非结构化”：Diller M.、Wallner J.P.和Woltran S.（2014）。使用量化布尔公式在抽象辩证框架中进行推理。S.Parsons，N.Oren，C.Reed，&F.Cerutti（编辑），第五届国际争论计算模型会议论文集，COMMA-2014，第266卷，人工智能和应用前沿（pp.\u00a0241\u2013252）。阿姆斯特丹：IOS出版社。“}，{“key”：“CIT0017”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0004-3702（94）00041-X”}，“{”key“：”CIT0018“，”doi-assert-by“：”publisher“，”doi“：”10.1016\/S0004-3702}，{“key”：“CIT0020”，“非结构化”：“Egly U.，Eiter T.，Tompits H.&Woltran S.（2000）.使用量化布尔公式解决高级推理任务。H.A.Kautz和B.W.Porter（编辑），《第十七届全国人工智能会议和第十二届人工智能创新应用会议论文集》（AAAI\/IAAI-2000）（pp.\u00a0417\u2013422）。加利福尼亚州帕洛阿尔托：AAAI出版社/麻省理工学院出版社。}，{“key”：“CIT0021”，“unstructured”：“Egly U.&Woltran S.（2006）。使用量化布尔公式在论证框架中进行推理。P.E.Dunne&T.J.M.Bench-Capon（Eds.）《论据计算模型第一次会议论文集》，COMMA 2006，《人工智能和应用前沿》第144卷，利物浦，（pp.\u00a0133\u2013144）。“}，{”key“：”CIT0022“，”unstructured“：”Ellmauthaler S.&Strass H.（2013）。DIAMOND论证系统：初步报告。M.Fink&Y.Lierler（编辑），第六届答案集编程和其他计算范式国际研讨会论文集，ASPOCP 2013，伊斯坦布尔（pp.\u00a097\u2013108）。“}”，{“key”：“CIT0023”，“unstructure”：“”Ellmauthaler S.&Strass H.（2014）。使用抽象辩证框架进行计算的DIAMOND系统。S.Parsons，N.Oren，C.Reed，&F.Cerutti（编辑），第五届国际争论计算模型会议论文集，COMMA-2014，第266卷，人工智能与应用前沿（pp.\u00a0233\u2013240）。阿姆斯特丹：IOS出版社。}，{“key”：“CIT0024”，“unstructured”：“Ferraris P.&Giunchiglia E.（2000）。规划在非确定性领域中的可满足性。收录于H.A.Kautz&B.W.Porter（Eds.）《第十七届全国人工智能会议和第十二届人工智能创新应用会议论文集》，AAAI\/IAAI-2000（pp.\u00a0748\u2013753）。加利福尼亚州帕洛阿尔托：AAAI出版社/麻省理工学院出版社。“}，{”key“：”CIT0025“，”unstructured“：”Franco J.&Martin J.（2009）。可满足性的历史。摘自A.Biere，M.Heule，H.van Maaren，&T.Walsh（编辑），《可满足性手册》，人工智能与应用前沿第185卷（第\u00a03\u201374页）。阿姆斯特丹：IOS出版社。“}”，{“key”：“CIT0026”，“unstructure”：“”Giunchiglia E.、Marin P.和Narizzano M.（2009年）。用量化布尔公式进行推理。A.Biere、M.Heule、H.van Maaren和T.Walsh（编辑），《可满足性手册》，人工智能和应用前沿第185卷（第\u00a0761\u2013780页）。阿姆斯特丹：IOS出版社。“}，{”key“：”CIT0027“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/TCAD.2006.888264“}”，{“key”：“CIT0028”，“doi-assert-by”：“crossref”，“unstructured”：“Ling A.C.，Singh D.P.&Brown S.D.（2005）。使用量化布尔可满足性的FPGA逻辑合成。收录于F.Bacchus&T.Walsh（编辑）《第八届满意度测试理论与应用国际会议论文集》，SAT 2005，计算机科学讲稿第3569卷（pp.\u00a0444\u2013450）。柏林：斯普林格。“，”DOI“：”10.1007\/11499107_37“}，{”key“：”CIT0029“，”DOI-asserted-by“：”crossref“，”unstructured“：”Lonsing F.&Egly U.（2014）。增量QBF解算。收录于B.O'Sullivan（Ed.）《约束编程的原理与实践》，第20届国际会议论文集，CP 2014，计算机科学讲稿第8656卷（pp.u00a0514\u2013530）。柏林：斯普林格。“，”DOI“：”10.1007\/978-3-319-10428-7_38“}，{”key“：”CIT0030“，”unstructured“：”Lonsing F.&Seidl M.（Eds.）（2013）。2013年量化布尔公式国际研讨会非正式研讨会报告。“}”，{“key”：“CIT0031”，“unstructure”：“Mneimneh M.N.&Sakallah K.A.（2003）计算指数大图中的顶点偏心率：QBF公式和解决方案。E.Giunchiglia&A.Taccella（编辑），第六届可满足性测试理论与应用国际会议论文集（SAT-2003），计算机科学讲义第2919卷（pp.\u00a0411\u2013425）。柏林：斯普林格。“}，{”key“：”CIT0032“，”doi-asserted-by“：”crossref“，”first page“：“323”，“doi”：“10.1613\/jair.591”，“volume”：“10”，“author”：“Rintanen J.”，“year”：“1999”，“journal-title”：“journal of Artificial Intelligence Research”}，“{”密钥“：”CIT0033“，”“doi-assert-by”：“publisher”，”doi“：”10.1016\/J.artint.2013.09.004“}”，{“key”：“CIT0034”，“unstructured”：“Strass H.&Wallner J.P.（2014）。利用近似不动点理论分析抽象辩证框架的计算复杂性。C.Baral、G.D.Giacomo和T.Eiter（编辑），《第14届知识表示和推理原则国际会议论文集》，KR 2014（pp.\u00a0101\u2013110）。加利福尼亚州帕洛阿尔托：AAAI出版社。“}，{”key“：”CIT0035“，”unstructured“：”Wallner J.P.（2014）.论证的复杂性结果和算法\u2013 Dung的框架及其后（维也纳科技大学信息系统研究所博士论文）.“}]，”container-title“：[”Argument&Computation“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”http://www.tandfonline.com\/doi\/pdf\/10.1080\/19462166-2015.1036922”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查”}]，“存放”：｛“日期部分”：[[2023,8,11]]，“日期时间”：“2023-08-11T15:44:35Z”，“时间戳”：1691768675000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http:\/\/content.iospress.com/doi\/10.1080\/19462166.2015.1036922“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2015,5,4]]}，“引用计数”：35，”日志发布“：”发布“：}，“alternative-id”：[“10.1080\/19462166.2015.1036922”]，“URL”：“http:\/\/dx.doi.org\/10.1080\/19462166.2015.1036922“，”关系“：{}，”ISSN“：[”1946-2166“，”1946-2174“]，”ISSN-type“：[{”value“：”1946-2116“，“type”：“print”}，{”value“：”1996-2174本标题的出版和审查政策在其目标和范围中进行了描述。“，”order“：1，”name“：”peerreview_statement“，”label“：”Peer Review statement“}，{”value“：”http://\\www.tandfonline.com/action\/journalInformation？show=aimsScope&journalCode=tarc20“，”URL“：”http://www.tandfonline.com/action\/journalInformation？show=aimsScope&journalCode=tarc 20“，“order”：2，“name”：“aims_and_scope_URL”，“label”：“Aim&scope”}]}}