{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,3,28]]，“日期时间”：“2022-03-28T23:58:37Z”，“时间戳”：1648511917981}，“出版商位置”：“柏林，海德堡”，“参考计数”：28，“出版者”：“施普林格-柏林-海德堡（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”}，{“start”：{-“date-ports”：[2012,1]，“日期-时间”：“2012-01-01T00:00:00Z”，“时间戳”：132537600000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com/tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[2012]]}，”DOI“：”10.1007\/978-3642-30743-0_15“，”type“：”book-chapter“，”created“：”{“date-part”“：[[2012,6,2]，”日期时间“：”2012-06-02T03:49:46Z“，“时间戳”：1338608986000}，“页面”：“211-228”，“源”：“Crossref”，“is-referenced-by-count”：2，“标题”：[“使用ACTHEX模拟生产规则”]，“前缀”：“10.1007”，，“作者”：[{“给定”：“托马斯”，“家族”：“艾特”，“序列”：“第一”，“从属关系”：[]}，“给定”：“迈克尔”，“family”：“Fink”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“15_CR1”，“series-title”：“Computer Science课堂讲稿”，“doi-asserted-by”：”publisher“，”first page“：”287“，”doi“：”10.1007\/978-3642-23580-1_26“，”volume-title“：”Web推理和规则系统“，”author“：”M.Rezk“，”“year”：“2011”，“非结构化”：“Rezk，M.，Nutt，W.：结合生产系统和本体论。收录：Rudolph，S.，Gutierrez，C.（编辑）RR 2011。LNCS，第\000a06902卷，第287页\u2013293。Springer，Heidelberg（2011）“}，{“key”：“15_CR2”，“unstructured”：“Baral，C.，Lobo，J.：使用逻辑编程和情境演算表征生产系统，http://www.cs.utep.edu\/Baral\/papers\/char-prod-systems.ps”}，“key“：”15_CR3“，”unstructure“：”Basol，S.，Erdem，O.，Fink，M.，Ianni，G.：带动作原子的HEX程序。摘自：Tech。2010年ICLP委员会。莱布尼茨国际会议记录。信息学。LIPIcs，vol.\u00a07，pp.24\u201333（2010）“}，{“key”：“15_CR4”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：《58》，“doi”：“10.1007\/978-3-540-72982-25”，《volume-title》：“Web推理和规则系统”，“author”：“J.Bruijn de”，“year”：“2007”，“unstructured”：“de Bruijn，J.，Pearce，D.，Polleres，A.，Valverde，A.：量化平衡逻辑和混合规则。收录人：Marchiori，M.，Pan，J.Z.，Marie，C.d.S.（编辑）RR 2007。LNCS，第u00a04524卷，第58\u201372页。Springer，Heidelberg（2007）“}，{“key”：“15_CR5”，“doi-asserted-by”：“crossref”，“unstructured”：“de Bruijn，J.，Rezk，M.：基于逻辑的生产系统静态分析方法。In：Polleres and Swift[23]，pp.254\u2013268”，“doi”：“10.1007\/978-3642-05082-4_18”}，“key“：”15_CR6“series-title”：“计算机科学讲稿”，“doi-asserted-by“：”publisher“，”first page“：”80“，”doi“：”10.1007\/978-3642-20895-9_9“，”volume-title“：”逻辑编程和非单调推理“，”author“：”F.Aguado“，“year”：“2011”，”unstructured“：”Aguado.，F.，Cabalar，P.，P\u00e9rez，G.，Vidal，C.：可拆分时序逻辑程序的循环公式。摘自：Delgrand，J.P.，Faber，W.（编辑）LPNMR 2011。LNCS，第u00a06645卷，第80\u201392页。Springer，Heidelberg（2011）“}，{”key“：”15_CR7“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“370”，”doi“：”10.1007\/978-3642-20895-9_43“，”volume-title“：“逻辑编程与非单调推理”，”author“：”P.Cabalar“，”year“：”2011“，”unstructured“：”Cabalar，P.，Di\u00e9guez，M.：STeLP\u2013时态答案集编程工具。摘自：Delgrand，J.P.，Faber，W.（编辑）LPNMR 2011。LNCS，第00a06645卷，第370\u2013375页。Springer，Heidelberg（2011）“}，{”key“：”15_CR8“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“798”，”doi“：”10.1007\/978-3642-17746-0_50“，”volume-title“：“The Semantic Web\u2013 ISWC 2010”，”author“：”C.V.Dam\u00e1sio“，“year”：“2010”，“unstructured”：“”Dam\u00e1sio，C.V.，Alferes，J.J.，Leite，J.：规则交换格式生成规则方言的声明语义。在：Patel Schneider，P.F.，Pan，Y.，Hitzler，P.，Mika，P.，Zhang，L.，Pan，J.Z.，Horrocks，I.，Glim，B.等人（编辑）ISWC 2010，第一部分，LNCS，vol.\u00a06496，pp.798\u2013813。Springer，Heidelberg（2010）“}，{“key”：“15_CR9”，“unstructured”：“de Bruijn，J.、Bonnard，P.、Citeau，H.、Dehors，S.、Heymans，S.，P\u00fchrer，J.，Eiter，T.：规则和本体的组合：最新问题调查。技术代表Ontorule D3.1，Ontorule-项目联盟（2009），http://Ontorule-Project.eu//”}，}“issue”：“12\/13”，“key“：”15_CR10“，”doi-asserted-by“：”publisher“，”first page“：”1495“，”doi“：”10.1016\/j.artint.2008.04.002“，”volume“：“172”，”author“：”T.Eiter“，”year“：”2008“，”unstructured“：”Eiter，T.，Ianni，G.，Lukasiewicz，T.、Schindlauer，R.，Tompits，H.：将答案集编程与语义Web的描述逻辑相结合。Artif公司。智力。\u00a0172（12\/13），1495\u20131539（2008）“，”期刊标题“：”文章。智力。}，{“key”：“15_CR11”，“unstructured”：“Eiter，T.，Ianni，G.，Schindlauer，R.，Tompits，H.：答案集编程中高阶推理和外部评估的统一集成。摘自：Proc.IJCAI 2005，pp.90\u201396。Professional Book Center（2005）“}，{“key”：“15_CR12”，“doi-asserted-by”：“crossref”，“unstructured”：“Eiter，T.，\u0160imkus，M.：$\\mathbb{FDNC}$：带函数符号的可判定非单调析取逻辑程序。ACM事务处理。计算逻辑（TOCL）11（2），第14条，“DOI”：“10.1145\/1656242.1656249”}，{“问题”：“1”，“密钥”：“15_CR13”，“DOI-asserted-by”：“发布者”，“首页”：“278”，“DOI:”10.1016\/j.artint.2010.04.002“，“卷”：“175”，“作者”：“W.Faber”，《年份》：“2011”，“非结构化”：“Faber，W.，Pfeifer，G.，Leone，N.：答案集编程中递归聚合的语义和复杂性。Artif公司。智力。\u00a0175（1），278\u2013298（2011）“，“期刊标题”：“文章。智力。“}，{”key“：”15_CR14“，”unstructured“：”Feier，C.，A\u00eft-Kaci，H.，Angele，J.，de\u00a0Bruijn，J.、Citeau，H，Eiter，T.，Ghali，A.E.、Kerhet，V.、Kiss，E.、Korf，R.、Krekeler，T.、Krendwallner，T.和Heymans，S.，（FUB），A.M.，Rezk，M.，Xiao，G.：规则和本体组合的复杂性和优化。技术报告。Ontorule D3.3，Ontorule-Project.eu\/“}，{“issue”：“1”，“key”：“15_CR15”，“doi-asserted-by”：“publisher”，“first page”：第17页，“doi”：“10.1016\/0004-3702（82）90020-0”，“volume”：”19“author”：“C.Forgy”，“year”：“1982”，“unstructured”：“Forgy，C.：Rete：解决多模式/多对象匹配问题的快速算法。Artif公司。智力。\u00a019（1），17\u201337（1982）“，“新闻标题”：“文章。智力。“}，{”key“：”15_CR16“，”doi-asserted-by“：”publisher“，”first page“：“365”，”doi“：”10.1007\/BF03037169“，”volume“：9“，”author“：”M.Gelfond“，“year”：“1991”，“unstructured”：“Gelfund，M.，Lifschitz，V.：逻辑程序和析取数据库中的经典否定。新一代计算\u00a09，365\u2013385（1991）”，“journal-title”：“”新一代计算“}，{“问题”：“3-4”，“关键”：“15_CR17”，“首页”：“193”，”卷“：“2”，“作者”：“M.Gelfond”，年：“1998”，“非结构化”：“Gelfond.，M.，Lifschitz，V.：动作语言.Electron.Trans.AI\u00a02（3-4），193\u2013210（1998）”，“日志标题”：“Electron.Trans.AI”}，}“问题“1-2”，“重点”：“15 _CR18”，“doi-asserted”by“：”publisher“，”第一页“：”49“，”DOI“：”10.1016\/j.artint.2002.12.001“，”volume“：”153“，”author“：”E.Giunchiglia“，”year“：”2004“，”unstructured“：”Giunchillia，E.，Lee，j.，Lifschitz，V.，McCain，N.，Turner，H.：非单调因果理论。Artif公司。智力。\u00a0153（1-2），49\u2013104（2004）“，“新闻标题”：“文章。智力。“}，{”key“：”15_CR19“，”doi-asserted-by“：”crossref“，”unstructured“：”Kowalski，R.A.，Sadri，F.：在诱拐逻辑编程代理中集成逻辑编程和生成系统。in：Polleres and Swift[23]，pp.1\u201323“，”doi“：”10.1007\/978-3642-05082-4_1“}”，{“key”：“15_CR20”，“series-title”：“计算机科学讲稿”，“doi-asserted-by“：”publisher“，”first page“：”244“，”doi“：”10.1007\/978-3642-15918-3_24“，“volume-title”：“Web推理和规则系统”，“author”：“M.Marano”，“year”：“2010”，“unstructured”：“Marano，M.，Obermeer，P.，Polleres，A.：在DLVHEX中处理RIF和OWL2RL。摘自：Hitzler，P.，Lukasiewicz，T.（编辑）RR 2010。LNCS，卷\u00a06333，第244\u2013250页。Springer，Heidelberg（2010）“}，{“issue”：“5”，“key”：“15_CR21”，“doi-asserted-by”：“publisher”，“first-page”：“1”，“doi”：“10.1145\/1754399.1754403”，“volume”：”57“，“author”：“B.Motik”，“year”：“2010”，“unstructured”：“Motik，B.，Rosati，R.：协调描述逻辑和规则。JACM\u00a057（5），1\u201362（2010）”，“journal-title“：”JACM“}，{”key“：”15_CR22“，”doi由“：”crossref“，”非结构化“：”Peppas，P.：信念修正。摘自：van Harmelen，F.，Lifschitz，V.，Porter，B.等人（编辑）《人工智能和逻辑编程中的逻辑手册》，\u00a0ch.8，第317\u2013360页。Elsevier（2008）“，”DOI“：”10.1016\/S1574-6526（07）03008-8“}，{”key“：”15_CR23“，”series-title“：”计算机科学讲义“，”volume-title“：“Web推理和规则系统”，“year”：“2009”，”unstructured“：”Polleres，A.，Swift，T.（eds.）：RR 2009。LNCS，卷\u00a05837。Springer，Heidelberg（2009）“}，{”key“：”15_CR24“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“332”，”doi“：”10.1007\/978-3642-28472-4_19“，”volume-title“：“信息与知识系统基础”，”author“：”M.Rezk“，”year“：”2012“，”unstructured“：”Rezk，M.，Kifer，M.：用基于规则的本体将生产系统形式化。收录：Lukasiewicz，T.，Sali，A.（编辑）FoIKS 2012。LNCS，第u00a07153卷，第332\u2013351页。Springer，Heidelberg（2012）“}，{“key”：“15_CR25”，“unstructured”：“de Sainte-Marie，C.，Hallmark，G.，Paschke，A.（eds）：RIF生产规则方言建议，W3C，2010年6月22日，http://www.w3.org，TR，/RIF-pd”}$+log：描述逻辑和析取数据日志的紧密集成。收录人：Doherty，P.，Mylopoulos，J.，Welty，C.A.（编辑）Proc。KR 2006，第68\u201378页。AAAI Press（2006）“}，{“key”：“15_CR27”，“unstructured”：“Rosati，R.，Franconi，E.：基于广义本体论的生产系统。In：Proc.KR 2012。AAAI Press（to appear，2012）“}，{”key“：”15_CR28“，”doi-asserted-by“：”crossref“，”unstructured“：”Waterman，D.，Hayes-Roth，F.：模式定向推理系统。学术出版社（1978）“，”doi“：”10.1016\/B978-0-12-737550-2.50006-3“}]，”container-title“：[”Correct Reasoning“，”Telection Notes in Computer Science“]，”original-title“:[]，”link“：[{”URL“http:\/\/link.springer.com/content\/pdf\/10.1007\/978-3642-30743-0_15“，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2022,1,16]]，“date-time”：”2022-01-16T16:09:24Z“，“timestamp”：1642349364000}，“score”：1，“resource”：{“primary”：“{”URL“：”http://\/link.springer.com/10.1007\/978-3642-30743-0_15“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期-部件“：[[2012]]}，“ISBN”：[“9783642307423”，“978364 2307430”]，”参考计数“：28，”URL“http://\/dx.doi.org\/10.10007\/978-3642-3743-0_15”，“关系”：{}，：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”value“：”1611-3349“，”type“：”electronic“｝]，”subject“：[]，”published“：｛”date parts“：[[2012]]｝｝｝