{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,23]]，“日期时间”：“2024-04-23T23:22:32Z”，“时间戳”：1713914552119}，“出版商位置”：“柏林，海德堡”，“参考计数”：23，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783642307423”，“类型”：“打印”}，{“值”：“9783642307430”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2012,1,1]]，“date-time”：“2012-01T00:00:00Z”，“timestamp”：1325376000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http:\/\/www.springer.com\/tdm”}”，“内容域”：[]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2012]]}，“DOI”：“10.1007\/978-3642-30743-0_13”，“type”：“book-chapter”，“created”：{《date-part》：[[2012-6,2]，“date-time”：“2012-06-02T03:49:46Z”，“timestamp”：1338608986000}，《page》：“178-194”，“source”：《Crossref》，“is-referenced-by-count”：7，“title”：[“近似不动点理论与逻辑和语义答案集程序“]，”前缀“：“10.1007”，“作者”：[{“given”：“Marc”，“family”：“Denecker”，“sequence”：“first”，“affiliation”：[]}，{“给定”：“Maurice”，“家族”：“Bruynooghe”，“序列”：“additional”，“从属关系”：[]}，“给定的”：“Joost”cr-split#-13_CR1.1“，”doi-asserted-by“：”crossref“，“非结构化”：《贝尔纳普，N.D.：有用的四值逻辑》，载于：Dunn，J.M.，Epstein，G.（编辑）《多值逻辑的现代应用》，第8-37页。Reidel，Dordrecht（1977）“，“DOI”：“10.1007\/978-94-010-116-16_2”}，{“key”：“#cr-split#-13_CR1.2”，“unstructured”：“印第安纳州布卢明顿印第安纳大学第五届多值逻辑国际研讨会邀请论文，1975年5月13-16日（1975）”}；{“密钥”：“13_CR2”，“DOI-asserted-by”：“crossref”，“非结构化”：“克拉克：否定就是失败。摘自：《逻辑和数据库》，第293\u2013322页。Plenum Press（1978）“，”DOI“：”10.1007\/9781-4684-3384-5_11“}，”key“：”13_CR3“，”series-title“：”The Kluwer International series in Engineering and Computer Science“，”DOI-asserted-by“：”publisher“，”first page“：非结构化“：”Denecker，M.、Marek，V.W.、Truszczy\u0144ski，M.：近似算子、稳定算子、基础良好的不动点以及在非单调推理中的应用。In：基于逻辑的人工智能。《Kluwer工程与计算机科学国际丛书》，第127\u2013144页。Kluwer Academic Publishers，Boston（2000）“}，{”issue“：“1”，”key“：“13_CR4”，”doi-asserted-by“：”publisher“，”first page“：”79“，”doi“：”10.1016\/S0004-3702（02）00293-X“，”volume“：Denecker，M.，Marek，V.W.，Truszczynski，M.：默认逻辑和自认知逻辑的统一语义处理。Artif公司。智力。\u00a0143（1），79\u2013122（2003）“，“新闻标题”：“文章。智力。}，{“key”：“13_CR5”，“unstructured”：“Eiter，T.，Fink，M.，Tompits，H.，Traxler，P.，Woltran，S.：非地面回答集编程中的替代。摘自：Doherty，P.、Mylopoulos，J.、Welty，C.A.（编辑）KR，第340\u2013351页。AAAI Press（2006）“}，{”issue“：”1“，”key“：”13_CR6“，”doi-asserted-by“：”publisher“，”first page“：“75”，”doi“：”10.2307\/2274093“，”volume“:”49“，”author“：”S.Feferman“，”year“：”1984“，”unstructured“：”Feferman，S.：走向有用的无类型理论。《符号逻辑杂志》\u00a049（1），75\u2013111（1984）“，”Journal title“：”Journal of Symbolic逻辑“}，{”问题“：”4“，”key“：”13_CR7“，”doi-asserted-by“：”publisher“，”first-page“：”295“，”doi“：”10.1016\/S0743-1066（85）80005-4“，”volume“：“2”，”author“：”M.Fitting“，”year“：”1985“，”unstructured“：”Fitting，M.：逻辑程序的Kripke-Kleene语义。《逻辑编程杂志》\u00a02（4），295\u2013312（1985）“，”杂志标题“：”逻辑编程杂志“}，{“问题”：“1-2”，“关键”：“13_CR8”，“doi-asserted-by”：“publisher”，“首页”：“25”，“doi”：“10.1016\/S0304-3975（00）00330-3”，“卷”：“278”，”作者“M.Fitting”，“年份”：“2002”，“非结构化”：“Fitting，M.：调查逻辑编程的定点语义。理论计算机科学\u00a0278（1-2），25\u201351（2002）“，”杂志标题“：”理论计算机科学“}，{“key”：“13_CR9”，“series-title”：“人工智能课堂讲稿”，“doi-asserted-by”：“publisher”，“first-page:”413“，”doi“：”10.1007\/3-540-45632-5_16“，”volume-title“：”计算逻辑：逻辑编程及其以外“，”author“：”M。Gelfond，“年份”：“2002年”，“非结构化”：“Gelfund，M.：在A-Prolog中表示知识。收录：Kakas，A.C.，Sadri，F.（编辑）《计算逻辑：逻辑编程及其以外》。LNCS（LNAI），卷\u00a02408，第413页\u2013451。Springer，Heidelberg（2002）“}，{“key”：“13_CR10”，“nonstructured”：“Gelfond，M.，Lifschitz，V.：逻辑编程的稳定模型语义。In：Kowalski，R.A.，Bowen，K.A.（eds.）ICLP\/SLP，pp.1070\u20131080。麻省理工出版社（1988）“}，{”key“：”13_CR11“，”doi-asserted-by“：”crossref“，”first page“：“813”，“doi”：“10.1613\/jair.2810”，“volume”：“35”，“author”：“T.Janhunen”，“year”：“2009”，“unstructured”：“Janhuen，T.，Oikarinen，E.，Tompits，H.，Woltran，S.：析取稳定模型的模块化方面。J.Artif.Intell.Res（jair）\u00a035，813\u2013857（2009）“，”《新闻标题》：“J.Artif。智力。研究（JAIR）“}，{“key”：“13_CR12”，“unstructured”：“Kleene，S.C.：元数学导论。Van Nostrand（1952）”}，}“issue”：“4”，“key“：”13_CR13“，”doi-asserted-by“：”publisher“，”first page“：“526”，“doi”：“10.1145\/383779.383783”，“volume”：”2“，”author“：”V.Lifschitz“，”year“：”2001“，”unstructure“：”Lifschitz，V.，Pearce，D.，Valverde，A.：强等价逻辑程序。ACM事务处理。计算。日志。\u00a02（4），526\u2013541（2001）“，“日记标题”：“ACM事务。计算。日志。“}，{”key“：”13_CR14“，”doi-asserted-by“：”crossref“，”first-page“：”431“，”doi“：”10.1613\/jair.2131“，“volume”：“28”，“author”：“F.Lin”，“year”：“2007”，“unstructured”：“Lin，F.，Chen，Y.：发现强等价逻辑程序的类。J.Artif.Intern.Res（jair）\u00a028，431\u2013451（2007）”，“journal-title”：“J.Artif.Internell.研究（jair）“}，{”key“：”13_CR15“，”unstructured“：”Marek，V.W.，Truszczy\u0144ski，M.：具有抽象约束原子的逻辑程序。摘自：《第19届全国人工智能会议论文集》（AAAI 2004），第86\u201391页。AAAI出版社（2004）“}，{”key“：”13_CR16“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“57”，”doi“：”10.1007\/BFb0023801“，”volume-title“：“逻辑编程的非单调扩展”，”author“：”D.Pearce“，”year“：”1997“，”unstructured“：”Pearce，D.：稳定模型和答案集的新逻辑特征。收录人：Dix，J.、Przymusinski，T.C.、Moniz Pereira，L.（编辑）NMELP 1996。LNCS，第u00a01216卷，第57\u201370页。Springer，Heidelberg（1997）“}，{”issue“：”1-2“，”key“：”13_CR17“，”doi-asserted-by“：”publisher“，”first-page“：”3“，”doi“：”10.1007\/s10472-006-9028-z“，”volume“：“47”，”author“：”D.Pearce“，”year“：”2006“，”unstructured“：”Pearce，D.：Equilibrium logic.Ann.Math.Artif.Intell.\u00a047（1-2），3\u201341（2006）“，”新闻标题“：”安.数学.艺术.智力“}，{”issue“：”3“，”key“：”13_CR18“，”doi-asserted-by“：”publisher“，”first page“：“301”，“doi”：“10.1017\/S1471068406002973”，“volume”：“7”，“author”：“N.Pelov”，“year”：“2007”，“unstructured”：“Pelov，N.，Denecker，M.，Bruynooghe，M.：具有聚合的逻辑程序的良好且稳定的语义。逻辑程序设计理论与实践（TPLP）\u00a07（3），301\u2013353（2007）“，“期刊标题”：“逻辑程序设计的理论与实践”}，{“问题”：“4”，“关键”：“13_CR19”，“doi-asserted-by”：“crossref”，“首页”：“445”，“doi”：“10.3233\/FI-1990-13404”，《卷》：“13”，“作者”：“T.C.Przymusinski”，“年份”：“1990”，“非结构化”：“Przymusinski，T.C.：基础良好的语义与三值稳定语义一致。Fundamental Informaticae\u00a013（4），445\u2013463（1990）“，”journal-title“：”Fundamenta Informaticae“}，{”issue“：”1“，”key“：”13_CR20“，”doi-asserted-by“：”publisher“，”first page“：“185”，“doi”：“10.1016\/0022-0000（93）90024-Q”，“volume”：“47”，“author”：“A.Van Gelder”，“year”：“1993”，“unstructured”：“”Van Gelder，A.：逻辑程序与否定的交替不动点。计算机与系统科学杂志\u00a047（1），185\u2013221（1993）“，”杂志标题“：”计算机与系统科技杂志“}，{“期刊”：“3”，“关键字”：“13_CR21”，“doi-asserted-by”：“publisher”，“首页”：“620”，“doi”：“10.1145\/116825.116838”，“卷”：“38”，“作者”：“A.Van Gelder”，“年份”：“1991”，“非结构化”：“Van Gelder，A.，Ross，K.A.，Schlipf，J.S.：通用逻辑程序的良好语义。美国医学会杂志\u00a038（3），620\u2013650（1991）“，”期刊标题“：”美国医学会期刊“}，{“期刊”：“1-2”，“关键词”：“13_CR22”，“首页”：“187”，“卷”：“79”，“作者”：“J.Vennekens”，“年份”：“2007”，“非结构化”：“Vennekens，J.、Mari\u00ebn，M.、Wittocx，J.和Denecker，M.：带定点语义的逻辑谓词介绍。第一部分：逻辑编程。Fundamental Informaticae\u00a079（1-2），187\u2013208（2007）“，”journal-title“：”Fundamentar Informaticae“}]，”container-title”：[“正确推理”，“计算机科学讲义”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com\/content\/pdf\/10007\/978-3642-30743-0_13”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application“：”相似性检查“}]，”存放“：{”日期部分“：[2022,1,16]]，”日期时间“：”2022-01-16T16:08:40Z“，”时间戳“：164234932000}，”分数“：1，”资源“：{“主”：{“URL”：“http://link.sprimary.com\/10007\/978-3642-30743-0_13”}，“副标题”：[]，“短标题”：[]，“发布”：{“日期部分”：[[2012年]]}，“ISBN”：[“9783642307423”，“9783642307430“]，”references-count“：23，”URL“：”http://\/dx.doi.org\/10.1007\/978-3642-30743-0_13“，”relationship“：{}，”ISSN“：[”0302-9743“，“1611-3349”]，”ISSN-type“：[{”value“：“0302-974”，“type”：“print”}，{”value“：”1611-3399“，”type“”：“electronic”}]，“subject”：[]，“published”：{“date-pa”rts“：[[2012]]}}