{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,1,31]]，“日期-时间”：“2024-01-31T19:07:01Z”，“时间戳”：170672801242}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：22，“发布商”：“ACM”，“内容-域”：[“dl.ACM.org”]，“交叉标记-严格离子“：true}，”短容器时间“：[]，“published-print”：{“date-parts”：[[2014,9,3]]}，“DOI”：“10.1145\/2633638.2633648”，“type”：“proceedings-article”，“created”：{-“date-parts”：[[2014,8,29]]，“date-time”：“2014-08-29T13:03:43Z”，“timestamp”：1409317423000}，《update-policy》：“http://dx.DOI.org\/10.1145\/crossmark-policy”，“source”：“Crossref”，“is-referenced-by-count”：5，“title”：[“实时编码语言的时间语义”]，“前缀”：“10.1145”，“作者”：[{“given”：“Samuel”，“family”：“Aaron”，“sequence”：“first”，“affiliation”：[}“name”：“University of Cambridge，Bridge，United Kingdom”}]}，{“给定的”：“Dominic”，“家族”：“Orchard”，“序列”：“additional”，“从属关系”：[[{”name“：“United University for Cambridges，Bridges，Uniteds Kingdom）”}]}，{“given”：“Alan F.”，“family”：“Blackwell”，“sequence”：“additional”，“affiliation”：[{“name”：“University of Cambridge，Cambridges，United Kingdom”}]]，“member”：“320”，“published-online”：{“date-parts”：[[2014,9,3]]}，“reference”：[}“key”：“e_1_3_2_1_2_1”，“卷时间”：“人文学科中的旅游概念：粗略指南”，“作者”：“Bal Mieke”，“年份”：“2002年”，“非结构化”：“Mieke Bal，人文学科中旅游概念：简略指南，多伦多大学出版社，2002年。Mieke Bal，人文科学中的旅游理念：粗略指导，多伦多高校出版社，2002。”}，{“key”：“e_1_3_2_1_3_1”，“首页”：“135”，“volume-title”：“2014年编程兴趣小组年度会议心理学论文集”（Benedict du Boule和Judith Good，eds.），“作者”：“Bellingham Matt”，“年份”：“14”，“非结构化”：“Matt Bellingham、Simon Holland和Paul Mulholland，算法合成软件交互设计的认知维度分析，编程兴趣小组2014年年度会议论文集（Benedict du Boulay和Judith Good编辑），苏塞克斯大学，2014年，第135-140页。Matt Bellingham、Simon Holland和Paul Mulholland，《算法合成软件交互设计的认知维度分析》，《程序设计兴趣小组2014年年度会议论文集》（Benedict du Boulay和Judith Good编辑），苏塞克斯大学，2014年，第135-140页。“}，{”键“：”e_1_3_2_1_4_1“，”首页“：”9”，“文章标题”：“通过实时编码进行协作和学习（Dagstuhl研讨会13382）”，“卷”：“3”，“作者”：“Blackwell Alan”，“年份”：“2014”，“非结构化”：“Alan Blackwell、Alex McLean、James Noble和Julian Rohhuber，通过实时编码进行协作和学习（Dagstuhl研讨会13382），Dagstuhl报告3（2014），第9期， 130--168. Alan Blackwell、Alex McLean、James Noble和Julian Rohrhuber，《通过实时编码进行协作和学习》（Dagstuhl Seminar 13382），《达格斯图尔报告3》（2014），第9期，第130-168页。“日志标题”：“达格斯图尔报告”}，{“key”：“e_1_3_2_1_5_1”，“doi-asserted-by”：“publisher”、“doi”：“10.5555\/647759.7353535353030”}、{“密钥”：“e_1_2_1_6_1”、《人工智能中的时间推理手册》，“作者”：“费舍尔·迈克尔·戴维”，“年份”：“2005年”，“非结构化”：“迈克尔·戴维·费舍尔、多夫·加巴伊（Dov M.Gabbay）和卢伊斯·维拉（Lluis Vila）（eds.），《人工智能的时间推理指南》，爱思唯尔有限公司，2005年。Michael David Fisher、Dov M.Gabbay和Lluis Vila（编辑），《人工智能中的时间推理手册》，Elsevier B.V.，2005年乔治·乔治泽（George Giorgidze）和亨利克·尼尔森（Henrik Nilsson），《打开Yampa——模块合成器的声明性编程》（Switched-on Yampa），《声明性语言的实用方面》（Practical Aspects of Declarative Languages），斯普林格出版社，2008年，第282-298页。乔治·乔治泽（George Giorgidze）和亨利克·尼尔森（Henrik Nilsson），《打开Yampa——模块合成器的声明性编程》（Switched-on Yampa），《声明性语言的实用方面》（Practical Aspects of Modular Synthesizers），斯普林格（Springer），2008年，第282-298页。“}，{”键：“e_1_3_2_1_8_1”，“volume-title”：“计算的形式方面6”，“作者”：“Hansson Hans”，“年份”：“1994”Hans-Hansson和Bengt-Jonsson，关于时间和可靠性的推理逻辑，计算的形式化方面6（1994），第55512-535期。汉斯·汉森（Hans Hansson）和本特·琼森（Bengt Jonsson），《关于时间和可靠性的推理逻辑，计算的形式方面》6（1994），第5期，512-535IEEE和The Open Group”，“年份”：“2013年”，“非结构化”：“IEEE和The Open Group，sleep--The Open Group base specifications issue7，2013，http://\/pubs.opengroup。org \/onlinepubs \/9699919799 \/functions\/sleep.html于2014年5月15日检索。IEEE和The Open Group，sleep——开放组基本规范第7期，2013年，http://\/pubs.opengroup。org \/onlinepubs \/9699919799\/functions\/sleep.html于2014年5月15日检索。“}，{”key“：”e_1_3_2_11_1“，”doi-asserted-by“：”publisher“，”doi“：”10.5555\/1756227.1756233“}”，{“key”：“e_1_ 3_2_12_1”，“doi-assert-by”：“publisher”，“doi”：“10.1145 \/15069.1506426”}，“key“me-title“：”《xCoAx2013:计算通信美学与X》，“作者”：“麦克莱恩·亚历克斯”，“年份”：“2013年”，“非结构化”：“亚历克斯·麦克莱恩，The textural X，Proceedings of xCoAx2013:计算通信美学和X（2013），81-88。Alex McLean，The textural x，Proceedings of xCoAx2013:Computation Communication美学与x（2013），81-88.“}，{“key”：“e_1_3_2_1_14_1”，“volume-title”：“Tech.report”，“author”：“McDirmid Sean”，“year”：“2014”，“unstructured”：“Sean McDirmid和Jonathan Edwards，《使用管理时间编程》，技术报告，微软，2014年。肖恩·麦克迪米德（Sean McDirmid）和乔纳森·爱德华兹（Jonathan Edwards），《管理时间编程》（Programming with Managed Time），技术报告，微软，2014年。“}，{”key“：”e_1_3_2_15_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/581695”}，“key”：“e_3_2_2_17_1”，“doi-assert”by“：”publisher“，”doi“：”10.1145\/41625.41641“}，{“key”：“e_1_3_2_1_18_1”，“doi-asserted-by”：“publisher”，”doi“：“10.1145\/1932682.1869526”}，“key“：”e_1_ 3_2_1_9_1“，”doi-assert-by“：”publisher“，“doi”：“10.1016\/0004-3702（94）00036-Z”}、{“key”：”e_ 1_3_2 _1_20_1“、”volume-title“：”关于变化的推理：时间和原因从人工智能的角度来看“作者”：Shoham Yoav“，“年份”：“1988年”，“非结构化”：“Yoav Shoham，《关于变化的推理：从人工智能的角度来看时间和因果关系》，麻省理工学院出版社人工智能系列，马萨诸塞州剑桥。麻省理理工学院出版，1988年，包括索引。Yoav Shoham，《关于变化的推理：从人工智能的角度来看时间和因果关系》，麻省理工学院出版社人工智能系列丛书，剑桥，马萨诸塞州。麻省理工学院出版社，1988年，包括索引。“}，{”key“：”e_1_3_2_1_21_1“，”first page“：“1”，”volume-title“：”International Computer Music Conference“，”author“：”Cook GeWang“，”year“：”2003“，”unstructured“：”GeWang和Perry R Cook，ChucK:A Concurrent，On the fly，音频编程语言，国际计算机音乐大会，2003年，第1-8页。GeWang和Perry R Cook，ChucK:A Concurrent，On-the-fly，Audio Programming Language，International Computer Music Conference，2003年，第1-8页瑞典哥德堡”，“首字母缩写”：“ICFP'14”，“赞助商”：[“SIGPLAN ACM编程语言特别兴趣小组”]}，“container-title”：[《第二届ACM SIGPLAN功能艺术、音乐、建模与设计国际研讨会论文集》]，“original-title“：[]，“link”：[{“URL”：“https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/2633638.2633648”，“content-type”：“unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2023,1,7]]，”date-time“：”2023-01-07T04:37:48Z“，”timestamp“：1673066268000}，”score“：1，”resource“：{primary“：”{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/2633638.2633648”}}，“subtitle”：[]，“shorttitle”“：[]，”已发布“：{”日期部分“：[[2014,9,3]]}，”references-count“：22，”alternative-id“：[”10.1145\/2633638.2633648“，”10.1145\/2633638“]，”URL“：”http://\/dx.doi.org\/10.1145\/263636382633648“，”relation“：{}，”subject“：[]，”published“：{”date-parts“：[2014,9,3]]}，“assertion”：[{“value”：“2014-09-03”，“order”：2，“name”：“published”，“label”：“published”，“组”：{“名称”：“publication_history”，“标签”：“出版历史“}}]}}