{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,6,15]]，“日期-时间”：“2024-06-15T07:16:34Z”，“时间戳”：1718435794656}，“引用-计数”：60，“发布者”：“爱思唯尔BV”，“问题”：“1”，“许可证”：[{“开始”：{-date-parts“：[[2006,7,1]]，”日期-时间“：”2006-07-01T00:00:00Z“，“时间戳”：1151712000000}，“内容版本”：“tdm”，“延迟天数”：0，“URL”：“https:\/\/weelsevier.com\/tdm\/userlicense\/1.0\/”｝，｛“开始”：｛“日期部分”：[[2013,8,22]]，“日期时间”：“2013-08-22T00:00:00Z”，“时间戳”：1377129600000｝，“内容版本”：“vor”，“延迟天数”：2609，“URL”：“https:\/\/weelsevier.com\/open-access\/userlicense\/1.0\/”｝]，“内容域“：｛”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“理论计算机科学”]，“published-print”：{“date-parts”：[[2006,7]]}，”DOI“：”10.1016\/j.tcs.2005.11.043“，”type“：”journal-article“，”created“：{”date-part“：[2006,14]]，”date-time“：”2006-01-14T12:17:18Z“，”timestamp“：1137241038000}，交叉参考“，“被count引用”：11，“title”：[“直觉推理的连接主义计算”]，“prefix”：“10.1016”，“volume”：“358”，“author”：[｛”给定的：“Artur S.”，“family”：“d\u2019Avila Garcez”，“sequence”：“first”，“affiliation”：[]｝，｛”给定的：“Lu\u00eds C.”，“family”：“Lamb”，“sequence”：“additional”，“affiliation”：[]｝，｛”给定的：“Dov M.”，“family”：“Gabbay”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“78”，“reference”：[{“issue”：“1\u20132”，“key”：“10.1016\/j.tcs.2005.11.043_bib1”，“doi-asserted-by”：“crossref”，“first page”：”3“，“doi”：“101016\/0304-3975（93）90181-R”，”article-title“：”线性逻辑的计算解释“，”volume“：”11“，”author“Abramsky”，“年份”：“1993年”，“新闻标题”：“Theoret.Compute.Sci.”}，{“key”：“10.1016\/j.tcs.2005.11.043_bb2”，“doi-asserted-by”：“crossref”，“unstructured”：“N.Alechina，M.Mendler，V.de Paiva，E.Ritter，构造S4模态逻辑的范畴和克里普克语义，收录于：L.Fribourg（Ed.），《计算机科学逻辑》CSL\u201901，《计算机科学讲义》，第2142卷，法国巴黎，2001年，第292\u2013307.页卷：“7”，“作者”：“Artemov”，“年份”：“2001”，“新闻标题”：“公牛”。符号逻辑“}，{“key”：“10.1016\/j.tcs.2005.11.043_bib4”，“unstructured”：“S.Artemov，基于证据的公共知识，技术报告TR2004018，纽约市立大学计算机科学博士项目，2005年。”2001年“}，{“key”：“10.1016\/j.tcs.2005.11.043_bib6”，“doi-asserted-by”：“crossref”，“unstructured”：“B.Bennett，《命题逻辑的空间推理》，收录于：j.Doyle，E.Sandewall，P.Torasso（编辑），《知识表示与推理原理：Proc.Fourth Internat.Conf.》（KR94），Morgan Kaufmann，Los Altos，CA，1994.”，“doi”：“10.1016\/B978-1-4832-1452-8.50102-0“}，{“key”：“10.1016\/j.tcs.2005.11.043_bib7”，“series-title”：“模式识别神经网络”，“author”：“Bishop”，“year”：“1995”}，}“key:”10.1016\\j.tcs.2005.11.043_bib 8“，”series-ttle“：”模态逻辑“，”author“：”Blackburn“，”年“2001”}、{“密钥”：“1016\/j.tcs.2005.11.043_bib9“，”doi-asserted-by“：”crossref“，”首页“：”297“，”DOI“：”10.1016\/S0004-3702（99）00015-6“，”article-title“：”扩展逻辑程序的首选答案集“，”volume“：”109“，”author“：”Brewka“，”year“：”1999“，”journal-title”：“Artificial Intelligence”}，{“issue”：“2”，“key”：“10.1016\/j.tcs.2005.11.043_bib10”，“DOI-asserted-by”：“crossref”，“首页”：“123”，“DOI”：“”10.1093\/jigpal\/10.2.123“，”article-title“：“正态条件逻辑的标记自然演绎”，“volume”：“10”，“author”：“Broda”，“year”：“2002”，“journal-title”：“Logic J.IGPL”}，{“key”：”10.1016\/J.tcs.2005.11.043_bib11“，”series-title“：”编译的标记演绎系统：非经典逻辑的统一表示“，”author“：”Broda“，”年份“：”2004“}，{“issue”：“10”，“key”：“10.1016\/j.tcs.2005.11.043_bib12”，“doi-asserted-by”：“crossref”，“first page”：”1331“，“doi”：“101016\/S0893-6080（01）00109-5”，“article-title”：“联结主义推理模型”，“volume”:“14”，“author”：“Browne”，“year”：“2001”，“journal-title“：”Neural Networks“}”，{”key“10.1016”：“\/j.tcs.2005.11.043_bib13“，”doi-asserted-by“：”crossref“，”unstructured“：”A.Chagrov，M.Zakharyaschev，Modal Logic，Oxford Logic Guides，第35卷，克拉伦登出版社，牛津，1997年。“，”DOI“：”10.1093\/oso\/9780198537793.0001“}，{“key”：“10.1016\/j.tcs.2005.11.043_bib14”，“DOI-asserted-by”：“Crosref”，“unstructure”：“I.Cloete，j.M.Zurada（编辑）”《基于知识的神经计算》，麻省理工学院出版社，马萨诸塞州坎布里奇，2000年。“，“DOI”：“10.7551\/mitpress\/4070.001.001”}，{“key”：“10.1016\/j.tcs.2005.11.043_bib15”，“DOI-asserted-by”：“crossref”，“unstructured”：“G.Cybenco，sigmoid函数叠加逼近，in：控制数学，信号与系统2，1989，pp.303\u2013314.”，“DOI:”10.1007\/BF02551274“}，{“key”：“10.1016\/j.tcs.2005.11.043_bib16”，“doi-asserted-by”：“crossref”，“unstructured”：“D.Van Dalen，直觉主义逻辑，收录于：D.M.Gabbay，F.Guenthner（编辑），《哲学逻辑手册》，第二版，第5卷，Kluwer Academic Publishers，Dordrecht，2002年。：“10.1016\/j.tcs.2005.11.043_bib17“，”doi-asserted-by“：”crossref“，”first page“：”555“，”doi“：”10.1145\/382780.382785“，“article-title”：“阶段计算的模态分析”，“volume”：“48”，“author”：“Davies”，“year”：“2001”，“journal-title“：”j.ACM“}，{“key”：交叉引用“，”首页“：”155“，”doi“：”10.1016\/S0004-3702（00）00077-1“，“article-title”：“从训练好的神经网络中提取符号知识：一种合理的方法”，“volume”：“125”，“author”：“d\u2019Avila Garcez”，“year”：“2001”，“journal-title“：”Artificial Intelligence“}，{”key“10.1016\/j.tcs.2005.11.043_bib19”，“doi-asserted-by”：“crossref”，“unstructured”：“a.S.d\u201 9Avila-Garcez，K。Broda，D.M.Gabbay，《神经符号学习系统：基础与应用，神经计算的观点》，柏林斯普林格，IEEE出版社，2002年，1992\u20131997页。“，“DOI”：“10.1007\/978-1-4471-0211-3”}，{“key”：“101016\/j.tcs.2005.11.043_bib20”，“非结构化”：“A.S.D\u2019Avila Garcez，L.C。兰姆（Lamb），《神经符号学习系统中时间和知识的推理》（Reasoning about time and knowledge in neural-symbolic learning systems），载于《神经信息处理系统的进展》（Advances in neural Information Processing systems）第16期，Proc。NIPS 2003，加拿大温哥华，麻省理工学院出版社，马萨诸塞州剑桥，2004年，第921\u2013928页。“}，{“key”：“10.1016\/j.tcs.2005.11.043_bib21”，“doi-asserted-by”：“crossref”，“unstructured”：“A.S.d\u2019Avila Garcez，L.C.Lamb，K.Broda，d.M。Gabbay，《神经-符号学习系统中的分布式知识表示：案例研究》，摘自：Proc。AAAI国际。美国佛罗里达州FLAIRS Conf.，2003，pp.271\u2013275.“，”DOI“：”10.1007\/978-1-4471-0211-3“}，{“问题”：“1”，“关键”：“10.1016\/j.tcs.2005.11.043_bib22”，“DOI-asserted-by”：“crossref”，“首页”：“115”，“DOI”：“101142\/S0213004001442”，”article-title“应用连接主义模态逻辑解决分布式知识表示问题”，“卷”：“13”，“作者“：”d\u2019Avila Garcez“，”年份“：”2004“，”新闻标题“：”国际。J.人工智能工具“}，{“key”：“10.1016\/J.tcs.2005.11.043_bib23”，“doi-asserted-by”：“crossref”，“unstructured”：“A.S.d\u2019Avila Garcez，L.C.Lamb，d.M.Gabbay，模态逻辑编程的连接主义归纳学习系统，in：Proc.Internat.Conf.Neural Information Processing ICONIP\u201902，Singapore，2002.”，“doi”：“10.1109\/ICONIP.2002.1199022“}，{“issue”：“1”，“key”：“10.1016\/j.tcs.2005.11.043_bib24”，“doi-asserted-by”：“crossref”，“first page”：”59“，“doi”：“101023\/A:1008328630915”，“article-tile”：《联结主义归纳学习与逻辑编程系统》，“volume”:“11”，“author”：“d_2019Avila Garcez”，“year”：“1999”，“journal-title”：“应用智能”}，{“key“：”10.1016\/j.tcs.2005.11.043_bib25“，”series-title“：”关于知识的推理“，”author“：”Fagin“，”year“：”1995“}，{“key”：“10.1016\/j.tc.2005.11.043_bip26”，”series-title“：“模态逻辑和直觉逻辑的证明方法”，“author”：“Fitting”，“year”：“1983”}，”{“key”：“1016\/j.tcs.20005.11.043_ bib27”，“unstructured”：“D。加巴伊，A.Kurucz，F。Wolter，M.Zakharyaschev，《多维模态逻辑：理论与应用，逻辑研究与数学基础》，第148卷，Elsevier，阿姆斯特丹，2003年。“}，{”key“：”10.1016\/j.tcs.2005.11.043_bib28“，”doi-asserted-by“：”crossref“，”unstructured“：”D.M.Gabbay，标签演绎系统，第1卷，克拉伦登出版社，牛津，1996年。“，”doi“：”10.1093\/oso\/9780198538332.003.001“}，{“key”：“10.1016\/j.tcs.2005.11.043_bib29”，“series-title”：“时序逻辑：数学基础和计算方面”，“author”：“Gabbay”，“year”：“1994”}，“key“：”10.1016\/j.tc.2005.11.043_bib30“，“doi-asserted-by”：“crossref”，“unstructured”：“D.M.Gabbay，C.Hogger，j.A.Robinson（编辑）”《人工智能和逻辑程序设计中的逻辑手册》，第1\u20135卷，克拉伦登出版社，牛津，1994\u20131999逻辑程序和析取数据库中的经典否定”，“卷”：“9”，“作者”：“Gelfond”，“年份”：“1991年”，“新闻标题”：“新一代计算机”。“}，{”issue“：”3“，”key“：”10.1016\/j.tcs.2005.11.043_bib32“，”doi-asserted-by“：”crossref“，”first page“：“307”，”doi“：”101080\/09540099308915703“，”article-title“：”recurrentive neural networks中产生式规则的提取、插入和细化“，”volume“:”5“，”author“：”Giles“，”year“：”1993“，”journal title“：“Connection Sci.”}，”{“key”：“”10.1016\/j.tcs.2005.11.043_bib33“，“series-title”：“关于不确定性的推理”，“author”：“Halpern”，“year”：“2003”}，{“key”：“10.1016\\j.tcs.2005.11.043_bib24”，“series-title”：《神经网络：综合基础》，“author”：“Haykin”，“year”：《1999》}，“key“：”10.1016//j.tcs/2005.11.043_ bib35“，“unstructured”：“S.Holldobler，Y。卡林克，面向逻辑编程的新型大规模并行计算模型，In:Proc。结合符号和连接处理研讨会，ECAI 941994年，第68\u201377页。“}，{”key“：”10.1016\/j.tcs.2005.11.043_bib36“，”series-title“：”计算机科学中的逻辑：关于系统的建模和推理“，”author“：”Huth“，”year“：”2000“}“，{问题”：“1”，“key”：“10.1016\\j.tcs.2005.11.043_bib 37”，“doi-asserted-by”：“crossref”，“first page”：29“，”DOI“：”10.1016\/S0304-3975（96）00169-7“，”article-title“：”Monad as modify“，”volume“：”175“，“author”：“Kobayashi”，“year”：“1997”，“journal-title”：“Theoret”。计算。科学。“}，{”key“：”10.1016\/j.tcs.2005.11.043_bib38“，”series-title“：”逻辑编程基础“，”author“：”Lloyd“，”year“：”1987“}、{”key“：“10.1016\/j.tcs.2005.11.43_bib39”、“series-ttle”：“学习逻辑：从结构化数据中学习可理解的理论”，“author”：“Lloud”，“year”：“2003”}，”{“key”：“10.116\/j-tcs.2005-11.043_b ib40“，”非结构化“：”M.Maidl，CTL和LTL的常见片段，载于：Proc。第41届IEEE交响乐。《计算机科学基础》，2000年，第643\u2013652页70189-2“}，{“key”：“10.1016\/j.tcs.2005.11.043_bib42”，“doi-asserted-by”：“crossref”，“first page”：”189“，”doi“：”10.1109\/34.982899“，”article-title“：”使用专家的层次产品识别手写数字“，”volume“：”24“，”author“：”Mayraz“，”year“：”2002“，”journal-title”：“IEEE Trans.Pattern Anal.Machine Intelligence”}，}“key”：“”10.1016\/j.tcs.2005.11.043_bib43“，“非结构化”：“j.McCarthy，常识性程序，in：Proc。Teddington Conf.思想过程的机械化，女王陛下办公厅，伦敦，1959年，pp.75\u201391volume“：”8“，”author“：”Mendler“，”year“：”2000“，”journal-title“：”Logic J.IGPL“}，{“key”：“10.1016\/J.tcs.2005.11.043_bib45”，“series-title”：“Machine Learning”，“author”：“Mitchell”，“year”：“1997”}，“{”key“：“10.116\/J-tcs.20051.1043_bib46”，“unstructured”：“F.Pfenning，H.-C.Wong，On a modal lambda calculation for S4，in:S.Brookes，M.Main、a.Melton、M。Mislove（编辑），理论计算机科学电子笔记，第1卷。Elsevier，Amsterdam，2000.“}，{“key”：“10.1016\/j.tcs.2005.11.043_bib47”，“doi-asserted-by”：“crossref”，“unstructured”：“G.D.Plotkin，C.P.Stirling，直觉主义模态逻辑框架，摘自：Proc.TARK\u201986，Morgan Kaufmann，Los Altos，CA，1986，第399\u2013406页。”，“doi”：“1016\/B978-0-934613-04-0.50032-6”}10.1016\/j.tcs.2005.11.043_bib48“，”doi-asserted-by“：”crossref“，”first page“：”203“，“doi”：“10.1016\/0304-3975（89）90129-1”，“article-title”：“分布式定冠词程序的语义”，“volume”：“68”，“author”：“Ramanujam”，“year”：“1989”，“journal-title“：”Theoret。计算。科学。“}，{”key“：”10.1016\/j.tcs.2005.11.043_bib49“，”doi-asserted-by“：”crossref“，”unstructured“：”D.E.Rumelhart，G.E.Hinton，R.j.Williams，《通过错误传播学习内部表示法》，收录于：D.E.Rumerhart，j.L.McClelland（编辑），《并行分布式处理》，第1卷，麻省理工学院出版社，马萨诸塞州剑桥，1986年，第318\u2013362页。“，”doi“：”10.21236\/ADA164453“}，{”key“：”10.1016\/j.tcs.2005.11.043_bib50“，”doi-asserted-by“：”crossref“，”first page“：“79”，”doi“：”101023\/A:1008380614985“，”article-title“：”SHRUTI的进展：一种神经激励的关系知识表示模型和使用时间同步的快速推理“，”volume“：‘11’，”author“：”Shastri“，”year“：”1999“，”journal-title“：”申请。Intelligence“}，{“key”：“10.1016\/j.tcs.2005.11.043_bib51”，“unstructured”：“A.Simpson，直觉主义模态逻辑的证明理论和语义，爱丁堡大学博士论文，1993.”}，“key“：”10.1016\/j.tc.2005.11.043_bib22“，”doi-asserted-by“：”crossref“，”first page“：“159”，“doi”：“1016\/0004-3702（90）90007-M”，“article-title”：“张量积变量绑定与联结网络中符号结构的表征”，“volume”：“46”，“author”：“Smolensky”，“year”：“1990”，“journal-title”：“Artificial Intelligence”}，{“issue”：“1”，“key”：”10.1016\/j.tcs.2005.11.043_bib53“，”doi-asserted-by“：”crossref“，”first page“：”119“，“doi”：“10.1016\/0004-3702（94）90105-8”，“article-title“：“基于知识的人工神经网络”，“volume”：“70”，“author”：“Towell”，“year”：“1994”，“journal-title”：“artificial Intelligence”}，{“key”：”10.1016\/j.tcs.2005.11.043_bib54“，”doi-asserted-by“：”crossref“，”first page“：”433“，”doi“：”10.1093\/mindent\/LIX.236.433“”，“article-title”“：”计算机机械与智能“，”volume“：“59”，“author“：”Turing“，”year“：”1950“，”journal-title“：”Mind“}，{”issue“：”11“，”key“：”10.1016\/j.tcs.2005.11.043_bib55“，”doi-asserted-by“：”crossref“，“doi”：“10.1145\/1968.1972”，“article-title”：“可学习理论”，“volume”：“27”，“author”：“Valiant”，“year”：“1984”，“journal-title”“：”Comm.ACM“}”，{“key”：“10.1016\/j.tcs.2005.11.043_bib56”，“doi-asserted-by”：“crossref“，”first page“：”231“，”DOI“：”10.1016\/S0004-3702（00）00002-3“，”article-title“：”Robust logics“，”volume“：“117”，”author“：”Valiant“，”year“：”2000“，”journal-title”：“Artificial Intelligence”}，{“issue”：“1”，“key”：“10.1016\/j.tcs.2005.11.043_bib57”，“DOI-asserted-by”：“crossrev”，“first pages”：“96”，“DOI”：“10.1145\/602382.602410”，“文章标题”：“计算机科学中的三个问题”，“卷”：“50”，“作者”：“Valiant”，“年份”：“2003”，“日志标题”：“J.ACM”}，{“问题”：“4”，“关键”：“10.1016\/J.tcs.2005.11.043_bib58”，“doi-asserted-by”：“crossref”，“首页”：“733”，“doi”：“101145\/321978.321991”，“文章时间”：“谓词逻辑作为编程语言的语义”，“体积”：“23”，“作者“：”van Emden，“年份”：“1976年”，“新闻标题”：“J.ACM”}，{“key”：“10.1016\/J.tcs.2005.11.043_bib59”，“series-title”：“统计学习理论的本质”，“author”：“Vapnik”，“year”：“1995”}、{“密钥”：“101016\/J.tcs.2005.11.043_bip60”，“doi-asserted-by”：“crossref”，”unstructured“M.Y.Vardi，为什么模态逻辑如此稳健地可判定，in：N.伊梅尔曼，P。Kolaitis（编辑），描述性复杂性和有限模型，离散数学和理论计算机科学，第31卷，DIMACS，1997年，第149\u2013184页https:\/\/api.elsevier.com/content\/article\/PII:S0304397505009047？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0304397505009047？httpAccept1=text\/plain“，”内容类型“：”文本\/plaine“，”content-version”：“vor”，“intended_application”：“text-mining”}]，“存放”：{“日期部分”：[[2024,2,2]，“date-time“：”2024-02-02T07:25:55Z“，”timestamp“：1706858755000}，”score“：1，”resource“：{主要”：{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S0304397505009047”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2006,7]]}，‘references-count’：60，‘journal-issue’：{‘issue’：“1”，“published-print”：{“date-parts”：[[2006,7]]}}，“alternative-id“：[”S0304397505009047“]，”URL“：”http://\/dx.doi.org\/101016\/j.tcs.2005.11.043“，”关系“：{}，”ISSN“：[“0304-3975”]，”ISSN-type“：[{”value“：”0304-397“，”type“:”print“}]，”主题“：[]，”published“：{”date-parts“：[2006,7]]}}}}