{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2023,5,26]]，“日期-时间”：“2023-05-26T06:29:30Z”，“时间戳”：1685082570813}，“出版商位置”：“柏林，海德堡”，“参考-计数”：10，“出版者”：“施普林格-柏林-海德堡（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_69“，”type“：”book-capter“，”created“：”{“date-part”：[2010,9,19]]，“date-time”：“2010-09-19T01:34:52Z“，”时间戳“：1284860092000}，”页面“：”734-737“，“source”：“Crossref”，“由count引用”：3，“title”：[“tabeql:A Tableau Based Suite for Balancement Logic”]，“prefix”：“10.1007”，“author”：[｛”given“：“Agust\u00edn”，“family”：“Valverde”，“sequence”：“first”，“affiliation”：[]｝]，“member”：“297”，“reference”：[｛”key“：”69_CR1“，”doi由“：publisher”断言，“first page”：“365”，“doi”：“10.1007//BF03037169“，“卷”：“9”，“作者”：“M.Gelfond”，“年份”：“1991”，“非结构化”：“Gelfond，M.，Lifschitz，V.：逻辑程序和析取数据库中的经典否定。新一代计算\u00a09，365\u2013385（1991）”，“期刊标题”：“新一代计算”}，{“密钥”：“69_CR2”，“非结构化”：“Janhumen，T.，Niemel\u00e4，I.，Seipel，D.，Simons，P.，You，J.-H.：在稳定模型语义中展开偏爱和析取。CoRR:cs.AI\/0303009（2003年3月）”}，{“key”：“69_CR3”，“非结构化”：“Leone，N.、Pfeifer，G.、Faber，W.、Eiter，T.、Gottlob，G.，Perri，S.、Scarcello，F.：知识表示和推理的dlv系统。CoRR:cs.AI\/0211004（2003年9月）”}，{“issue”：“4”，“key”：“69_CR4”，《doi-asserted-by》：“publisher”，“first page”：”：“526”，“doi”：“10.1145\/383779.383783”，“volume”:“2”，“author”：“V.Lifschitz”，“年份”：“2001”，“非结构化”：“Lifschitz，V.，Pearce，D.，Valverde，A.：强等价逻辑程序。ACM计算逻辑事务\u00a02（4），526\u2013541（2001）”，“日志标题”：“ACM计算逻辑学事务”}，{“问题”：“3-4”，“密钥”：“69_CR5”，“doi-asserted-by”：“出版商”，“首页”：“369”，“doi”：“10.1023\/A:1018978005636”，“卷”：“25”，“author”：“V.Lifschitz”，“year”：“1999”，“unstructured”：“Lifschit，V.，Tang，L.，Turner，H.：逻辑程序中的嵌套表达式。数学与人工智能年鉴\u00a025（3-4），369\u2013389（1999）”，“journal-title”：“数学与人工智慧年鉴”}，{“key”：“69_CR6”，“series-title”：《计算机科学讲义》，“doi-asserted-by”：“publisher”，“first page”：“57”，“doi”：“10.1007\/BFb0023801”，“volume-title”：“逻辑编程的非单调扩展”，“author”：“D.Pearce”，“year”：“1997”，“unstructured”：“Pearce，D.：稳定模型和答案集的一个新逻辑特征。In:Dix，J.，Przymusinski，T.C.，Moniz Pereira，L.（eds.）NMELP 1996。LNCS，第u00a01216卷，第57\u201370页。Springer，Heidelberg（1997）“}，{”key“：“69_CR7”，”doi-asserted-by“：”publisher“，”first page“：”79“，”doi“：”10.1016\/S0743-1066（98）10015-8“，”volume“：：”38“，”author“：”D.Pearce“，”year“：”1999“，”unstructured“：”Pearce，D.：作为直觉主义有效性的稳定推理。《逻辑编程杂志》\u00a038，79\u201391（1999）“，”Journal title“：”逻辑编程杂志“}，{”key“：”69_CR8“，”series-title“：”人工智能课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“352”，“doi”：“10.1007\/10722086_28”，“volume-title”：“带分析表和相关方法的自动推理”，“author”：“D.Pearce”，“year”：“2000”，“unstructured”：“Pearce，D.，de Guzm\u00e1n，I.P.，Valverde，A.：平衡蕴涵的表格演算。收录：Dyckhoff，R.（编辑）TABLEAUX 2000。LNCS（LNAI），卷\u00a01847，第352页\u2013367。Springer，Heidelberg（2000）“}，{”key“：”69_CR9“，”series-title“：”人工智能课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“194”，“doi”：“10.1007\/978-3-540-24609-1_18”，“volume-title”：“逻辑编程与非单调推理”，“author”：“D.Pearce”，“year”：“2003”，“unstructured”：“Pearce，D.，Valverde，A.：平衡逻辑和逻辑程序的统一等价。收录：Lifschitz，V.，Niemel\u00e4，I.（编辑）LPNMR 2004。LNCS（LNAI），第u00a02923卷，第194\u2013206页。Springer，Heidelberg（2003）“}，{”issue“：”1-2“，”key“：”69_CR10“，”doi-asserted-by“：”publisher“，”first page“：“181”，“doi”：“10.1016\/S0004-3702（02）00187-X”，“volume”：“138”，”author“：”P.Simons“，”year“：”2002“，”unstructured“：”Simons，P.，Niemel\u00e4，I.，Soininen，T.：扩展和实现稳定模型语义。人工智能\u00a0138（1-2），181\u2013234（2002）“，”日记标题“：”人工智能“}]，”容器标题“：[”人工智能中的逻辑“，”计算机科学中的讲义“]，”原始标题“：[]，”链接“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-30227-8_69.pdf“，”内容类型“未指定”，“content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2021,5,3]]，”date-time“：”2021-05-03T03:58:17Z“，”timestamp“：1620014297000}，”score“：1，”resource“：”{“primary”：{“URL”：“http://\link.springer.com/10.1007\/978-3-540-30227-8_69”}}，“subtitle”：[]，“shorttitle”：[]，“已发布”：{“日期部分”：[[2004]]}，“ISBN”：[“9783540232421“，”9783540302278“]，”references-count“：10，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-540-30227-8_69“，”relation“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，“type”:“print”}，{“value”：”1611-349“，”type“：”electronic“}]，”subject“：[]，“已发布”：{“日期部分”：[[2004]]}}