{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,4,3]]，“日期时间”：“2022-04-03T03:26:54Z”，“时间戳”：1648956414517}，“引用计数”：36，“发布者”：“开放发布协会”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”shortcontainer-title“：[“Electron.Proc.Theor.Comput.Sci.”，“EPTCS”]，“DOI”：“10.4204\/EPTCS.259.5”，“type”：“journal-article”，“created”：{“date-parts”：[[2017,10,8]]，“date-time”：“2017-10-08T02:37:44Z”，“timestamp”：1507430264000}，“page”：？“]”，“前缀”：“10.4204”，“卷”：“259”，“作者”：[{“给定”：“Gregor”，“家族”：“G\u00f6ssler”，“序列”：“第一”，“从属关系”：[}“名称”：“INRIA，France”}]}，{“给出”：“Oleg”，“家庭”：“Sokolsky”，“顺序”：“附加”，“附属关系”：[{“姓名”：“美国费城宾夕法尼亚大学”}]neneneep，{”给定“：”Jean-Bernard“，”家族“：”Stefani“，“sequence”：“additional”，“affiliation”：[{“name”：“INRIA，France”}]}]，“member”：“2720”，“published-online”：{“date-parts”：[[2017,10,10]]}，“reference”：[{“key”：“Barwise96Circles”，“series-title”：“CSLI课堂笔记”，“doi-asserted-by”：“publisher”，“doi”：“10.1023\/A:1008295813424”，“volume-title”：”Vicious Circles“，”卷“：“60”，“author”：“Barwise”，“year”：“1996”}，{“key”：“journals\/ijar\/BeckersV16”，“doi-asserted-by”：“publisher”，“first page”：“105”，“doi”：“10.1016\/j.ijar.2016.05.008”，“article-title”：“使用CP-logic定义和扩展实际因果关系的一般框架”，“volume”：”77“，“author”：“Beckers”，“year”：“2016”，“journal-title“：”Int.j.Approx.Reasoning“}，{”key“：”conf\/spin\/BeerHKLL15“，“series-title”：”LNCS“，”doi-assert-b y“：“publisher”，“first page”：“203”，”DOI“：”10.1007\/978-3-19-23404-5_14“，”article-title“：”使用有界模型检查进行符号因果关系检查“，”volume-title”：“模型检查软件-第22届国际研讨会，SPIN 2015，南非斯泰伦博世，2015年8月24-26日，论文集“，”卷“：”9232“，”作者“：”Beer“，”年“：”2015“}，{“issue”：“1”，“key”：“DBLP:journals\/fmsd \/BeerBCOT12”，“doi-asserted-by”：“publisher”，“first page”：”20“，“doi”：“10.1007\/s10703-011-0132-2”，“article-title”：“使用因果关系解释反例”，“volume”：：“40”，“author”：“Beer”，“year”：“2012”，“journal-title“：”系统设计中的形式方法“}”，{“key“：”BenferhatBCNDSKNNPS08“，”series-title“：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“47”，“doi”：“10.1007\/978-3-540-87993-0_6”，“article-title”：“因果归因六种形式模型的比较研究”，“volume-title“：“可扩展不确定性管理，第二届国际会议，2008年10月1-3日，意大利那不勒斯，SUM 2008。论文集”，“卷”：“5291”，“作者”：“Benferhat”，“年份”：“2008”}，｛“密钥”：“danos_et_al:LIPIcs:2012:3866”，“系列标题”：“莱布尼茨国际信息学论文集（LIPIcs）”，“doi断言”：“出版商”，“第一页”：“276”，“doi”：“10.4230\/LPIcs.FSTTCS.2012.276”，“文章标题”：“基于规则模型的图形、重写和路径重建”，“volume-title”：“IARCS软件技术和理论计算机科学基础年会（FSTTCS 2012）”，“卷”：“18”，“作者”：“Danos”，“年份”：“2012”}，{“key”：“conf\/csfw\/Data0KSS15”，“doi-asserted-by”：“publisher”，“首页”：“261”，“doi”：“10.1109 \/CSF.2015.25“，”article-title“：“作为实际原因的程序操作：责任的基石”，“volume-title”：“IEEE第28届计算机安全基础研讨会，2015年7月13日至17日，意大利维罗纳，CSF 2015”，“author”：“Datta”，“year”：“2015”}，{“issue”：“1”，“key”：“DBLP:journals\/ai\/EiterL02”，“doi-asserted-by”：“publisher”，“first page”：”53“，”DOI“：”10.1016\/S0004-3702（02）00271-0“，”article-title“：”基于结构因果关系的复杂性结果“，”volume“：”142“，“author”：“Eiter”，“year”：“2002”，“journal-title”：“Artif”。智力。“}，{”key“：”springerlink:10.1023\/A:1009602825894“，”doi-asserted-by“：”publisher“，”first page“：“151”，“doi”：“10.1023\/A：1009602825994”，“article-title”：“因果反事实的公理化表征”，“volume”：“3”，“author”：“Galles”，“year”：“1998”，“journal-title“：”Foundations of Science“}”，{“issue”：“2”，“key”：”glymour2010.实际“，”doi断言者：“publisher”，“first page”：“169”，“doi”：“10.1007\\s11229-09-9497-9”，“文章标题”：“实际因果关系：一篇石头汤文章”，“volume”：“175”，“author”：“Glymour”，“year”：“2010”，“journal title”：“Synthese”}，{“key”：“emsoft14”，“doi断言者：”publisher“，“doi”：“10.1145\\2656045.2656048”，“文章标题”：“指责基于组件的实时系统”，“volume-title”：“EMSOFT'14”，“author”：“G\u00f6ssler”，“year”：“2014”}，{“issue”：“3”，“key”：“GoesslerLeMetayer2015”，“doi-asserted-by”：“publisher”，“first page”：《223》，“doi”：“10.1016\/j.scico.2015.06.010”，“article-title“：“基于组件的系统中指责的一般框架”，“卷”：“113”，“作者”：“G\u00f6ssler“，”年份“：”2015“，”期刊标题“：”计算机编程科学“}，{“key”：“GoesslerStefani2015”，“series-title”：“LNCS”，“doi-asserted-by”：“publisher”，“first page”：”79“，”doi“：”10.1007\/978-3319-28766-9_6“，”article-title“：”并发系统中的故障归属“，”volume-title程序。值得信赖的全球计算——第十届国际研讨会，TGC 2015”，“卷”：“9533”，“作者”：“G\u00f6ssler”，“年份”：“2016”}，{“关键字”：“journals\/jair\/Halpern00”，“doi-asserted-by”：“publisher”，“首页”：“317”，“doi”：“10.1613\/jair.648”，“article-title”：“公理化因果推理”，“体积”：“12”，“作家”：“Halpern”，“年”：“2000”“，”新闻标题“：”J。Artif公司。智力。Res.（JAIR）“}，{“key”：“DBLP:conf\/ijcai\/Halpern15”，“首页”：“3022”，“文章标题”：“修改Halpern-Pearl因果关系定义”，“卷标”：“第二十四届国际人工智能联合会议，2015年7月25日至31日，阿根廷布宜诺斯艾利斯”，“作者”：“Halpern”，“年份”：“2015”}DBLP:journals\/corr\/abs-1106-2652“，”article-title“：”实际因果关系和建模艺术“，”volume“：”abs\/1106.2652“、”author“：”Halpern“，”year“：”2011“，”journal-title”：“corr”}，{“issue”：“4”，“key”：“HalpernPearl2005”，“doi-asserted-by”：“publisher”，“first-pages”：“843”，“doi”：“10.1093”//bjps\/axi147“，”ArticleTitle“：”原因和解释：结构模型方法。第一部分：原因”，“卷”：“56”，“作者”：“Halpern”，“年份”：“2005”，“期刊标题”：“英国科学哲学杂志”}，{“问题”：“5”，“关键”：“HopkinsP07”，“doi断言”：“出版商”，“doi”：“10.1093\/logcom\/exm048”，“文章标题”：“情境演算中的因果关系和反事实”，“卷”：“17”，“作者”：“霍普金斯”，“年份”：“2007”，“journal-title“：”J.日志。计算。“}，{”key“：”Hume1739“，”doi-asserted-by“：”publisher“，”volume-title“：”人性论“，”author“：”休谟“，“年份”：“1739”，”doi“：”10.1093\/oseo\/instance.00046221“}”，{“key”：“Jacobs2016”，“series-title”：“剑桥理论计算机科学丛书”，“doi-assert-by”：“publisher”，“doi”：“10.1017\/CBO9781316823187”，“卷时间”：“Coalgebra简介：《走向状态和观察的数学》，“卷”：“59”，“作者”：“Jacobs”，“年份”：“2016”}，{“密钥”：“DBLP:conf\/safecomp\/KuntzLL11”，“series-title”：“LNCS”，“doi-asserted-by”：“publisher”，“首页”：“71”，“doi”：“10.1007\/978-3642-24270-0_6”，“article-title”：从因果关系到故障树的概率反例”，“volume-title”：“SAFECOMP”，“卷”：“6894”，“作者”：“Kuntz”，“年份”：“2011”}，{“key”：“DBLP:conf\/ccs\/KustersTV10”，“doi-asserted-by”：“publisher”，“首页”：“526”，“doi”：“10.1145\/1866307.1866366”，“article-title“责任：定义和与可验证性的关系”volume-title“：”ACM Conference on Computer and Communications Security“，”author“：”K\u00fcster“，”year“：”2010“}，{”issue“：”4“，”key“：”DBLP:journals\/cacm\/MetayerMMPFTCH11“，”doi-asserted-by“：”publisher“，“first page”：“99”，“doi”：“10.1145\/1924421.1924444”，“article-title”：“软件工程中的责任问题：使用正式方法减少法律不确定性”，“卷”：“54”，“作者”：“Le M\u00e9tayer”，“年份”：“2011”，“期刊标题”：“Commun。ACM“}，{”key“：”Lewis1973b“，”doi-asserted-by“：”publisher“，”doi“：”10.2307\/2025310“，“article-title”：“因果关系”，“卷”：“70”，“作者”：“Lewis”，“年份”：“1973”，“期刊标题”：“哲学杂志”}，“key”：“刘易斯1986”，“doi-assert-by”：“publisher”，“volume-title“：”哲学论文“，”author“：”刘易斯“，”年份：“1986年”，“内政部”：“10.1093\/0195032047.001.0001”}，{“key”：“Lewis00”，“volume-title”：“Counterfactuals”，“author”：“刘易斯”，“year”：“2000”}，{”key“：“Neves2016”，“series-title”：”LNCS“，”doi-asserted-by“：”publisher“，”first page“：”385“，”doi“：”10.1007\/978-319-46750-4_22“，”volume-title“：”Hybrid Automata as Coalgebras“，”volume“：：“2016”}，{“问题”：“1”，“关键”：“pajicTII2012”，“doi-asserted-by”：“publisher”，“first page”：“3”，“doi”：“10.1109\/TII.2012.226594”，“article-title”：“闭环医疗系统的模型驱动安全性分析”，“volume”：”10“，“author”：“Pajic”，“year”：“2014”，“journal-title“：”IEEE Transactions on Industrial Informatics“}，{”key“：”Pearl2000“，”volume-title：“因果关系：模型、推理和推断”，“author”：“Pearl”，“year”：“2000”}，{“issue”：“1”，“key”：“DBLP:journals\/ai\/Reiter87”，“doi-asserted-by”：“publisher”，“first-page”：“57”，“doi”：“10.1016\/0004-3702，{“key”：“Rutten00”，“doi-asserted-by”：“publisher”，“DOI”：“10.1016\/S0304-3975（00）00056-6”，“article-title”：“Universal coalebra:a theory of systems”，“author”：“Rutten”，“year”：“2000”，“journal-title“：”Theoryal Computer Science，vol.249“}，{“issue”：“38”，“key”：“Sokolova11”，“DOI-asserted-by”：“publister”，“first page”：”5095“，“DOI:”10.1016\/j.tcs.2011.05.008“，“物品标签”：“概率系统联合：调查”，“卷”：“412”，“作者”：“Sokolova”，“年份”：“2011”，“新闻标题”：“Theor.Comput.Sci.”}，{“key”：“sprites2000causon”，“volume-title”：“因果、预测和搜索”，“author”：“Sprites”，“year”：“2000”}：“混合系统的验证和控制-符号方法”，“作者”：“Tabuada”，“年份”：“2009”，“DOI”：“10.1007\/978-1-4419-0224-5”}，{“key”：“RV2013”，“series-title”：“LNCS”，“DOI-asserted-by”：“publisher”，”first page“：”285“，”DOI“：”10.1007\/978-3-642-40787-1_17“，”article-title“基于组件的实时系统的因果分析框架”、“volume-title”：“Proc.Runtime Verification 2013”，“volume”：“8174”，“author”：“Wang”，“year”：“2013”}，{“key”：”CausalityInPhysics1990”，“volume-titel”：“Readings in Qualitative Reasoning about Physical Systems”，“年份”：“1990”}]，“container-title“：[”理论计算机科学电子论文集“]，“原文标题”：[]，“language”：“en”，“deposed”：{“date-parts”：[[2017,10,17]]，“date-time”：“2017-10-17T00:24:01Z”，“timestamp”：1508199841000}，“score”：1，“resource”：{（主要）：{”URL“：”http://\/arxiv.org\/abs\/1710.03393v1“}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{：“http://\/dx.doi.org\/10.4204\/eptcs.259.5”，“关系”：{}，“ISSN”：[“2075-2180”]，“issn-type”：[{“value”：“2075-2180”，“type”:“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2017,10,10]]}}