@会议记录{artikis_et_al:LIPIcs.TIME.2022, title={{LIPIcs,卷247,TIME 2022,完整卷}}, booktitle={第29届时间表征与推理国际研讨会(TIME 2022)}, 页数={1--222}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-262-4}, ISSN={1868-8969}, 年份={2022}, 体积={247}, editor={Artikis、Alexander和Posenato、Roberto和Tonetta、Stefano}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022 }, URN={URN:nbn:de:0030-drops-172469}, doi={10.4230/LIPIcs.TIME.2022}, annote={关键词:LIPIcs,第247卷,TIME 2022,完整卷} }
@会议记录{artikis_et_al:LIPIcs.TIME.2022.0, author={Artikis、Alexander和Posenato、Roberto和Tonetta、Stefano}, title={前面的问题,目录,序言,会议组织}}, booktitle={第29届时间表征与推理国际研讨会(TIME 2022)}, pages={0:i-0:xiv}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-262-4}, ISSN={1868-8969}, 年份={2022}, 体积={247}, editor={Artikis、Alexander和Posenato、Roberto和Tonetta、Stefano}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.TIME.2022.0 }, URN={URN:nbn:de:0030-drops-172473}, doi={10.4230/LIPIcs.TIME.2022.0}, 注释={关键词:前言、目录、前言、会议组织} }
@会议记录{vardi:LIPIcs.TIME.2022.1, author={Vardi,Moshe Y.}, title={{线性时间逻辑:从无限到有限视界}}, booktitle={第29届时间表示与推理国际研讨会(TIME 2022)}, 页面={1:1--1:1}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-262-4}, ISSN={1868-8969}, 年份={2022}, 体积={247}, editor={Artikis、Alexander和Posenato、Roberto和Tonetta、Stefano}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.TIME.2022.1 }, URN={URN:nbn:de:0030-drops-172481}, doi={10.4230/LIPIcs.TIME.2022.1}, annote={关键词:时态逻辑} }
@会议记录{miksch:LIPIcs.TIME.2022.2, author={Miksch,Silvia}, title={{可视化分析遇到时间推理:挑战和机遇}}, booktitle={第29届时间表征与推理国际研讨会(TIME 2022)}, 页数={2:1--2:1}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-262-4}, ISSN={1868-8969}, 年份={2022}, 体积={247}, editor={Artikis、Alexander和Posenato、Roberto和Tonetta、Stefano}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.TIME.2022.2 }, URN={URN:nbn:de:00030-drops-172490}, doi={10.4230/LIPIcs.TIME.2022.2}, annote={关键词:可视化分析,可视化,时间} }
@会议记录{vansummeren:LIPIcs.TIME.2022.3, author={Vansummeren,Stijn}, title={{到达复杂事件识别的核心}}, booktitle={第29届时间表征与推理国际研讨会(TIME 2022)}, 页数={3:1--3:2}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-262-4}, ISSN={1868-8969}, 年份={2022}, 体积={247}, editor={Artikis、Alexander和Posenato、Roberto和Tonetta、Stefano}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.TIME.2022.3 }, URN={URN:nbn:de:0030-drops-172503}, doi={10.4230/LIPIcs.TIME.2022.3}, annote={关键词:复杂事件识别、自动机、基于枚举的查询处理} }
@会议记录{mackey_et_al:LIPIcs.TIME.2022.4, author={Mackey、Isaac和Chimni、Raghubir和Su、Jianwen}, title={{时间约束冲突的早期检测}}, booktitle={第29届时间表征与推理国际研讨会(TIME 2022)}, 页数={4:1--4:16}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-262-4}, ISSN={1868-8969}, 年份={2022}, 体积={247}, editor={Artikis、Alexander和Posenato、Roberto和Tonetta、Stefano}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.TIME.2022.4 }, URN={URN:nbn:de:0030-drops-172519}, doi={10.4230/LIPIcs.TIME.2022.4}, annote={关键词:时间约束、监视、事件、早期违规检测} }
@会议记录{bruse_et_al:LIPIcs.TIME.2022.5, author={布鲁斯、弗洛里安和兰格、马丁和洛兹、艾蒂安}, title={{定时递归CTL}}的尾部递归片段, booktitle={第29届时间表征与推理国际研讨会(TIME 2022)}, 页数={5:1--5:16}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-262-4}, ISSN={1868-8969}, 年份={2022}, 体积={247}, editor={Artikis、Alexander和Posenato、Roberto和Tonetta、Stefano}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.TIME.2022.5 }, URN={URN:nbn:de:0030-drops-172527}, doi={10.4230/LIPIcs.TIME.2022.5}, annote={关键词:形式规范,时态逻辑,实时系统} }
@会议记录{roussanaly_et_al:LIPIcs.TIME.2022.6, author={卢萨纳利、维克多和法尔科内、伊莉\` {e} 秒 }, title={{定时正则表达式的分散运行时验证}}, booktitle={第29届时间表征与推理国际研讨会(TIME 2022)}, 页数={6:1--6:18}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-262-4}, ISSN={1868-8969}, 年份={2022}, 体积={247}, editor={Artikis、Alexander和Posenato、Roberto和Tonetta、Stefano}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.TIME.2022.6 }, URN={URN:nbn:de:0030-drops-172532}, doi={10.4230/LIPIcs.TIME.2022.6}, annote={关键词:定时表达式,定时属性,监视,运行时验证,分散系统,异步通信} }
@会议记录{guyet_et_al:LIPIcs.TIME.2022.7, author={Guyet、Thomas和Markey、Nicolas}, title={{编年史的逻辑形式}}, booktitle={第29届时间表征与推理国际研讨会(TIME 2022)}, 页数={7:1--7:15}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-262-4}, ISSN={1868-8969}, 年份={2022}, 体积={247}, editor={Artikis、Alexander和Posenato、Roberto和Tonetta、Stefano}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.TIME.2022.7 }, URN={URN:nbn:de:0030-drops-172542}, doi={10.4230/LIPIcs.TIME.2022.7}, annote={关键词:时态逻辑,时态模型} }
@会议记录{bhaskar_et_al:LIPIcs.TIME.2022.8, author={Bhaskar,Ashwin和Praveen,M.}, title={{约束LTL}}的可实现性问题, booktitle={第29届时间表征与推理国际研讨会(TIME 2022)}, 页数={8:1--8:19}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-262-4}, ISSN={1868-8969}, 年份={2022}, 体积={247}, editor={阿蒂基斯,亚历山大和波塞纳托,罗伯托和托内塔,斯特凡诺}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.TIME.2022.8 }, URN={URN:nbn:de:0030-drops-172556}, doi={10.4230/LIPIcs.TIME.2022.8}, annote={关键词:可实现性,约束LTL,策略树,树自动机} }
@会议记录{peltier:LIPIcs.TIME.2022.9, author={佩尔蒂埃,尼古拉斯}, title={{符号堆动态转换的推理}}, booktitle={第29届时间表征与推理国际研讨会(TIME 2022)}, 页数={9:1--9:20}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-262-4}, ISSN={1868-8969}, 年份={2022}, 体积={247}, editor={Artikis、Alexander和Posenato、Roberto和Tonetta、Stefano}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.TIME.2022.9 }, URN={URN:nbn:de:0030-drops-172566}, doi={10.4230/LIPIcs.TIME.2022.9}, annote={关键词:分离逻辑,符号堆,线性时序逻辑} }
@会议记录{guelev:LIPIcs.TIME.2022.10, author={Guelev,Dimitar P.}, title={{持续时间微积分的Gabbay分离}}, booktitle={第29届时间表征与推理国际研讨会(TIME 2022)}, 页数={10:1--10:14}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-262-4}, ISSN={1868-8969}, 年份={2022}, 体积={247}, editor={Artikis、Alexander和Posenato、Roberto和Tonetta、Stefano}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.10 }, URN={URN:nbn:de:0030-drops-172578}, doi={10.4230/LIPIcs.TIME.2022.10}, annote={关键词:Gabbay分离,邻域逻辑,持续时间微积分,扩展模式} }
@会议记录{bozzelli_et_al:LIPIcs.TIME.2022.11, author={博泽利、劳拉和佩隆、阿德里亚诺}, title={{无限词上区间时间逻辑的定量扩展}}, booktitle={第29届时间表征与推理国际研讨会(TIME 2022)}, 页数={11:1--11:16}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-262-4}, ISSN={1868-8969}, 年份={2022}, 体积={247}, editor={Artikis、Alexander和Posenato、Roberto和Tonetta、Stefano}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.11 }, URN={URN:nbn:de:0030-drops-172585}, doi={10.4230/LIPIcs.TIME.2022.11}, annote={关键词:区间时间逻辑,齐次假设,定量约束,模型检验,决策过程,复杂性问题,线性时间混合逻辑} }
@会议记录{apriceno_et_al:LIPIcs.TIME.2022.12, author={Apriceno、Gianluca和Passerini、Andrea和Serafini、Luciano}, title={{从弱监督中识别现实世界事件的神经符号方法}}, booktitle={第29届时间表征与推理国际研讨会(TIME 2022)}, 页数={12:1--12:19}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-262-4}, ISSN={1868-8969}, 年份={2022}, 体积={247}, editor={Artikis、Alexander和Posenato、Roberto和Tonetta、Stefano}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.12 }, URN={URN:nbn:de:0030-drops-172594}, doi={10.4230/LIPIcs.TIME.2022.12}, annote={关键词:结构化事件,时间事件检测,神经符号集成} }
@会议记录{pagliarini_et_al:LIPIcs.TIME.2022.13, 作者={Pagliarini、Giovanni和Scaboro、Simone和Serra、Giuseppe和Sciavicco、Guido和Stan、Ionel Eduard}, title={{多元时间序列分类的神经符号时间决策树}}, booktitle={第29届时间表征与推理国际研讨会(TIME 2022)}, 页数={13:1--13:15}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-262-4}, ISSN={1868-8969}, 年份={2022}, 体积={247}, editor={Artikis、Alexander和Posenato、Roberto和Tonetta、Stefano}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.13 }, URN={URN:nbn:de:0030-drops-172607}, doi={10.4230/LIPIcs.TIME.2022.13}, annote={关键词:机器学习、神经符号、时序逻辑、混合时序决策树} }
@会议记录{benerecetti_et_al:LIPIcs.TIME.2022.14, author={Benerecetti、Massimo和Mogavero、Fabio和Peron、Adriano}, title={{Taming Strategy Logic:非连续片段}}, booktitle={第29届时间表征与推理国际研讨会(TIME 2022)}, 页数={14:1--14:16}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-262-4}, ISSN={1868-8969}, 年份={2022}, 体积={247}, editor={Artikis、Alexander和Posenato、Roberto和Tonetta、Stefano}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.14 }, URN={URN:nbn:de:0030-drops-172611}, doi={10.4230/LIPIcs.TIME.2022.14}, annote={关键词:战略推理,多智能体系统,时态逻辑,可满足性} }
@会议记录{gutierrez_et_al:LIPIcs.TIME.2022.15, author={古铁雷斯、朱利安和克劳斯、萨里特和佩雷利、朱塞佩和伍尔德里奇、迈克尔}, title={{给出线性时序逻辑指令}}, booktitle={第29届时间表征与推理国际研讨会(TIME 2022)}, 页数={15:1--15:14}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-262-4}, ISSN={1868-8969}, 年份={2022}, 体积={247}, editor={Artikis、Alexander和Posenato、Roberto和Tonetta、Stefano}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.15 }, URN={URN:nbn:de:0030-drops-172622}, doi={10.4230/LIPIcs.TIME.2022.15}, annote={关键词:线性时序逻辑,综合,博弈论,多智能体系统} }