{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,3,2]，“日期时间”：“2024-03-02T11:40:11Z”，“时间戳”：1709379611133}，“引用-计数”：82，“发布者”：“Elsevier BV”，“问题”：“3”，“许可证”：[{“开始”：}“日期部分“：[2009,9,1]]，“日期-时间”：”2009-09-01T00:00:00Z“，”时间戳“：1251763200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,9,2]，“date-time”：“2013-09-02T00:00:00Z”，“timestamp”：137808000000}，“content-version”：“vor”，“delay-in-days”：1462，“URL“https:\\/www.elssevier.com”\/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Journal of Applied Logic”]，“published-print”：{“date-parts”：[[2009,9]]}，”DOI“：”10.1016\/j.jal.2008.10.001“，”type“：”Journal-article“，”created“：{”date-part“：[[2008,11,11]]，”date-time“：”2008-111T06:32:47Z“，”timestamp“：1226385167000}”，“page”：“253-274”，“source”“：”Crossref“，“is-referenced-by-count”：18，“title”：[“关于信令网络的假设”]，“prefix”：“10.1016”，“volume”：“7”，“author”：[{“给定”：“Nam”，“family”：“Tran”，“sequence”：“first”，“affiliation”：[]}，{“已知”：“Chitta”，“家族”：“Baral”，“序列”：“additional”，”affiliance“[]}]，“member”：“78”，“reference”：[}“key”：”10.1016\/j.jal.2008.10.001_bib001“，“series-title”：“关于计划的推理”，“author”：“Allen”，“year”：“1991”}，{“key”：“10.1016\/j.jal.2008.1001_bib002”，“doi-asserted-by”：“crossref”，《非结构化》：“R.Alur，C.Belta，F.Ivanicic，V.Kumar，M.Mintz，G.j.Pappas，H.Rubin，j。Schug，生物分子网络的混合建模与仿真，in：Hybrid Systems:Computation and Control，in：LNCS，vol.2034，2001，pp.19\u201332“，“DOI”：“10.1007\/3-540-45351-2_6”}，{“key”：“101016\/j.jal.2008.10.01_bib003”，“unstructured”：“M.Balduccini，高度自治、理性代理的基于答案集的设计，博士论文，德克萨斯理工大学。大学，2005年“}，{“key”：“10.1016\/j.jal.2008.10001_bib004”，“unstructured”：“M.Balduccini，M.Gelfond，具有一致性恢复规则的逻辑程序，in：常识推理逻辑形式化国际研讨会，2003年”}，“key“：”10.1016\/j.jal.2008.1001_bib005“，”series-title“：”知识表示、推理和陈述式问题解决”，“作者”：“Baral”，“年份”：“2003”}，{“问题”：“补遗1”，“关键”：“10.1016\/j.jal.2008.10.01_bib006”，“doi-asserted-by”：“crossref”，”first page“：”i15“，”doi“：”10.1093\/生物信息学\/bth918“，”article-title“：”一种基于知识的信号网络表示和推理方法”，“卷”：“20”，“作者”：“Baral”，“年份”：“2004”，“期刊标题”：“生物信息学”}，{“密钥”：“10.1016\/j.jal.2008.10.001_bib007”，“非结构化”：“G.Batt，H.de Jong，j.Geiselmann，M。Page，《遗传调控网络分析：一种模型检验方法》，载于：国际定性推理研讨会，2003年“}，{“issue”：“10”，“key”：“10.1016\/j.jal.2008.10001_bib008”，“doi-asserted-by”：“crossref”，”first Page“：“793”，”doi“：“10.1038\/nrc1455”，“article-title”：“p53在肿瘤发生中的翻译后修饰”，”volume“：”4“，”author“：”Bode“，”year“：”2004“，”journal-title“：”Nature Reviews Cancer“}，”{“key”：“10.1016\/j.jal.2008.1001_bib009”，”doi-asserted-by“：”crossref“，”first page“：”143“，“doi”：“101016\/0004-3702（94）00097-2”，“article-title”：“诱拐似是而非的原因：一个基于偶数的信念更新模型”，“volume”：”83“，“author”：“Boutiler”，“year“：”1996“，”journal-title“：”人工智能“}，{“key”：“10.1016\/j.jal.2008.10001_bib010”，“doi-asserted-by”：“crossref”，”首页“：”43“，”doi“：”10.1016\/0004-3702（94）00025-V“，”文章标题“：”绑架作为信念修正“，”卷“：”77“，”作者“：”Boutiler“，”年份“：”1995“，”日记标题“：“人工智能”}10.1016\/j.jal.2008.10.01_bib011“，“doi-asserted-by”：“crossref”，“unstructured”：“M.Chiaverini，V.Danos，工作分子生物学家的核心建模语言，in:Computational Methods in Systems Biology，2003”，“doi”：“10.1007\/3-540-36481-1_16”}，{“key”：“101016\/j.jal.2008.1001_bib012”，“doi-asserted-by”：《交叉参考》，“非结构化”：“D。Cook，J.Farley，S.Tapscott，描述、归档和分析复杂生物系统功能模型的可视化语言的基础，《基因组生物学2（4）》，“DOI”：“10.1186\/gb-2001-2-4-research0012”｝，｛“key”：“10.1016\/J.jal.2008.10.001_bib013”，“DOI asserted by”：“crossref”，“nonstructured”：“V.Danos，C。Laneve，核心分子生物学图，收录于：《系统生物学中的计算方法》，2003年，“DOI”：“10.1007\/3-540-36481-1_4”}，{“key”：“101016\/j.jal.2008.1001_bib014”，“unstructured”：“L.Darden，计算科学发现的最新工作，收录在：认知科学学会第十九届年会论文集，1997年”}、{“key“：”10.1016\/j.jal.2008.10.01_bib015“，”unstructured“：”L.Darden，异常驱动理论重新设计：科学实验的计算哲学，收录于：Digital Phoenix：计算机如何改变哲学，1998年，第62\u201378页“}，{“key”：“10.1016//j.jal.2008.10.01_ibb016”，“doi-asserted-by”：“crossref”，“首页”：“1669”，“doi”：“”10.1126\/science.1069883“，”article-title“：”A genomic regulatory network for development“，”volume“：”295“，”author“：”Davidson“，”year“：”2002“，”journal-title”：“science”}，{“issue”：“5560”，“key”：“10.1016\/j.jal.2008.1001_bib017”，“doi-asserted-by”：“crossref”，“first page”：”1669“，”doi“：”10.1126\/science.1069882“，”article-title“：”A genomic regulatory network for development”，“volume”：“295”，“author”：“Davidson”，“year”：“2002”，“journal-title”：“Science”}，{“issue”：“1”，“key”：”10.1016\/j.jal.2008.1001_bib018“，”doi-asserted-by“：”crossref“，”first page“：”67“，”doi“10.1089\/106652833208”，“article-title“：”遗传调控系统的建模和模拟：文献综述”，“卷”：“9”，“作者”：“de Jong”，“年份”：“2002年”，“期刊标题”：“计算生物学杂志”}，{“关键词”：“10.1016\/j.jal.2008.1001_bib019”，”doi-asserted-by“：”crossref“，”first page“：”336“，”doi“：”10.1093\/生物信息学\/btf851“，”article-title“：”遗传网络分析仪：遗传调控网络的定性模拟”，“卷”：“19”，“作者”：“德容”，“年份”：“2003”，“期刊标题”：“生物信息学”}，{“问题”：“3”，“关键”：“10.1016\/j.jal.2008.1001_bib020”，“doi-asserted-by”：“crossref”，《首页》：“349”，“doi”：“101093\/生物信息学\/btg416”，“article-title”：“协作构建和分析细胞通路的本体论”，“卷”：“20”，“作者”：“Demir”，“年份”：“2004”，“期刊标题”：“生物信息学”}，{“关键”：“10.1016\/j.jal.2008.1001_bib021”，“doi-asserted-by”：“crossref”，“非结构化”：“M.Denecker，A.C。卡卡斯，逻辑编程中的诱拐，收录于：计算逻辑：逻辑编程及其以外，2002年，“DOI”：“10.1007\/3-540-45628-7_16”}，{“key”：“101016\/j.jal.2008.1001_bib022”，“DOI-asserted-by”：“crossref”，“unstructured”：“P.Doherty，S.Kertes，M.Magnusson，A。Szalas，走向生化途径的逻辑分析，摘自：《欧洲人工智能逻辑会议论文集》（JELIA），2004年，“DOI”：“10.1007\/978-3-540-30227-8_55”}，{“问题”：“1\u20132”，“关键”：“101016\/j.jal.2008.10.01_bib023”，“DOI-asserted-by”：“crossref”，“首页”：“129”，《DOI》：“10.1016\/S0304-3975（96）00179-X”article-title“：“逻辑程序的诱拐：语义和复杂性”，“卷”：“189”，“作者”：“艾特”，“年份”：“1997”，“新闻标题”：“理论计算机科学”}，{“关键”：“10.1016\/j.jal.2008.10.01_bib024”，“非结构化”：“S.Eker，M.Knapp，K.Laderoute，P.Lincoln，JosMeseguer，K。Sonmez，《路径逻辑：生物信号的符号分析》，载于：《太平洋生物计算研讨会论文集》，2002年“}，{“key”：“10.1016\/j.jal.2008.10.01_bib025”，“非结构化”：“K.Eshghi，事件演算的诱拐规划，载于《1998年国际逻辑编程会议论文集》”}，}“key:”10.1016\/j.jal.2008.10.01_bib026“，”unstructured“：”K.Eshghi，R.Kowalski，Abduction computed with negation as failure，in：Proceedings of the International Conference on Logic Programming，1989“}，{“issue”：“2”，“key”：“10.1016//j.jal.2008.10.01_ibb027”，“doi-asserted-by”：“crossref”，“first page”：”“64”，“doi”：“10.4024\/204040402.jbpc.04.02”article-title“：”在生物化学抽象机BIOCHAM中建模和查询交互网络“，”volume“：”4“，”author“：”Fages“，”year“：”2004“，”journal-title”：“journal of Biological Physics and Chemistry”}，{“issue”：“9”，“key”：“10.1016\/j.jal.2008.10.01_bib028”，“doi-asserted-by”：“crossref”，“first page”：”829“，“doi”：“10.1093\/生物信息学\/17.9.829“，“文章标题”：“信号转导途径的知识表示”，“卷”：“17”，“作者”：“福田”，“年份”：“2001”，“期刊标题”：《生物信息学》}，{“关键”：“10.1016\/j.jal.2008.10.01_bib029”，“非结构化”：“K.Fukuda，Y.Yamagata，T。Takagi，Frex：具有层次和递归结构的生物过程查询界面，《硅生物学》40007“}，{“issue”：“5”，“key”：“10.1016\/j.jal.2008.10.01_bib030”，“doi-asserted-by”：“crossref”，“first page”：”159“，“doi”：“101016\/S1478-5382（03）02370-9”，”article-title“：”Celldesigner:基因调控和生物化学网络的过程图编辑器”，“卷”：“1”，“作者”：“Funahashi”，“年份”：“2003”，“期刊标题”：“Biosilico”}，{“密钥”：“10.1016\/j.jal.2008.10.001_bib031”，“非结构化”：“M.Gelfond，V。Lifschitz，逻辑编程的稳定模型语义，收录于：《国际逻辑编程会议论文集》，1988年“}，{“issue”：“2\/3&4”，“key”：“10.1016\/j.jal.2008.10.01_bib032”，“doi-asserted-by”：“crossref”，“first page”：”301“，“doi”：“101016\/0743-1066（93）90035-F”，”article-title“：”用逻辑程序表示动作和变化”，“卷”：“17”，“作者”：“Gelfond”，“年份”：“1993”，“期刊标题”：“逻辑编程杂志”}，{“问题”：“1”，“关键”：“10.1016\/j.jal.2008.1001_bib033”，“doi-asserted-by”：“crossref”，”首页“：”18“，”doi“：”10.1186\/1476-4598-3-18“，”文章标题“：”PTTG \/securin激活p53的表达并调节其功能“，”volume“：”3“，”author“：”Hamid“，”year“：”2004“，”journal-title“：”Molecular Cancer“}，{“key”：“10.1016\/j.jal.2008.1001_bib034”，”doi-asserted-by“：”crossref“，”first-page“：”81“，”doi“：”10.1093\/生物信息学\/14.1.81“，”article-title：“λ噬菌体感染定性模拟模型的设计与实现”，“卷”：“14”，“作者”：“Heidtke”，“年份”：“1998”，“期刊标题”：“生物信息学”}，{“关键”：“10.1016\/j.jal.2008.1001_bib035”，“doi-asserted-by”：“crossref”，“首页”：“1241”，“doi”：“101126\/science.1071914”，“article-title”：“ikappab-nfkappab信号模块：时间控制和选择性基因激活”，“数量”：“298”，“作者”：“霍夫曼”，“年份”：“2002”，“期刊标题”：“科学”}，{“关键”：“10.1016\/j.jal.2008.1001_bib036”，“doi-asserted-by”：“crossref”，“非结构化”：“A.Kakas，R.Kowalski，F。Toni，《诱拐在逻辑编程中的作用》，摘自：《人工智能和逻辑编程逻辑手册》，1998年，第235\u2013324页，“DOI”：“10.1093\/oso\/9780198537922.003.0007”}，{“关键”：“101016\/j.jal.2008.1001_bib037”，“非结构化”：“C.Kakas，Antonis，B.Van Nuffelen，M。Denecker，A-system:通过诱拐解决问题，收录于：《国际人工智能联合会议论文集》，第1卷，2001年“}，{“key”：“10.1016\/j.jal.2008.10.01_bib038”，“非结构化”：“N.Kam，I.Cohen，D.Harel，作为反应系统的免疫系统：用状态图建模T细胞激活”}，“issue”：“3”，“key“：”10.1016\/j.jal.2008.10001_bib039“，”首页“：”301“，”article-title“：”理论表示和假设形成的人工智能方法“，”volume“：“7”，”author“：”Karp“，“year”：“1991”，“journal-title”：“Computer Applications in the Biosciences”}，{“key”：“10.1016\/j.jal.2008.1001_bib040”，“doi-asserted-by”：“crossref”，“首页”：“89“，”DOI“：”10.1007\/BF00993062“，”article-title“：”科学假设形成的设计方法及其在分子生物学中的应用“，”volume“：”12“，”author“：”Karp“，”year“：”1993“，”journal-title”：“Machine Learning”}，{“key”：“10.1016\/j.jal.2008.10001_bib041”，“first page”：”289“，”article-title“：”定性生物化学及其在色氨酸操纵子调控中的应用”，“作者”：“Karp”，“年份”：“1993年”，“期刊标题”：“人工智能与分子生物学”}，{“关键”：“10.1016\/j.jal.2008.1001_bib042”，“非结构化”：“P.D.Karp，C.Ouzounis，S。Paley，HinCyc:流感嗜血杆菌完整基因组和代谢途径的知识库，摘自：《国际分子生物学智能系统会议论文集》，1996年“}，{“问题”：“补充1”，“关键”：“10.1016\/j.jal.2008.10.01_bib043”，“doi-asserted-by”：“crossref”，“首页”：“S225”，“doi”：“10.1093\/生物信息学\/18.suppl_1.S225“，“article-title”：“The pathway tools software”，“volume”：“18”，“author”：“Karp”，“year”：“2002”，“journal-title“：”生物信息学“}，{“issue”：“1”，“key”：”10.1016\/j.jal.2008.1001_bib044“，”doi-asserted-by“：”crossref“，”第一页：“56”，“doi”：“10.1093\/nar\/30.1.56”，“articele”-title“：”经济数据库“，”卷“：”30“，”author“：”Karp“，”year“：”2002“，”journal-title“：”核酸研究“}，{“issue”：“1”，“key”：“10.1016\/j.jal.2008.1001_bib045”，“doi-asserted-by”：“crossref”，“first-pages”：“56”，“doi”：“101093\/nar\/28.1.56”，“article-title”：“The ecocyc and metacyc databases”，“volume”:“28”，“author”：“Karp”，”year:“”2000年”，“新闻标题”：“核酸研究”}，{“期刊”：“6971“，”key“：”10.1016\/j.jal.2008.10001_bib046“，”doi-asserted-by“：”crossref“，”first page“：“247”，“doi”：“10.1038\/nature02236”，“article-title”：“机器人科学家的功能基因组假设生成和实验”，“volume”：“427”，”author“：”King“，“year”：“2004”，“journal-title“：”Nature“}，{“issue”：“5”，“key”：”10.1016\/j.jal.2008.10.01_bib047“，”doi-asserted-by“：”crossref“，”first page“：”169“，“doi”：“10.1016\/S1478-5382（03）02380-1”，“article-title”：“生物网络的图形符号”，“volume”：“1”，“author”：“Kitano”，“year”：“2003”，“journal-title“：”Biosilico“}，{“key”：”10.1016\\j.jal.2008.10_1bib048“，”doi-as serted-by“：”crossref“，”首页“：”2703“，“DOI”：“10.1091\/mbc.10.82703”，“article-title”：“哺乳动物细胞周期控制和DNA修复系统的分子相互作用图”，“volume”：“10”，“author”：“Kohn”，“year”：“1999”，“journal-title“：”Molecular Biology of the cell“}，{“key”：”10.1016\/j.jal.2008.101_bib049“，”DOI-asserted-by“：”crossref“，”first page“：”D438“，”DOI“：”10.1093\/nar\/gkh100”，“文章标题”：“Metacyc:代谢途径和酶的多生物数据库”，“卷”：“32”，“作者”：“Krieger”，“年份”：“2004”，“期刊标题”：“核酸研究”}，{“密钥”：“10.1016\/j.jal.2008.10.001_bib050”，“非结构化”：“L.Calzone，N.Chabrier Rivier，F.Fages，S。Soliman，《生物化学反应规则发现的机器学习方法》，收录于：《工程系统生物学基础会议论文集》，2005年“}，{“key”：“10.1016\/j.jal.2008.10.01_bib051”，“非结构化”：“V.Lifschitz，H.Turner，Splitting A logic program，收录自：P.V.Hentenryck（Ed.），《第十一届逻辑程序设计国际会议论文集》，1994年“}，{“issue”：“1\u20132”，“key”：“10.1016\/j.jal.2008.1001_bib052”，《doi-asserted-by》：“crossref”，“first page”：《175》，“doi”：“101016\/S0004-3702（02）00227-8”，《article-title》：“逻辑程序设计中的诱拐：基于重写的新定义和诱拐过程”卷“：”140“，”作者“：”林“，”年份“：”2002“，”期刊标题“：”人工智能“}，{“key”：“10.1016\/j.jal.2008.1001_bib053”，“unstructured”：“R.Maimon，S.Browning，基因网络的图解符号和计算结构，收录于：第二届国际系统生物学会议论文集，2000年”}，}“key:”10.1016\/j.jal.2008.10.01_bib054“，”doi-asserted-by“：”crossref“，”unstructured“：”H.Matsuno，A.doi，M.Nagasaki，S.Miyano，基因调控网络的混合petri网表示，in：2000年太平洋生物计算研讨会“，”doi“：”10.1142\/97898144331_0032“}，{“issue”：“1”，“key”：“10.1016\/j.jail.2008.1001_bib05”，“doi-assert-by”：“”crossref”，“第一页”：“1”，“DOI”：“10.1093\/nar\/12.1Part1.1”，“文章标题”：“基于知识的噬菌体λ遗传调控模拟”，“卷”：“12”，“作者”：“Meyers”，“年份”：“1984”，“期刊标题”：“核酸研究”}，｛“问题”：“1”，“关键”：“10.1016\/j.jal.2008.10.001_bib056”，“DOI断言者”：“crossref”，“第一页”：“53”，“DOI”：“10.1016\/S0959-437X（01）00264-7“，“文章标题”：“癌症中的p53和Mdm2家族”，“卷”：“12”，“作者”：“迈克尔”，“年份”：“2002年”，“期刊标题”：《遗传学与发展的当前观点》}，{“问题”：“5”，“关键”：“10.1016\/j.jal.2008.10001_bib057”，“doi-asserted-by”：“交叉引用”，“首页”：“579”，“doi”：“101093\/log com/5.5.579“，”文章标题“：”CHICA：基于事件演算的规划系统，“卷”：“5”，“作者”：“Missiaen”，“年份”：“1995”，“期刊标题”：“逻辑与计算杂志”}，{“关键”：“10.1016\/j.jal.2008.1001_bib058”，“非结构化”：“K.Oda，T.Kimura，Y.Matsuoka，A.Funahashi，M.Muramatsu，H.Kitano，巨噬细胞分子相互作用图，AfCS研究报告”}、{issue“：”1“，”key“：”10.1016\/j.jal.2008.10.01_bib059“，”doi-asserted-by“：”crossref“，”first page“：“29”，“doi”：“10.1093\/nar\/27.1.29”，“article-title”：“Kegg:京都基因和基因组百科全书”，“volume”：“27”，“author”：“Ogata”，“year”：“1999”，“journal-title“：”核酸研究“}，{”key：“10.1016\/j.jal.2008.10.01_bib060“，”doi-asserted-by“：”crossref“，”unstructured“：”I.Papatheodorou，A.C.Kakas，M.J.Sergot，《通过诱拐从微阵列数据推断基因关系》，in：《人工智能讲义》，第3662卷，2005年，第389\u2013393页“，”DOI“：”10.1007\/11546207_33“}，{“key”：“10.1016\/J.jal.2008.10.01_bib061”，“unstructure”：“C。皮尔斯，查尔斯·桑德斯·皮尔斯论文集，卷。1\u20138，哈佛大学出版社，马萨诸塞州剑桥，1931\u2013 1958“}，{“key”：“10.1016\/j.jal.2008.10001_bib062”，“series-title”：“推理和事物逻辑”，“author”：“Peirce”，“year”：“1992”}，}“issue”：“6”，“key“：”10.1016\/j.jal.2008.1001_bib06“，”doi-asserted-by“：”crossref“，”首页“825”，“doi”：“10.1093\/生物信息学\/18.6.825”，“article-title“：”使用工作流和Petri网模型对生物过程建模“，”volume“：”18“，”author“：”Peleg“，”year“：”2002“，”journal-title”：“生物信息学”}，{“issue”：“1”，“key”：“10.1016\/j.jal.2008.10.01_bib064”，“doi-asserted-by”：“crossref”，“first page”：”27“，”doi“：”10.1016\/0004-3702（88）90077-X“，”article-title“默认推理的逻辑框架”，“卷”：“36”，“作者”：“普尔”，“年份”：“1988”，“日志标题”：“人工智能”}，{“问题”：“1”，“关键”：“10.1016\/j.jal.2008.1001_bib065”，“doi-asserted-by”：“crossref”，“首页”：“97”，“doi”：“101111\/j.1467-8640.1989.tb00319.x”，“文章标题”：解释和预测：默认和诱因推理的体系结构”，“卷”：“5”，“作者”：“普尔”，“年份”：“1989年”，“日志标题”：“计算智能”}，{“问题”：“1”，“关键”：“10.1016\/j.jal.2008.10.01_bib066”，“doi-asserted-by”：“crossref”，“首页”：“81”，“doi”：“101016\/0004-3702（93）90061-F”，《文章标题》：“概率Horn诱拐和贝叶斯网络”，“卷”：“64”，“作者”：“Poole”，“年份”：“1993”，“新闻标题”：“人工智能”}，{“密钥”：“10.1016\/j.jal.2008.10.01_bib067”，“doi-asserted-by”：“crossref”，”非结构化“：”D.Poole，R.Goebel，R。Aleliunas，理论家：默认和诊断的逻辑推理系统，收录于：《知识前沿：知识表征中的论文》，1987年，第331_u2013352页，“DOI”：“10.1007”\/978-1-4612-47920-13“}，{“key”：“101016”\/j.jal.2008.10.01_bib068”，“series-title”：“计算智能”，“author”：“Poole”，“year”：“1998”}10.1016\/j.jal.2008.10.01_bib069“，”series-title“：”系统生物学中的计算方法“，”volume“：”vol.2602“，”year“：”2003“}，{“key”：“10.1016\/j.jal.2008.10001_bib070”，”unstructured“：”A.Regev，W.Silverman，E。Shapiro，使用u03c0-演算过程代数表示和模拟生化过程，收录于：《太平洋生物计算研讨会论文集》，2001年“}，{“问题”：“5”，“关键”：“10.1016\/j.jal.2008.10.01_bib071”，“doi-asserted-by”：“crossref”，“首页”：“437”，“doi”：“1016\/S0020-7373（83）80065-0”，《文章标题》：“基于集合覆盖模型的诊断专家系统”，“卷”：“19”，“作者”：“Reggia”，“年份”：“1983年”，“期刊标题”：“国际人机研究杂志”}，{“问题”：“1\u20132”，“关键”：“10.1016\/j.jal.2008.1001_bib072”，”doi-asserted-by“：”crossref“，”first page“：”81“，”doi“：”10.1016\/0004-3702（80）90014-4“，”article-title“：”第一原理诊断理论”，“卷”：“13”，“作者”：“赖特”，“年份”：“1980”，“期刊标题”：“人工智能”}，{“关键”：“10.1016\/j.jal.2008.1001_bib073”，“作家”：“Sambrano”}8\/nbt0402-370“，”文章标题“：”表面和内化的egf受体激活的图激酶级联动力学的计算建模”，“卷”：“20”，“作者”：“Schoeberl”，“年份”：“2002”，“期刊标题”：“Nature Bittechnology”}，{“密钥”：“10.1016\/j.jal.2008.10.001_bib075”，“非结构化”：“V.Sembugamoorthy，B。Chandrasekaran，设备的功能表示和诊断问题解决系统的编译，收录于：经验、记忆和推理，1986年，第47页“}，{“问题”：“4”，“关键”：“10.1016\/j.jal.2008.1001_bib076”，“doi-asserted-by”：“crossref”，“首页”：“511”，“doi”：“101142\/S021309500267”，“文章标题”：“基于知识的lambda噬菌体调控作用模拟”，“卷”：“4”，“作者”：“岛田”，“年份”：“1995”，“期刊标题”：“国际人工智能工具杂志”}，{“关键”：“10.1016\/j.jal.2008.1001_bib077”，“系列时间”：“科学发现和理论形成的计算模型”，“作家”：“Shrager”，“年”：“1990”}、{key“：”10.1016\/j.jal.2008.10.01_bib078“，”unstructured“：”C.Talcott，S.Eker，M.Knapp，P.Lincoln，K.Laderoute，《信号转导中蛋白质功能域的路径逻辑建模》，摘自：《2004年太平洋生物计算研讨会论文集》}，{“issue”：“1_20133”，“key”：“10.1016\/j.jal.2008.101_bib079”，“doi-asserted-by”：“crossref”，“首页“：”209“，”DOI“：”10.1007\/s10994-006-8988-x“，”article-title“：”外展ilp应用于从时间数据学习代谢网络抑制“，”volume“：”64“，”author“：”Tamaddoni-Nezhad“，”year“：”2006“，”journal-title”：“journal of Machine learning”}，{“key”：“10.1016\/j.jal.2008.1001_bib080”，“unstructured”：“N.Tran，C。Baral，《AnsProlog中触发行为的推理及其在细胞分子相互作用中的应用》，载于：《知识表示与推理原则国际会议论文集》，2004年“}，{“key”：“10.1016\/j.jal.2008.1001_bib081”，“series-title”：“生化系统的计算分析”，“author”：“Voit”，“年份“：”2000“}，{“issue”：“1\u20132”，“key”：“10.1016\/j.jal.2008.10001_bib082”，”doi-asserted-by“：”crossref“，”first page“：”107“，”doi“：”10.1016\/S0933-3657（03）00048-4“，”article-title“：”GenePath:遗传网络推理和遗传实验建议系统“，”volume“：“29”，“author”：“Zupan”，“year”：“2003”，“journal-title”：“”医学中的人工智能“}]，“容器-时间”：[“应用逻辑杂志”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S1570868308000621？httpAccept=text\/xml”，“内容类型”：“text\/xml”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“网址”：“https:\/\/api.elsevier.com/content\/article\/PII:S1570868308000621？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[2024,3,2]，“date-time”：“2024-03-02T11:20:27Z”，“timestamp”：1709378427000}，“score”：1，“resource”：{primary“URL”：“https:\\/linkinghub.elsevier.com/retrieve\/piii\/S157086 8308000621“}}，”副标题“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2009,9]]}，”references-count“：82，”journal-issue“：{“issue”：“3”，”published-print“：{”date-ports“：[[2009,9]]}}，“alternative-id”：[“S1570868308000621”]，“URL”：“http://\/dx.doi.org\/101016\/j.jal.2008.10.001”，“relation”：{}、“ISSN”：[0-8683“]，“ISSN-type”：[{“value”：“1570-8683”，“type”:“print”}]，“subject”：[]，“发布了“：{“date-parts”：[[2009,9]]}}}