{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,11,7]]，“日期时间”：“2023-11-07T20:49:12Z”，“时间戳”：1699390152223}，“出版商位置”：“柏林，海德堡”，“参考计数”：23，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”value“9783540232421”，“type”：“print”}，{“value”：“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_14“，”type“：”book-capter“，”created“：”{“date-part”：[2010,9,19]]，“date-time”：“2010-09-19T01:34:52Z“，”时间戳“：1284860092000}，”页面“：”134-146“，“source”：“Crossref”，“is-referenced-by-count”：10，“title”：[“用析取逻辑程序捕获并行分界”]，“prefix”：“10.1007”，”author“：[{”given“：”Tomi“，”family“：”Janhuen“，”sequence“：”first“，”affiliation“：[]}，{”given“:”Emilia“，”家族“Oikarinen”，“sequence”：“additional”，“afliation”：[]{”，“密钥”：“14_CR1”，“首页”：“460”，《卷标》：“第十五届国际人工智能联合会议论文集”，“作者”：“P.Baumgartner”，“年份”：“1997年”，“非结构化”：“Baumgartner，P.，Fr\u00f6hlich，P.、Furbach，U.、Nejdl，W.：诊断应用的语义引导定理证明。摘自：《第十五届人工智能国际联合会议论文集》，名古屋，第460\u2013465页。Morgan Kaufmann，San Francisco（1997）“}，{“问题”：“2”，“关键”：“14_CR2”，“doi-asserted-by”：“出版商”，“首页”：“397”，“doi”：“10.1016\/0004-3702（92）90051-X”，“卷”：“54”，“作者”：“M.Cadoli”，“年份”：“1992”，“非结构化”：“Cadoli，M.，Eiter，T.，Gottlob，G.：从限定中消除不同谓词的有效方法。人工智能\u00a054（2），397\u2013410（1992）“，”杂志标题“：”人工智能“}，{“问题”：“3”，“关键”：“14_CR3”，”doi-asserted-by“：”出版商“，”首页“：”391“，”doi“：”10.1016\/0004-3702（89）90018-0“，”卷“：”39“，”作者“：”J.Kleer de“，”年份“：”1989“，”非结构化“：”de Kleer，J.，Konolige，K.：从限定中消除固定谓词。人工智能\u00a039（3），391\u2013398（1989）“，”杂志标题“：”人工智能“}，{“问题”：“1-2”，“关键”：“14_CR4”，“首页”：“99”，“卷”：“12”，“作者”：“T.Eiter”，“年份”：“1999”，“非结构化”：“Eiter，T.，Faber，W.，Leone，N.，Pfeifer，G.：DLV系统的诊断前端。AI Communications\u00a012（1-2），99\u2013111（1999）“，”journal-title“：”AI Communications“}，{”key“：”14_CR5“，”doi-asserted-by“：”publisher“，”first-page“：”289“，”doi“：”10.1007\/BF01536399“，”volume“：“15”，”author“：”T.Eiter“，”year“：”1995“，”unstructured“：”Eiter，T.，Gottlob，G.：选言逻辑编程的计算成本：命题案例。数学与人工智能年鉴\u00a015，289\u2013323（1995）“，“期刊标题”：“数学与人工智慧年鉴”}，{“key”：“14_CR6”，“series-title”：“LNAI”，“doi-asserted-by”：“crossref”，“first-pages”：“289”，“doi”：“10.1007\/3-540-63255-7_22”，“volume-title”：《逻辑编程与非单调推理》，“author”：“T。Eiter”，“年份”：“1997”，“非结构化”：“Eiter，T.，Gottlob，G.，Veith，H.：模块逻辑编程和广义量词。收录：Dix，J.、Furbach，U.、Nerode，A.（编辑）LPNMR 1997。LNCS（LNAI），第u00a01265卷，第289\u2013308页。Springer，Heidelberg（1997）“}，{”key“：“14_CR7”，”first page“：”449“，”volume-title“：”Proceedings of the 7th National Conference on Artificial Intelligence“，”author“：”M.Gelfon“，”year“：”1988“，”unstructured“：”Gelfond，M.，Lifschitz，V.：将局限理论编译成逻辑程序。摘自：《第七届全国人工智能会议论文集》，明尼苏达州圣保罗，1988年8月，第449\u2013455页。AAAI Press，Menlo Park（1988）“}，{”key“：”14_CR8“，”doi-asserted-by“：”publisher“，”first page“：“365”，”doi“：”10.1007\/BF03037169“，”volume“：‘9’，”author“：”M.Gelfond“，“year”：“1991”，“unstructured”：“Gelfund，M.，Lifschitz，V.：逻辑程序和析取数据库中的经典否定。新一代计算\u00a09，365\u2013385（1991）”，“journal-title“：“新一代计算”}，{“issue”：“1”，“key”：“14_CR9”，“doi-asserted-by”：“publisher”，“first-pages”：“39”，“doi”：“10.1016\/S0743-1066（97）10001-2”，“volume”：”35“，“author”：“K.Inoue”，“year”：“1998”，“unstructured”：“Inoue，K.，Sakama，C.：否定是头部的失败。《逻辑编程杂志》\u00a035（1），39\u201378（1998）“，”journal-title“：《逻辑编程杂志》}，{“issue”：“1-4”，“key”：“14_CR10”，“doi-asserted-by”：“publisher”，“first-pages”：“79”，“doi”：“10.1023\/A:1018915113814”，“volume”：”27“，“author”：“T.Janhunen”，“year”：“1999”，“unstructured”：“Janhunen，T.：关于非单调逻辑的互译性。数学与人工智能年鉴\u00a027（1-4），79\u2013128（1999）“，“期刊标题”：“数学与人工智慧年鉴”}，{“关键词”：“14_CR11”，“系列标题”：《人工智能讲义》，“首页”：“93”，“卷标题”：”逻辑编程与非单调推理“，“作者”：“T.Janhunen”，“年份”：“2001”，“unstructured“：”Janhunen，T.：关于缺省否定对析取规则表达的影响。收录：Eiter，T.、Faber，W.、Truszczy\u0144ski，M.（编辑）LPNMR 2001。LNCS（LNAI），第u00a02173卷，第93\u2013106页。Springer，Heidelberg（2001）“}，{“key”：“14_CR12”，“unstructured”：“Janhunen，T.：某些类别逻辑程序的可译性和不可译性结果，Espoo，Finland。系列A：研究报告82，赫尔辛基理工大学理论计算机科学实验室（2003年11月）”}，}，“key“：”14_CR13“非结构化”：“Janhunen，T.，Niemel\u00e4，I.，Seipel，D.，Simons，P.，You，J.-H.：在稳定模型语义中展开偏爱和析取。《美国计算机学会计算逻辑学报》（2004年），接受出版，见\n\n http://www.ACM.org\/tocl\/Accepted.html“}，{”key“：”14_CR14“，”first-page“：”281“，”volume-title“：”Proceedings of the 19th National Conference on Artificial Intelligence“，”author“：”J.Lee“，”year“：”2004“，”unstructured“：”Lee，J.，Lin，F.：限定的循环公式。摘自：《第19届全国人工智能会议论文集》，加州圣何塞，2004年7月，第281\u2013286页。AAAI，Menlo Park（2004）“}，{“key”：“14_CR15”，“unstructured”：“Leone，N.，Pfeifer，G.，Faber《第九届国际人工智能联合会议论文集》，“作者”：“V.Lifschitz”，“年份”：“1985年”，“非结构化”：“Lifschit，V.：计算范围”。载：《第九届国际人工智能联合会议论文集》，美国加利福尼亚州洛杉矶，1985年8月，第121\u2013127页。Morgan Kaufmann，San Francisco（1985）“}，{”key“：”14_CR17“，”first page“：“23”，”volume-title“：”Proceedings of the 11th International Conference on Logic Programming“，”author“：”V.Lifschitz“，”year“：”1994“，”unstructured“：”Lifschitz，V.，Turner，H.：分割逻辑程序。载：《第11届逻辑编程国际会议论文集》，第23\u201337页。麻省理工学院出版社，剑桥（1994）“}，{”key“：”14_CR18“，”doi-asserted-by“：”publisher“，”first page“：“27”，”doi“：”10.1016\/0004-3702（80）90011-9“，”volume“:”13“，”author“：”J.McCarthy“，”year“：”1980“，”unstructured“：”McCarthy:”Contextcription\u2014a form of non-单调推理。人工智能\u00a013，27\u201339（1980）“，”journal-title“：”人工智能“}，{“key”：“14_CR19”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“crossref”，“首页”：“278”，“doi”：“10.1007\/3-540-61208-4_18”，《volume-title》：“用解析表及相关方法证明定理”，“author”：“I.Niemel\u00e4”，“year”：“1996”，“unstructured”：“Niemel\u00e4，I.：最小模型推理的表格演算。收录：Miglioli，P.，Moscato，U.，Ornaghi，M.，Mundici，D.（编辑）TABLEAUX 1996。LNCS，第u00a01071卷，第278\u2013294页。Springer，Heidelberg（1996）“}，{”key“：“14_CR20”，”doi-asserted-by“：”publisher“，”first page“：”401“，“doi”：“10.1007”，“volume”：“9”，“author”：“T.C.Przymusinski”，“year”：“1991”，“unstructured”：“Przimusinski，T.C.：析取程序的稳定语义。新一代计算\u00a09，401\u2013424（1991）”，“journal-title”：“新一代计算“}，{“key”：“14_CR21”，“doi-asserted-by”：“publisher”，“first page”：”57“，“doi”：“10.1016\/0004-3702（87）90062-2”，“volume”：：“32”，“author”：“R.Reiter”，“year”：“1987”，“unstructured”：“Reiter，R.：第一原理诊断理论。人工智能\u00a032，57\u201395（1987）”，“期刊标题”：“人工智能”}key“：”14_CR22“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”crossref“，”first-page“：”344“，”doi“：”10.1007\/3-540-59487-6_25“，”volume-title“：“逻辑编程与非单调推理”，”author“：”C.Sakama“，”year“：”1995“，”unstructured“：”Sakama，C.，Inoue，K.：在一般选言程序中嵌入限定理论。作者：Marek，V.W.，Truszczy\u0144ski，M.，Nerode，A.（编辑）LPNMR 1995。LNCS，第u00a0928卷，第344\u2013357页。Springer，Heidelberg（1995）“}，{”key“：”14_CR23“，”series-title“：”人工智能课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“305”，”doi“：”10.1007\/3-540-46767-X22“，”volume-title“：“逻辑编程与非单调推理”，”author“：”P.Simons“，”year“：”1999“，”unstructured“：”Simons，P.：用更具表现力的规则扩展稳定的模型语义。在：Gelfond，M.，Leone，N.，Pfeifer，G.（编辑）LPNMR 1999。LNCS（LNAI），第u00a01730卷，第305\u2013316页。Springer，Heidelberg（1999）“}”，“container-title”：[“人工智能中的逻辑”，“计算机科学中的讲义”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com/content\/pdf\/10.1007\/978-3-540-30227-8_14.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{date-parts“：[[2021,5,3]]，“date-time”：“2021-05-03T03:58:01Z”，“timestamp”：1620014281000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\link.springer.com\/10.1007\/978-3-540-30227-8_14”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[2004]]}”，“ISBN”：[“9783540232421”，“9783540302278”]，“references-count”：23，“URL”：“http:\/\/dx.doi.org\/10.1007\/978-3-540-30227-8_14“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”03029743“，”type“:”print“}，{”value“：”1611-33049“，”类型“：”electronic“}]，”subject“：【】，”published“：{”date-parts“：【2004】】}}}}