{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,6]]，“日期时间”：“2024-09-06T06:52:56Z”，“时间戳”：17256055761}，“出版商位置”：“柏林，海德堡”，“参考计数”：38，“出版者”：“施普林格-柏林-海德堡“，”isbn-type“：[{”类型“：“打印”，“值”：“979”83642642494“}，{”类型“：“electronic”，“value”：“9783642600852”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1999]]}，”DOI“：”10.1007\/978-3642-60085-2_10“，”type“：”book-capter“，”created“：{”date-ports“：[2011,9,8]]，”date-time“：”2011-09-08T11:03:26Z“，”时间戳“：1315479806000}，”页面“：”231-255“，“source”：“Crossref”，“is-referenced-by-count”：4，“title”：[“逻辑程序的连续计算模型：将连续数学引入逻辑编程\u2019s Algorithmic Foundations”]，“前缀”：“10.1007”，”author“：[{”given“：”Howard A.“，”family“：”Blair“，”sequence“：”first“，”affiliation“：[]}，{”given“；”Fred“，“family”：“Dushin”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“David W.”，“family”：“Jakel”，“sequence”：“addressive”，“abfiliation“：[]{”given“：”Angel J.“，”family“：”Rivera“，”sequence“：”additional _CR1“，”doi-asserted-by“：”crossref“，“首页”：“510”，“DOI”：“10.2307\/2274239”，“卷”：“50（2{“key”：“10_CR2”，“DOI-asserted-by”：“publisher”，“first-page”：“1646”，“DOI”：“10.1109\/5.58358”，“volume”：“78”，“author”：“JA Anderson”，“year”：“1990”，“unstructured”：“Anderson，J.A.，Gately，M.T.，P.A.Penz and Collins，D.R.\u201cRadar Signal Categorization Using A Neural Network\u201d，Proceedings of the IEEE，78:1646\u201316571990。”，“journal-title”：“Proceeds of the EEE”}，{“key”：“10_CR3”，“非结构化”：“Barnesly，M.Fractals Everywhere，学术出版社，1993年。”}，{“key”：“10_CR4”，“first page”：”155“，”volume“：”21（2\u20134）“，”author“：”HA Blair“，”year“1997”，“unstructured”：“Blair，H.A.，Chidella，J.，Dushin，F.，Ferry，A.和Humenn，P.\u201cA Continuum of Discrete Systems\u201d，Annals of Mathematics and Artificial Intelligence，21（2\u20134）：155\u2013185，1997.”，“journal title”：“Annals for Mathematical and Artifical Intelligation”}，{“key”：“10_CR5”，“doi-asserted-by”：“crossref”，“first page”：”：“115”，“doi”：“10.1007\/3-540-63255-7_9”，“卷标题”：“逻辑编程与非单调推理”，“作者”：“HA Blair”，“年份”：“1997”，“非结构化”：“Blair，H.A.、Dushin，F.和Humenn，P.\u201c《细胞自动机程序之间的模拟》，收录于J\u00fcrgen Dix、Ulrich Furbach和Anil Nerode编辑，《逻辑编程和非单调推理》，第四届国际会议论文集，德国达格斯图尔，计算机科学讲义第1265卷（LNAI子系列）第115\u2013131页。Springer\u2013Verlag，1997.“}，{”key“：”10_CR6“，”unstructured“：”Blair，H.A.和Marek，V.W.\u201cHenkin代数及其在默认逻辑中的应用\u201d，发表于NMR\u201998，Trento，Italy。“}”，{“volume-title”：“可微流形和Rie_2013 mannian几何导论”，“year”：“1986”，“author”：“WM Boothby”，“key”：“10_CR7”，“unstructured“：”Boothby，W.M.《可微流形和Rie\u2013 mannian Geometry导论》，学术出版社，1986年。“}，{“key”：“10_CR8”，“unstructure”：“Descartes，R.La Geometric，1637.”}，}“issue”：“l”，“key“：”10_CR9“，“doi-asserted-by”：“publisher”，“first page”：”37“，“doi”：“10.1016\/0743-1066（86）90003-8”“，”卷：“3”，“author”：“MH Emden van”，“年份“：”1986“，”非结构化“：”van Emden，M.H.\u201c定量演绎及其不动点理论\u201d，《逻辑编程杂志》，3（1）：37\u2013531986.“，”期刊标题“：”逻辑编程杂志“}，{“key”：“10_CR10”，“doi-asserted-by”：“publisher”，“first page”：”733“，”doi“：”10.1145\/321978.321991“，”卷“：”23“，”作者“：”MH Emden-van“，”年份“1976年“，”非结构化“：”van Emden，M.H.和Kowalski，R.A.\u201cThe Semantics of Logic as A Programming Language，JACM，23:733\u20137421976.“，”journal-title“：”JACM“}，{“issue”：“1”，“key”：“10_CR11”，”doi-asserted-by“：”publisher“，”first page“：”91“，”doi“：”10.1016\/0743-1066（91）90014-G“，“volume”：”11“author”：“M Fitting”“，”年份“：”1991“，”非结构化“：”Fitting，M.\u201cBilattices and the Semantics of Logic Programming\u201d，Journal of Logic Programming，11（1,2）：91\u2013116，1991.“，”Journal-title“：”Journal ofLogic Program“}，{“key”：“10_CR12”，“doi-asserted-by”：“crossref”，“first page“：”113“，”doi“：”10.1016\/S0743-1066（14）80007-1“，”卷：“21”，“author”：“M Fitting”，“year”：“1994”，“非结构化“：”拟合，M.\u201cMetric方法，三个示例和一个定理\u201d，《逻辑编程杂志》，21:113\u20131271994。“，”日志标题“：”逻辑编程杂志“}，{“key”：“10_CR13”，“doi-asserted-by”：“crossref”，“非结构化”：“Guckenheimer，J.和Holmes，P.非线性振荡，动力系统和向量场分岔，Springer-Verlag应用数学教材，第42卷，1983年。“，“DOI”：“10.1007\/978-1-4612-1140-2”}，{“key”：“10_CR14”，“首页”：“1070”，“volume-title”：“逻辑编程，第五届国际会议和研讨会论文集”作者”：“M Gelfond”，“年份”：“1988”，“非结构化”：“Gelfond，M.和Lifschitz，V.\u201c逻辑编程的稳定模型语义\u201d，载于Robert A.Kowalski，Kenneth A.Bowen，编辑，逻辑编程，第五届国际会议和研讨会论文集，西雅图，华盛顿，pp.1070\u201310801988”}，｛“key”：“10_CR15”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-94-011-5300-3“，”volume-title“：”模糊逻辑的元数学：逻辑趋势“，”author“：”P Hajek“，”year“：”1998“，”unstructured“：”Hajek，Petr。《模糊逻辑的元数学：逻辑趋势》，第4卷，Kluwer，1998年。“}，{“卷-时间”：“应用数学中的Springer-Verlag文本”，“年份”：“1995年”，“作者”：“JH Hubbard”，“关键”：“10_CR16”，“非结构化”：“Hubbard，J.H.和West，B.H.《微分方程：动态系统方法》，第一卷和第二卷，《应用数学中的Springer-Verlag文本》，第5卷和第18卷，1995年。“}，{“key”：“10_CR17”，“doi-asserted-by”：“crossref”，“unstructured”：“Kruse，R.，Gebhardt，J.和Klawonn，F.Fuzzy Systems的基础，Wiley，1994年。”，“doi”：“10.1007\/978-3222-86784-1“}，{“问题”：“3,4”，“关键”：“10_CR18”，“doi-asserted-by”：“出版商”，“首页”：“335”，“doi”：“10.1016\/0743-1066（92）90007-P”，“卷”：“12”，“作者”：“M Kifer”，“年份”：“1992”，“非结构化”：“Kifer，M.和Subrahmanian，V.S.\u201c广义注释逻辑编程理论及其应用，《逻辑编程杂志》，12（3,4）：335\u20133671992年，“期刊标题”：“逻辑编程杂志”}，{“key”：“10_CR19”，“doi-asserted-by”：“publisher”，“first page”：EH Mamdani”，“年份”：“1977年”，“非结构化”：“Mamdany，E.H.\u201c模糊逻辑在使用语言系统进行近似推理中的应用\u201d，IEEE计算机学报，26:1182\u20131191191191191977。”，“期刊标题”：“IEEE计算机杂志”}，{“卷时间”：“人工神经网络的要素”，“年”：“1997”，“作者”：“K Mehrotra”，“key“：”10_CR20“，”unstructured“：”Mehrotra，K.，Mohan，C.K.和Ranka，S.《人工神经网络的要素》，麻省理工学院出版社，1997年Marek，V.W.和Truszczy\u0144ski，M.\u201cStable Logic Programming and an Alternative Logic Program Paradigm\u201d，本卷，第375\u2013398页。“DOI”：“10.1007\/978-3642-60085-2_17”}，“key”：“10_CR23”，“unstructured”：“Mundici，D.Private communication”}、“key“：”10_CR24“unstrustured”，“Parikh，R.Private communication”。}doi-asserted-by“：”crossref“，”unstructured“：”Paige，R.\u201cViewing a Program Transformation System at Work\u201d，Programming Language Implementation and Logic Programmings，Proceedings of the 6th International Symposium，PLILP\u201994，volume 844 of Teach Notes in Computer Science，pp.5\u201324，Springer-Verlag，1994。“，doi”：“10.1007\/3-540-58402-1_3“}，{“key”：“10_CR26”，“doi-asserted-by”：“publisher”，“first page”：：“81”，“doi”：“10.1016\/0004-3702（80）90014-4”，“volume”：”13“，“author”：“R Reiter”，“year”：“1980”，“unstructured”：“Reiter，R.\u201cA Logic for Default Reasoning\u201d，Artificial Intelligence，13:81\u20131321980。”，“journal-title”：“Artificulative Intelligation”}，{“密钥”：“10_CR27“，“非结构化”：“Shoenfield，J.R.Mathematical Logic，Addison-Wesley，1967。”}，{“键”：“10_CR28”，“首页”：“16”，“卷”：“3”，“作者”：“RD Tennent”，“年份”：“1994”，“非结构”：“Tennent，R.D.\u201cGenerational Semantics \u201d，收录于《计算机科学逻辑手册》，第3卷，第168\u2013324页，牛津大学出版社，1994年。”，“journal-title“：“计算机科学中的逻辑手册”}，{“key”：“10_CR29”，“first page”：”63“，“volume”：：“3”，“author”：“H Takagi”，“year”：“1991”，“unstructured”：“Takaji，H.，Konda，T.和Kojima，Y.\u201cNeural Networks Based on Approximate Reasoning Architecture\u201d，Japanese journal of Fuzzy Theory and Systems，3:63\u2013741991。”，“journal-title”：“日本模糊理论与系统杂志“}，{”key“：”10_CR30“，”doi-asserted-by“：”crossref“，”doi“：”10.7551\/mitpress\/1763.001.0001“，”volume-title“：”元胞自动机：建模的新环境“，”author“：”T Toffoli“，“year”：“1987”，“unstructured”：“Toffoli，T.和Margolis，N.《元胞自动机：建模的新环境》，麻省理工学院出版社，1987年Takagi，H.和Sugeno，M.\u201cFuzzy Identification of Systems and its Application to Modeling and Control \u201d，IEEE Transactions on Systems，Man，and Cybernetics，15:116\u20131321985。”，“期刊标题”：“IEEE Transactions on Systems，Man，and Cybernetics”，｛“issue”：“1”，“key”：“10_CR32”，“doi asserted by”：“publisher”，“first page”：“78”，“doi”：“10.1109\/TC.1985.1676517“，”卷“：”c-34“，”作者“：”TH Tucker“，”年份“：”1985“，”非结构化“：”Tucker，T.H.，Tapia，M.A.和Bennett，A.W.，\u201cBoolean Integral Calculus for Digital Systems\u201dIEEE Transactions on Computers，c-34（1）：78\u2013811985。“，”期刊标题“IEEE Translations on Computer”}，{“key”：“10_CR33”，“非结构化”：“Van Hentenryck，P.\u201cNumerica:全局优化建模语言\u201d，IJCAI97.“}，{“key”：“10_CR34”，“unstructured”：“Van Hentenryck，P.，Deville，Y.和Janssen，M.，u201c常微分方程中的一致性技术，第四届约束编程原理与实践国际会议论文集，Springer-Verlag，1998年。“}，{“key”：“10_CR35”，“doi-asserted-by”：“crossref”，“unstructured”：“Van Hentenryck，P.，Laurent，M.和Deville，Y.Numerica:A Modeling Language for Global Optimization，麻省理工学院出版社，1997年。“，“DOI”：“10.7551\/mitpress\/5073.001.0001”}，{“volume-title”：“元胞自动机的理论与应用，世界科学”，“年份”：“1986年”，“作者”：“S Wolfram”，“关键字”：“10_CR36”，“非结构化”：“沃尔夫拉姆，S。元胞自动机的理论与应用，世界科学，1986年10.1162\/neco.1989.1.2.270“，”volume“：”1“，”author“：”RJ Williams“，”year“：”1989“，”unstructured“：”Williams，R.J.and Zipser，D.\u201cA Learning Algorithm for Continually Running Fully Recurrent Neural Networks\u201d，Neural Computation，1:270\u20132801989。“，”journal title“：”Neural Calculation“}]，”container-title“：[”Artificial Intelligence“，”逻辑编程范式“]，”original-title“：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3642-60085-2_10.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2020,11,24]]，”date-time“：“2020-11-24T21:34:56Z”，“timestamp”：160 6253696000}，“score“：1，”resource“：{主要”：{“URL”：“http://\/link.springer.com/10.1007\/978-3642-60085-2_10”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{date-parts”：[[1999]]}，“ISBN”：[“9783642642494”，“978364 2600852”]，”references-count“：38，”URL“：”http://\/dx.doi.org\/10007\/978 3-642-60085-2_10“，”关系“：{}，”ISSN“：[”1431-0066“]，”ISSN-type“：[{”类型“：”print“，”value“：”1431-0066“}]，”subject“：[]，”published“：{”date-parts“：[[1999]]}}