{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,6,20]]，“日期时间”：“2024-06-20T11:52:25Z”，“时间戳”：1718884345548}，“出版商位置”：“柏林，海德堡”，“参考计数”：52，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{“值”：“9783642642494”，“”键入“：”print“}，{”value“：“9783642600852”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1999]]}，”DOI“：”10.1007\/978-3642-60085-2_17“，”type“：”book-capter“，”created“：{”date-ports“：[2011,9,8]]，”date-time“：”2011-09-08T11:03：26Z“，”时间戳“：1315479806000}，”页面“：”375-398“，“source”：“Crossref”，“is-referenced-by-count”：347，“title”：[“稳定模型和替代逻辑编程范式”]，“prefix”：“10.1007”，”author“：[{”given“：”Victor W.“，”family“：”Marek“，”sequence“：”first“，”affiliation“：[]}，{”Givent“：”Miroslaw“，“family”：“Truszczy\u0144ski”，“sequence”：“additional”，“afliation”：[]2]，“member”：“297”，“reference”“”：[{“key”：“17_CR1”，“doi-asserted-by”：“publisher”，第1页：“93”，“doi”：“10.1007”，卷：“14”，“author”：“JJ Alferes”，“year”：“1995”，“unstructured”：“J.J.Alferes，C.V.Dam\u00e1sio和L.M.Pereira。非单调推理的逻辑编程系统。自动推理杂志，14:93\u20131471995年”，“Journal-title”：“Journal of Automated Reasoning”}，{“key”：“17_CR2”，“doi-asserted-by”：“crossref”，“first-pages”：“1”，“doi”：“10.3233\/FI-1990-13103”，“volume”：”12“，“author”：“K Apt”，“year”：“1990”，“unstructured”：“K.Apt和H.A.Blair。分层程序完美模型的算术分类。基础信息学，12:1\u201317，1990”，《杂志标题》：“Fundamental Informaticae”}，{“key”：“17_CR3”，“doi-asserted-by”：“crossref”，“首页”：“89”，“doi”：“10.1016\/B978-0-934613-40-8.5.006-3”，“volume-title”：“演绎数据库和逻辑编程的基础”，“author”：“K Apt”，“year”：“1988”，“unstructured”：“K.Apt，H.A.Blair和A.Walker。走向陈述性知识理论。Minker，编辑，《演绎数据库和逻辑编程基础》，第89\u2013142页，加利福尼亚州洛斯阿尔托斯，1988年。Morgan Kaufmann“}，{”key“：”17_CR4“，”first page“：“13”，”volume-title“：”On DATALOG vs.多项式时间“，”author“：”F Afrati“，”year“：”1991“，”unstructured“：”F.Afrati，S.Cosmodakis，and M.Yannakakakakis。On DATALOG vs多项式时间。《PODS学报》\u201991，第13\u201325页，1991“}”，{“key”：“17_CR5”，”first-page:“341”，”volume-title:“”Dislop:Toward a disjunctive logic programming system”，“author”：“C Aravindan”，“year”：“1997”，“unstructured”：“C.Aravinden，J.Dix，and I.Niemel\u00e4。析取：朝向析取逻辑编程系统。《第四届逻辑程序设计和非单调推理国际会议论文集》，第341\u20133521997页。Springer LN in Computer Science 1265“}，{“key”：“17_CR6”，“volume-title”：“数据库基础”，“author”：“S Abiteboul”，“year”：“1995”，“unstructured”：“S.Abitebool，R.Hull，and V.Vianu.数据库基础。Addison-Wesley Publishing Company，1995”}，}，“key“：”17_CR7“first page“：“3”，“卷”：“4”，“作者”：“H Andreka”，“年份”：“1978”，“非结构化”：H.Andreka和I.Nemeti。霍恩谓词逻辑作为一种编程语言的广义完备性。《控制论学报》，4:3\u2013101978.“，”期刊标题“：”控制论学报“}，{”关键字“：”17_CR8“，”doi-asserted-by“：”出版商“，”首页“：”841“，”doi“：”10.1145 \/322326.32239“，”卷“：”29“，”作者“：”KR Apt“，”年份“：”1982“，”非结构化“：”K·R。Apt和M.H.van Emden。对逻辑程序设计理论的贡献。美国计算机学会期刊，29:841\u20138621982”，“期刊标题”：“美国计算机学会期刊”}，｛“密钥”：“17_CR9”，“doi由”断言：“出版商”，“第一页”：“85”，“doi”：“10.1016/0304-3975（51）90004-7”，“卷”：“78”，“作者”：“N Bidoit”，“年份”：“1991”，“非结构化”：“N Bidoit和C。弗罗伊德沃。默认否定和不可验证逻辑程序。《理论计算机科学》，78:85\u20131121991年，“期刊标题”：“理论计算机科学”}，{“key”：“17_CR10”，“doi-asserted-by”：“publisher”，“first-pages”：“209”，“doi”：“10.1007”，卷：“15”，“author”：“HA Blair”，“year”：“1995”，“unstructured”：“H.A.Blair，W.Marek，and J。施利普夫。局部分层程序的表现力。《数学与人工智能年鉴》，15:209\u20132291995年，“期刊标题”：“数学与人工智慧年鉴”}，{“key”：“17_CR11”，“unstructured”：“P.Cholewinski.使用默认逻辑的自动推理。肯塔基大学博士论文，1996年。博士论文。“}，{”key“：”17_CR12“，”volume-title“：”Un syst\u00e8me de communication homme-machine en frangais“，”author“：”A Colmerauer“，”year“：”1973“，”unstructured“：”A.Colmeraure，H.Kanoui，R.Pasero，and P.Roussel.Un syst \u00e 8me de communication hommachine en frangias.Technical report，University of Marseille，1973“}”，{“key”：“17_CR13”，”volume-title“：“符号逻辑和机械定理证明”，“作者”：“C-L Chang”，“年份”：“1973年”，“非结构化”：“C.-L.Chang和C.-T.Lee。符号逻辑与机械定理证明。学术出版社，1973年“}，{”key“：”17_CR14“，”doi-asserted-by“：”crossref“，”first page“：“293”，”doi“：”10.1007\/9781-4684-3384-5_11“，”volume-title“：”Logic and data bases“，”author“：”KL Clark“，“year”：“1978”，“unstructured”：“K.L.Clark.Negation as failure。In H.Gallaire and J.Minker，编辑，Logic and Database，第293\u2013322页。Plenum Press，1978年“}，{键”：“17_CR15”，“首页”：“267”，“卷时间”：“非单调推理实验”，“作者”：“P Cholewi\u0144ski”，“年份”：“1995”，“非结构化”：“P.Cholewi \u0144 ski，W.Marek，A.Mikitiuk，and M。Truszczy\u0144ski。非单调推理实验。《第十二届逻辑编程国际会议论文集》，第267\u2013281页。麻省理工学院出版社，1995年“}，{“key”：“17_CR16”，“volume-title”：“使用默认逻辑编程”，“author”：“P Cholewi\u0144ski”，“year”：“1998”，“unstructured”：“P.Cholewi \u0144 ski，W.Marek，A.Mikitiuk，and M.Truszzy\u01四十ski。使用默认逻辑进行编程。提交出版，1998年”}默认推理系统DeReS“，”作者“：”P Cholewi\u0144ski“，”年份“：”1996“，”非结构化“：”P Cholewi\u0144ski，W.Marek，and M.Truszczy\u0144ski“。默认推理系统DeReS。在KR-96会议记录中，第518\u2013528页。Morgan Kaufmann，1996年“}，{”key“：”17_CR18“，”doi-asserted-by“：”publisher“，”first page“：“215”，”doi“：”10.1016\/S0304-3975（97）00108-4“，”volume“：理论计算机科学“}，{“key”：“17_CR19”，“volume-title”：“Np-spec：用于解决Np中所有问题的可执行规范语言”，“author”：“M Cadoli”，“year”：“1998”，“unstructured”：“M.Cadoli，L.Palipoli，A.Schaerf，and D.Vasile。未出版手稿，1998年。“}，{”key“：“17_CR20”，”doi-asserted-by“：”crossref“，”first page“：”415“，”doi“：”10.1090\/dimacs\/026\/20“，“volume-title”：“Sat vs.unsat.In Cliques，Coloring and Satisfility，Second DIM ACS Implementation Challenge”，“author”：“O Dubois”，“year”：“1996”，“unstructured”：“O.Dubois，P.Andre，Y.Boufkhad，and J。卡利埃。周六与未周六。《集团、着色和满意度》，第二次DIM ACS实施挑战，第415\u2013436页。美国数学学会，1996年“}，{”key“：”17_CR21“，”first page“：“363”，”volume-title“：”非单调推理的演绎系统“，”author“：”T Eiter“，”year“：”1997“，”unstructured“：”T.Eiter，N.Leone，C.Mateis，G.Pfeifer，and F。斯卡切罗。非单调推理的演绎系统。《第四届逻辑程序设计和非单调推理国际会议论文集》，第363\u20133741997页。Springer LN in Computer Science 1265“}，{“key”：“17_CR22”，“first-page”：“406”，“volume-title”：“The KR System dlv:Progress Report，Comparisons，and Benchmarks”，“author”：“T Eiter”，“year”：“1998”，“unstructured”：“T.Eiter，N.Leone，C.Mateis，G.Pfeifer，and F。斯卡切罗。KR系统dlv：进度报告、比较和基准。《第六届国际知识表示与推理原理会议论文集》（KR-98），第406\u2013417页，20134年6月2日，1998年“}，{“key”：“17_CR23”，“volume-title”：“计算机与难处理性；NP-完备性理论指南”，“author”：“MR Garey”，“year”：“1979”，“unstructured”：“M.R.Garey and D.S。约翰逊。计算机与棘手；NP-完备性理论指南。W.H.Freeman，1979年“}，{”key“：”17_CR24“，”first page“：“1070”，”volume-title“：”逻辑程序的稳定语义“，”author“：”M Gelfond“，”year“：”1988“，”unstructured“：”M.Gelfund and V。利夫希茨。逻辑程序的稳定语义。第五届逻辑程序设计国际研讨会论文集，第1070\u20131080页，马萨诸塞州剑桥，1988年。麻省理工学院出版社“}，{”key“：”17_CR25“，”volume-title“：”Recherches sur la th\u00e9orie de la d\u00e9管理“，”author“：”J Herbrand“，”year“：”1930“，”unstructured“：”J.Herbrand.Recherches-sur la th\u 00e9oree de la d\u00e 9管理.博士论文，巴黎，1930“}”，{“key”：“17_CR26”，”doi-asserted-by“：”publisher“，”first page“：“”467“，“doi”：“10.1016\/S0004-3702（97）00058-1”，“卷”：“96”，“作者”：“M Kaminski”，“年份”：“1997”，“非结构化”：“M.Kaminski。逻辑程序的稳定语义注释。《人工智能杂志》，96:467\u20134791997.“，”期刊标题“：”人工智能杂志“}，{“key”：“17_CR27”，“first page”：”569“，”volume-title“：”谓词逻辑作为编程语言“，”author“：”R Kowalski“，”year“：”1974“，”unstructured“：”R。科瓦尔斯基。谓词逻辑作为一种编程语言。《IFIP 74会议录》，第569\u2013574页，阿姆斯特丹，1974年。北荷兰“}，{“key”：“17_CR28”，“volume-title”：“问题解决逻辑”，“author”：“R Kowalski”，“year”：“1979”，“unstructured”：“R.Kowalski.问题解决逻辑。北荷兰，阿姆斯特丹，1979。”}，“key“：”17_CR29“，”unstructure“：”V.Lifschitz.动作语言，答案集和计划。本卷。“}”，{，{key“:”17_CR 30“，”doi-asserted-by“：”crossref“，“DOI”：“10.1007\/978-3-642-96826-6”，“volume-title”：“逻辑编程基础”，“author”：“J Lloyd”，“year”：“1984”，“unstructured”：“J.Lloyd。逻辑编程基础。柏林：Springer-Verlag，1984年。“}，{”key“：”17_CR31“，”volume-title“：”自动定理证明：逻辑基础“，”author“：”D Loveland“，”year“：”1978年“，”unstructured“：”D.Loveland。自动定理证明，逻辑基础。北荷兰，1978年。“卷：“l（3）”，“作者”：“JW Lloyd”，“年份”：“1984年”，“非结构化”：“J.W.Lloyds和R.W.Topor。使序言更有表现力。《逻辑编程杂志》，l（3）：225\u2013240，1984年，“Journal-title”：“逻辑编程杂志”}，{“key”：“17_CR33”，“doi-asserted-by”：“crossref”，“first page”：第129页，“doi”：“10.1016\/S0743-1066（14）80008-3”，“volume”：《21（3）》，“author”：“W Marek”，《year》：“1994”，“unstructured”：“W.Marek，A.Nerode，and J.B。雷梅尔。谓词逻辑程序的稳定模型。《逻辑编程杂志》，21（3）：129\u20131541994年，“期刊标题”：“逻辑编程杂志”}，{“关键字”：“17_CR34”，“首页”：“243”，“卷时间”：“逻辑学程序和默认理论的稳定语义”，“作者”：“W Marek”，“年份”：“1989”，“非结构化”：“W.Marek和M。Truszczy\u0144ski。逻辑程序和默认理论的稳定语义。《北美逻辑编程会议记录》，第243\u2013256页。麻省理工学院出版社，1989年“}，{“key”：“17_CR35”，“doi-asserted-by”：“publisher”，“first page”：”588“，“doi”：“10.1145\/116825.116836”，“volume”：：“38”，“author”：“W Marek”，”year“：”1991“，“unstructured”：“W.Marek and M.Truszczy\u0144ski.自认知逻辑。美国医学杂志，38:588\u20136191991”，“Journal-title”：“美国医学杂志”}，“key：“17_CR36”，“卷时间”：“《人工智能系列》，“作者”：“W Marek”，“年份”：“1993”，“非结构化”：“W.Marek和M.Truszczy\u0144ski。非单调逻辑-上下文相关推理。人工智能系列，Springer-Verlag，1993年“}，{“key”：“17_CR37”，“volume-title”：“用逻辑进行计算。用Prolog进行逻辑编程”，“author”：“D Maier”，“year”：“1988年”，“unstructured”：“D.Maier和D.S.Warren。用逻辑进行计算机。用Prolog进行逻辑程序设计。本杰明·卡明斯出版公司，1988年”}第一页“：”72“，”volume-title“：”具有稳定模型语义的逻辑程序作为约束编程范式“，”author“：”I Niemel\u00e4“，”year“：”1998“，”unstructured“：”I.Niemel\ u00e4。具有稳定模型语义的逻辑程序作为约束编程范式。在《非单调推理的计算方面研讨会论文集》，第72\u201379页，1998年“}，{“key”：“17_CR39”，“volume-title”：“评估默认推理的算法”，“author”：“I Niemel\u00e4”，“year”：“1995”，“unstructured”：“I.Niemel\f00e4 and P。西蒙斯。评估默认推理的算法。在IJCAI-95非单调推理系统的应用和实现研讨会论文集，1995年“}，{“key”：“17_CR40”，“volume-title”：“基础良好且稳定的模型语义的有效实现”，“author”：“I Niemel\u00e4”，“year”：“1996”，“unstructured”：“I.Niemel\ u00e4and P。西蒙斯。高效实现基础良好且稳定的模型语义。JICSLP-96会议记录。麻省理工学院出版社，1996年“}，{”key“：”17_CR41“，”doi-asserted-by“：”crossref“，”first page“：“193”，”doi“：”10.1016\/B978-0-934613-40-8.50009-9“，”volume-title“：”演绎数据库和逻辑编程基础“，”author“：”T Przymusi\u0144ski“，”year“：”1988“，”unstructured“：”T。Przymusi\u0144ski。关于演绎数据库和逻辑程序的声明性语义。《演绎数据库和逻辑编程基础》，第193\u2013216页，加利福尼亚州洛斯阿尔托斯，1988年。Morgan Kaufmann“}，{”key“：”17_CR42“，”doi-asserted-by“：”crossref“，”first page“：“445”，“doi”：“10.3233\/FI-1990-13404”，“volume”：“13”，“author”：“T Przymusi\u0144ski”，“year”：“1990”，“unstructured”：“T.Przimusi\u 0144ski.The Well-Found Semantics Cocides The Three-Valued Stable Semantices，Fundamentals Informaticae，13:445\u 20134641990”.“，”journal-title“：”Fundamental Informaticae“}，{“key”：“17_CR43”，“doi-asserted-by”：“publisher”，“first page”：”81“，”doi“：”10.1016\/0004-3702（80）90014-4“，”volume“：”13“，”author“：”R Reiter“，”year“：”1980“，”unstructured17_CR44“，”doi asserted by“：”publisher“，”首页“：”23“，”doi“：”10.1145\/32250.321253“，”卷“：”12“，”作者“：”JA Robinson“，”年份“：”1965“，”非结构化“：”J.A.Robinson“。基于分辨率原理的面向机器的逻辑。《美国医学杂志》，12:23\u2013411965年。“，”杂志标题“：《美国医学期刊》”}，{“关键字”：“17_CR45”，“首页”：“430”，“卷”：“1265”，“作者”：“P Rao”，“年份”：“1997”，“非结构化”：“P.Rao，I.V.Ramskrishnan，K.Sagonas，T.Swift，D.S.Warren，和J。弗雷尔。XSB：有效计算基础良好语义的系统。《LPNMR\u201997学报》，第430\u2013440页，《计算机科学讲稿》，1265，Springer-Verlag，1997年》，“期刊标题”：“LPNMR学报”}，{“key”：“17_CR46”，“doi-asserted-by”：“publisher”，“first-page”：“64”，“doi”：“10.1006\/jcss.1995.1053”，“卷”：“51”，“作者”：“J Schliff”，“年份”：“1995”，“非结构化”：“J。施利普夫。逻辑编程语义的表达能力。《计算机系统和科学杂志》，51:64\u2013861995年。“，”杂志标题“：”计算机系统与科学杂志“}，{“key”：“17_CR47”，“volume-title”：“作为可满足性的计划”，“author”：“B Selman”，“year”：“1992”，“unstructured”：“B.Selman和H.A。考茨。规划作为可满足性。《第十届欧洲人工智能会议论文集》，奥地利维也纳，1992年“}，{“key”：“17_CR48”，“volume-title”：“GSAT的领域相关扩展：解决大型结构化可满足性问题”，“author”：“B Selman”，“year”：“1993”，“unstructured”：“B.Selman和H。考茨。GSAT的领域无关扩展：解决大型结构化可满足性问题。在《IJCAI-93会议录》中，加利福尼亚州圣马特奥，Morgan Kaufmann，1993年“}，{“key”：“17_CR49”，“volume-title”：“Noise strategies for improvement local search”，“author”：“B Selman”，“year”：“1994”，“unstructured”：“B.Selman，H.A.Kautz，and B。科恩。改进局部搜索的噪音策略。《第十二届全国人工智能会议论文集》（AAAI-94），美国西雅图，AAAI出版社，1994年。“}，{“key”：“17_CR50”，“doi-asserted-by”：“crossref”，“doi”：“10.1007\/978-3642-86718-7”，“volume-title”：“一阶逻辑”，“author”：“RM Smullyan”，“year”：“1968”，“unstructured”：“R.M.Smullyan.一阶逻辑.Springer-Verlag，1968”}，{“key”：“17_CR51”，“volume-title”：“数据库和知识库系统的原理”，“author”：“JD Ullman”，“year”：“1988”，“unstructured”：“J.D.Ullman。数据库和知识基础系统的原理。马里兰州罗克维尔计算机科学出版社，1988年”}，{：“38”，“author”：“A Gelder Van”，“year”：“1991”，“unstructured”：“A.Van Gelder，K.A.Ross，J.S.Schlipf.通用逻辑程序的无基础集和有基础的语义.美国计算机学会杂志，38:620\u2013650，1991年”，“期刊标题”：“美国计算机学会期刊”}]，“container-title”：[“逻辑编程范式”，“人工智能”]，“original-title”：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3642-60085-2_17.pdf”，“content-type”：“未指定”，“内容版本”：“vor”，“intended-application”：“相似性检查”}，“存放”：{“date-parts”：[2021,12,3]]，“日期时间”：“2021-12-03T22:30:44Z”，“时间戳”：1638570644000}，”score“：1，”资源“：{”主要“用法：{“URL”：“http://\/link.springer.com/10.1007\/978-3642-60085-2_17”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{《date-parts》：[[1999]]}，”ISBN“：[”9783642642494“，”978364 2600852“]，”references-count“：52，”URL“：”http://\/dx.doi.org\/10007\/978-3642-6085-2-17“，”relation“：{}，“ISSN”：[“1431-0066”]，“ISSN-type”：[{“value”：“1431-00066”，“type”:“print”}]，“主题”：[]，“已发布”：{“日期部分”：[[1999]]}}