{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,12]，“日期时间”：“2024-09-12T20:50:49Z”，“时间戳”：1726174249387}，“出版商位置”：“查姆”，“引用计数”：8，“出版者”：“斯普林格国际出版”，“isbn-type”：[{“类型”：”打印“，“值”：“9783031160134”}，{“类型”：“电子”，“value”：“9783031160141”}]，“license”：[{“start”：{“date-parts”：[[2022,1,1]]，“date-time”：“2022-01-01T00:00:00Z”，“timestamp”：1640995200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.springernature.com\/gp\/researters\/text-and-data-mining”}，{“tart”：[2022,1,1]，“date-time“：”2022-01-01T00:00:00Z“，”时间戳“：1640995200000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https://www.springernature.com//gp\/researters\/text-and-data-mining”}，{“start”：{“date-parts”：[2022,1,1]]，“date-time”：“2022-01-01T00:00:00Z”，“timestamp”：16409520000}：“https:\/\/www.springernature.com//gp\/researters\/text-and-data-mining”}，{“start”：{“date-parts”：[2022,1,1]]，“date-time”：“2022-01-01T00:00:00Z”，“timestamp”：1640995200000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\www.sprinternature.com/gp\researters/text-and-date-mining“}]，”content-domain“：{”domain“：[”link.springer.com“]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2022]]}，”DOI“：”10.1007\/978-3-031-16014-1_50“，”type“：”book-chapter“，”created“：{”date-part“：[2022,9,20]]，”date-time“：”2022-09-23:03:09Z“，”timestamp“：1663714989000}”，“page”：“638-644”，“update-policy”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“source”：“Crossref”，”is-referenced-by-count“：0，”title“：[”Xtend Transformation from \u00a0PDDL to \u00a 0Event-B“]，”prefix“：”10.1007“，”author“：[{”given“：”Farah“，”family“：”Fourati“，”sequence“：”first“，”affiliation“：[]}，{”Givent“：”Mohamed Tahar“，“family”：“”Bhiri”，“sequence”：“附加”、“affiliation”：[]}，{“given”：“Riadh”，“family”：“Robbana”，“sequence”：“additional”，“affidiation”：“[]}]，“member”：“297”，“published-online”：{“date-parts”：[2022,9,21]}、“reference”：[{“key”：”50_CR1“，”doi-asserted-by“：”crossref“，“unstructured”：“Abrial，J.R.:Modeling in Event-B:System and Software Engineering。剑桥大学出版社，剑桥（2010）”，“DOI”：“10.1017\/CBO9781139195881”}，{“key”：“50_CR2”，“unstructured”：“Efftinge，S.，V\u00f6lter，M.：oAW-xText:文本DSL框架。In:Eclipse Summit建模研讨会，第32卷，第118页（2006）”}、{“key”：《50_CR3》，“unsructured》：“Haase，a.，V\u 00f6alter，M.，Efftinge，S.、Kolb，B.：开放架构软件简介4.1。2.In:MDD工具实施者论坛（2007）“}，{“key”：“50_CR4”，“unstructured”：“Howey，R.，Long，D.，Fox，M.：Val:使用PDDL的自动计划验证、持续效果和混合倡议计划。In:第16届IEEE人工智能工具国际会议。ICTAI 2004，第294\u2013301页。IEEE（2004）“}，{“key”：“50_CR5”，“unstructured”：“ICAPS:国际自动计划与调度会议（2022年，在线）”}，}“key:”50_CR6“，”unstructure“：”Long，D.，Fox，M.，Howey，R.：规划领域与计划：验证、验证与分析。In:规划与调度系统验证与确认研讨会论文集（2009）50_CR7“，“非结构化”：“McDermott，D.，et al.：PDDL-规划领域定义语言（1998）”}，{“key”：“50_CR8”，“doi-asserted-by”：“publisher”，“unstructured”：“Voisin，L.，Abrial，J.R.：Rodin平台已经发展到十年。In：Ait Ameur，Y.，Schewe，K.D.（eds.）Abstract State Machines，Alloy，B，TLA，VDM，and Z.ABZ 2014。LNCS，第8477卷，第1\u20138页。斯普林格，海德堡（2014）。https:\/\/doi.org\/10.1007\/978-3662-43652-3_1“，”doi“：”10.1007\/978-30-62-43652-3“}]，”container-title“：[”计算机科学讲义“，”计算集体智能“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”https:\//link.springer.com\/content\/pdf\/101007\/978-031-16014-1_50“，”content-type“：”unspecified“，”“”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2023,3,9]]，”date-time“：”2023-03-09T12:12:41Z“，”timestamp“：1678363961000}，”score“：1，”resource“：”{“primary”：{“URL”：“https:\/\/link.springer.com\/10007\/978-3-031-16014-1_50”}，“subtitle”：[]，“shorttitle”：[]，“issued”“：{”日期部分“：[[2022]]}，”ISBN“：[”9783031160134“，”9783031180141“]，”references-count“：8，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-031-16014-1_50“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“type”:“print”，“value”：“0302-974”}，{“类型”：“electronic”，“值”：“1611-3399”}]，“主题”：[]，“发布“：{”日期部分“：[[2022]]}，”断言“：[{”值“：”2022年9月21日“，”order“：1，”name“：”first_online“，”label“：”first online“，“group”：{“name”：“ChapterHistory”，“label”：“章节历史”}}]}}