第27届时间表征与推理国际研讨会（TIME 2020）

摘要

引用为

第27届时间表征与推理国际研讨会（《时代》2020）。莱布尼茨国际信息学论文集（LIPIcs），第178卷，第1-292页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2020）

@会议记录{munozvelasco_et_al:LIPIcs.TIME.2020，title={{LIPIcs，第178卷，时代2020，完整卷}}，booktitle={第27届时间表征与推理国际研讨会（TIME 2020）}，页数={1--292}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-167-2}，ISSN={1868-8969}，年份={2020年}，体积={178}，editor={亩\~{n} oz-Velasco公司埃米利奥和奥扎基，安娜和西奥博尔德，马丁}，publisher＝｛Schloss Dagstuhl-Leibniz Zentrum f｛\“u｝r Informatik｝，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020},URN={URN:nbn:de:0030-drops-129670}，doi＝{10.4230/LIPIcs.TIME.2020}，annote={关键词：LIPIcs，第178卷，TIME 2020，完整卷}}

摘要

引用为

第27届时间表征与推理国际研讨会（《时代》2020）。莱布尼茨国际信息学论文集（LIPIcs），第178卷，第0:i-0:xiv页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2020）

@会议记录{munozvelasco_et_al:LIPIcs.TIME.2020.0，author={穆\~{n} oz-Velasco公司埃米利奥和奥扎基，安娜和西奥博尔德，马丁}，title＝{前面的问题，目录，序言，会议组织}}，booktitle={第27届时间表征与推理国际研讨会（TIME 2020）}，页面={0:i--0:xiv}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-167-2}，ISSN={1868-8969}，年份={2020年}，体积={178}，editor={亩\~{n} oz-Velasco公司，埃米利奥和小崎，安娜和西奥博尔德，马丁}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.TIME.2020.0},URN＝{URN:nbn:de:00030-drops-129688}，doi={10.4230/LIPIcs.TIME.2020.0}，注释={关键词：前言、目录、前言、会议组织}}

摘要

引用为

克莱尔·狄克逊。验证自主机器人：挑战与反思（受邀演讲）。第27届时间表征与推理国际研讨会（《时代》2020）。莱布尼茨国际信息学论文集（LIPIcs），第178卷，第1:1-1:4页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2020）

@会议记录{dixon:LIPIcs.TIME.2020.1，author={Dixon，Clare}，title={{验证自主机器人：挑战与反思}}，booktitle={第27届时间表征与推理国际研讨会（TIME 2020）}，pages＝{1:1至1:4}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-167-2}，ISSN={1868-8969}，年份={2020年}，体积={178}，editor={亩\~{n} oz-Velasco公司埃米利奥和奥扎基，安娜和西奥博尔德，马丁}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.TIME.2020.1},URN＝{URN:nbn:de:00030-drops-129697}，doi={10.4230/LIPIcs.TIME.2020.1}，annote={关键词：验证，自主机器人}}

摘要

引用为

佩德罗·卡巴拉尔。答案集编程中的时间模式（邀请谈话）。第27届时间表征与推理国际研讨会（《时代》2020）。莱布尼茨国际信息学论文集（LIPIcs），第178卷，第2:1-2:5页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2020）

@会议记录{cabalar:LIPIcs.TIME.2020.2，作者={Cabalar，Pedro}，title={{答案集编程中的时间模式}}，booktitle={第27届时间表征与推理国际研讨会（TIME 2020）}，页数={2:1--2:5}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-167-2}，ISSN={1868-8969}，年份={2020年}，体积={178}，editor={亩\~{n} oz-Velasco公司埃米利奥和奥扎基，安娜和西奥博尔德，马丁}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.TIME.2020.2},URN={URN:nbn:de:0030-drops-129707}，doi={10.4230/LIPIcs.TIME.2020.2}，annote={关键词：逻辑编程，时态逻辑，答案集编程，模态逻辑}}

摘要

引用为

约翰·埃德尔（Johann Eder）和马可·弗朗西切蒂（Marco Franceschetti）。时间和业务流程管理：问题、成就、挑战（受邀演讲）。第27届时间表征与推理国际研讨会（《时代》2020）。莱布尼茨国际信息学论文集（LIPIcs），第178卷，第3:1-3:8页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2020）

@会议记录{eder_et_al:LIPIcs.TIME.2020.3，author={Eder，Johann和Franceschetti，Marco}，title={{时间和业务流程管理：问题、成就、挑战}}，booktitle={第27届时间表征与推理国际研讨会（TIME 2020）}，页数={3:1--3:8}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-167-2}，ISSN={1868-8969}，年份={2020年}，体积={178}，editor={亩\~{n} oz-Velasco公司埃米利奥和奥扎基，安娜和西奥博尔德，马丁}，publisher＝｛Schloss Dagstuhl-Leibniz Zentrum f｛\“u｝r Informatik｝，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.TIME.2020.3},URN={URN:nbn:de:0030-drops-129716}，doi＝{10.4230/LIPIcs.TIME.2020.3}，annote={关键词：业务流程管理，时间约束，调度，流程演化，概率可控性}}

摘要

引用为

马可·弗朗西切蒂（Marco Franceschetti）和约翰·埃德尔（Johann Eder）。协商跨组织业务流程中的临时承诺。第27届时间表征与推理国际研讨会（《时代》2020）。莱布尼茨国际信息学论文集（LIPIcs），第178卷，第4:1-4:15页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2020）

@在诉讼中{francischetti_et_al:LIPIcs.TIME.2020.4，author={Franceschetti，Marco和Eder，Johann}，title={{跨组织业务流程中协商时间承诺}}，booktitle={第27届时间表征与推理国际研讨会（TIME 2020）}，页数={4:1--4:15}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-167-2}，ISSN={1868-8969}，年份={2020年}，体积＝{178}，editor={亩\~{n} oz-Velasco公司埃米利奥和奥扎基，安娜和西奥博尔德，马丁}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.TIME.2020.4},URN={URN:nbn:de:0030-drops-129729}，doi={10.4230/LIPIcs.TIME.2020.4}，annote＝｛关键词：跨组织流程，时间参数，范围协商｝}

摘要

引用为

亚历山德罗·贝尔塔格农（Alessandro Bertagnon）、马可·加瓦内利（Marco Gavanelli）、亚历山德里·帕森蒂诺（Alessadro Passantino）、吉多·西亚维科（Guido Sciavicco）和斯特凡诺·特雷维萨尼（Stefano Trevisani）。分支代数的Horn片段。第27届时间表征与推理国际研讨会（《时代》2020）。莱布尼茨国际信息学论文集（LIPIcs），第178卷，第5:1-5:16页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2020）

@会议记录{bertagnon_et_al:LIPIcs.TIME.2020.5，author={贝塔尼翁、亚历山德罗和加瓦内利、马可和帕森蒂诺、亚历桑德罗和西亚维科、圭多和特雷维萨尼、斯特凡诺}，title={{分支代数的Horn片段}}，booktitle={第27届时间表征与推理国际研讨会（TIME 2020）}，页数={5:1--5:16}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-167-2}，ISSN={1868-8969}，年份={2020年}，体积={178}，编辑器=｛Mu\~{n} oz-Velasco公司埃米利奥和奥扎基，安娜和西奥博尔德，马丁}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.TIME.2020.5},URN={URN:nbn:de:0030-drops-129736}，doi={10.4230/LIPIcs.TIME.2020.5}，annote={关键词：约束编程，一致性，分支时间，Horn Fragment}}

摘要

引用为

弗洛里安·布鲁斯和马丁·兰格。递归时态逻辑。第27届时间表征与推理国际研讨会（《时代》2020）。莱布尼茨国际信息学论文集（LIPIcs），第178卷，第6:1-6:14页，达格斯图尔-莱布尼兹-泽特鲁姆信息学院（2020）

@会议记录{bruse_et_al:LIPIcs.TIME.2020.6，作者={布鲁斯、弗洛里安和兰格、马丁}，title={{带递归的时态逻辑}}，booktitle={第27届时间表征与推理国际研讨会（TIME 2020）}，页数={6:1--6:14}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-167-2}，ISSN={1868-8969}，年份={2020年}，体积={178}，editor={亩\~{n} oz-Velasco公司埃米利奥和奥扎基，安娜和西奥博尔德，马丁}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.TIME.2020.6},URN={URN:nbn:de:0030-drops-129748}，doi={10.4230/LIPIcs.TIME.2020.6}，annote={关键词：形式规范、时序逻辑、表达能力}}

摘要

引用为

卡塔琳·安德烈·伊利和詹姆斯·本·沃雷尔。参数模型检查连续时间马尔可夫链。第27届时间表征与推理国际研讨会（《时代》2020）。莱布尼茨国际信息学论文集（LIPIcs），第178卷，第7:1-7:18页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2020）

@会议记录{ilie_et_al:LIPIcs.TIME.2020.7，author={伊利、卡塔琳·安德烈和沃雷尔、詹姆斯·本}，title={{参数模型检查连续时间马尔可夫链}}，booktitle={第27届时间表征与推理国际研讨会（TIME 2020）}，页数={7:1--7:18}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-167-2}，ISSN={1868-8969}，年份={2020年}，体积={178}，editor={亩\~{n} oz-Velasco公司埃米利奥和奥扎基，安娜和西奥博尔德，马丁}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.TIME.2020.7},URN={URN:nbn:de:0030-drops-129752}，doi＝{10.4230/LIPIcs.TIME.2020.7}，annote={关键词：概率连续随机逻辑，连续时间马尔可夫链，模型检验，Schanuel猜想，正问题}}

摘要

引用为

郑泽慧和Phokion G.Kolaitis。时态数据交换的通用解决方案。第27届时间表征与推理国际研讨会（《时代》2020）。莱布尼茨国际信息学论文集（LIPIcs），第178卷，第8:1-8:17页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2020）

@会议记录{cheng_et_al:LIPIcs.TIME.2020.8，作者={Cheng，Zehui and Kolaitis，Phokion G.}，title={{时态数据交换中的通用解决方案}}，booktitle={第27届时间表征与推理国际研讨会（TIME 2020）}，页数={8:1--8:17}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-167-2}，ISSN={1868-8969}，年份={2020年}，体积＝{178}，editor={亩\~{n} oz-Velasco公司埃米利奥和奥扎基，安娜和西奥博尔德，马丁}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址＝{Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.TIME.2020.8},URN={URN:nbn:de:0030-drops-129763}，doi={10.4230/LIPIcs.TIME.2020.8}，annote={关键词：时态数据库，数据库依赖，数据交换，通用解决方案，抽象时间，具体时间，艾伦关系}}

摘要

引用为

Guido Sciavicco和Ionel Eduard Stan。基于区间时序逻辑决策树的知识提取。第27届时间表征与推理国际研讨会（《时代》2020）。《莱布尼茨国际信息学论文集》，第178卷，第9:1-9:16页，Schloss Dagstuhl–Leibniz Zentrum für Informatik（2020）

@会议记录{sciavicco_et_al:LIPIcs.TIME.2020.9，author={Sciavicco、Guido和Stan、Ionel Eduard}，title={{基于区间时序逻辑决策树的知识提取}}，booktitle={第27届时间表征与推理国际研讨会（TIME 2020）}，页数={9:1--9:16}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-167-2}，ISSN={1868-8969}，年份={2020年}，体积={178}，editor={亩\~{n} oz-Velasco公司，埃米利奥和小崎，安娜和西奥博尔德，马丁}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.TIME.2020.9},URN={URN:nbn:de:0030-drops-129776}，doi={10.4230/LIPIcs.TIME.2020.9}，annote={关键词：区间时序逻辑，决策树，可解释人工智能，时间序列}}

摘要

引用为

奥列·苏珊娜（Aurélie Suzanne）、纪尧姆·拉希亚（Guillaume Raschia）、何塞·马丁内斯（JoséMartinez）和达米安·塔塞蒂（Damien Tassetti）。窗口切换技术扩展到跨事件流。第27届时间表征与推理国际研讨会（《时代》2020）。莱布尼茨国际信息学论文集（LIPIcs），第178卷，第10:1-10:14页，达格斯图尔-莱布尼兹-泽特鲁姆信息学院（2020）

@会议记录{suzanne_et_al:LIPIcs.TIME.2020.10，作者=｛Suzanne，Aur｝{e} 谎言拉西娅、纪尧姆、马丁内斯、乔斯、塔塞蒂、达米安，title={{窗口分离技术扩展到跨事件流}}，booktitle={第27届时间表征与推理国际研讨会（TIME 2020）}，页数={10:1--10:14}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-167-2}，ISSN={1868-8969}，年份={2020年}，体积={178}，editor={亩\~{n} oz-Velasco公司埃米利奥和奥扎基，安娜和西奥博尔德，马丁}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.10},URN={URN:nbn:de:0030-drops-129783}，doi={10.4230/LIPIcs.TIME.2020.10}，annote={关键词：数据流，跨事件，时间聚集，滑动窗口}}

摘要

引用为

Guido Sciavicco、Matteo Zavateri和Tiziano Villa。挖掘重要的时间网络是多项式的。第27届时间表征与推理国际研讨会（《时代》2020）。莱布尼茨国际信息学论文集（LIPIcs），第178卷，第11:1-11:12页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2020）

@会议记录{sciavicco_et_al:LIPIcs.TIME.2020.11，author={Sciavicco、Guido和Zavateri、Matteo和Villa、Tiziano}，title={{挖掘重要时间网络是多项式}}，booktitle={第27届时间表征与推理国际研讨会（TIME 2020）}，页数={11:1--11:12}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-167-2}，ISSN={1868-8969}，年份={2020年}，体积={178}，editor={亩\~{n} oz-Velasco公司埃米利奥和奥扎基，安娜和西奥博尔德，马丁}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.11},URN={URN:nbn:de:0030-drops-129792}，doi={10.4230/LIPIcs.TIME.2020.11}，annote={关键词：挖掘时间约束、cstnud、不确定性、重要时间网络}}

摘要

引用为

Michael Sioutis和Diedrich Wolter。通过计算局部模型实现定性约束网络的动态分支。第27届时间表征与推理国际研讨会（《时代》2020）。莱布尼茨国际信息学论文集（LIPIcs），第178卷，第12:1-12:15页，达格斯图尔-莱布尼兹-泽特鲁姆信息学院（2020）

@会议记录{sioutis_et_al:LIPIcs.TIME.2020.12，作者＝{Sioutis，Michael和Wolter，Diedrich}，title={{通过计算局部模型在定性约束网络中进行动态分支}}，booktitle={第27届时间表征与推理国际研讨会（TIME 2020）}，页数={12:1--12:15}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-167-2}，ISSN={1868-8969}，年份={2020年}，体积={178}，编辑器=｛Mu\~{n} oz-Velasco公司埃米利奥和奥扎基，安娜和西奥博尔德，马丁}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.12},URN={URN:nbn:de:0030-drops-129802}，doi={10.4230/LIPIcs.TIME.2020.12}，annote={关键词：定性约束、空间和时间推理、计算局部模型、动态分支、自适应算法}}

摘要

引用为

让·古约马尔赫、弗朗索瓦·格雷特、比拉尔·梅贾蒂、伊曼纽尔·奥哈永、巴斯蒂恩·芬克和阿兰·梅里戈。非同时性作为设计约束。第27届时间表征与推理国际研讨会（《时代》2020）。莱布尼茨国际信息学论文集（LIPIcs），第178卷，第13:1-13:15页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2020）

@会议记录{guyomarch_et_al:LIPIcs.TIME.2020.13，author={Guyomarc'h，Jean和Guerret，Franc\c{c} 操作系统还有El Mejjati、Bilal和Ohayon、Emmanuel和Vinke、Bastien和M\'{e} 套语，阿兰}，title={{非同时性作为设计约束}}，booktitle={第27届时间表征与推理国际研讨会（TIME 2020）}，页数={13:1--13:15}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-167-2}，ISSN={1868-8969}，年份={2020年}，体积={178}，编辑器=｛Mu\~{n} oz-Velasco公司埃米利奥和奥扎基，安娜和西奥博尔德，马丁}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.13},URN={URN:nbn:de:0030-drops-129819}，doi={10.4230/LIPIcs.TIME.2020.13}，annote={关键词：时间推理、时间约束、系统规范和验证}}

摘要

引用为

亚历克斯·阿布因（Alex Abuin）、亚历山大·博洛托夫（Alexander Bolotov）、蒙特塞拉特·赫莫（Montserrat Hermo）和帕基·卢西奥（Paqui Lucio）。CTL和ECTL的一通基于上下文的Tableaux系统。第27届时间表征与推理国际研讨会（《时代》2020）。莱布尼茨国际信息学论文集（LIPIcs），第178卷，第14:1-14:20页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2020）

@会议记录{abuin_et_al:LIPIcs.TIME.2020.14，author={Abuin、Alex和Bolotov、Alexander和Hermo、Montserrat和Lucio、Paqui}，title={{CTL和ECTL的单通道上下文表辅助系统}}，booktitle={第27届时间表征与推理国际研讨会（TIME 2020）}，页数={14:1--14:20}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-167-2}，ISSN={1868-8969}，年份={2020年}，体积={178}，editor={亩\~{n} oz-Velasco公司埃米利奥和奥扎基，安娜和西奥博尔德，马丁}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.14},URN={URN:nbn:de:0030-drops-129824}，doi＝{10.4230/LIPIcs.TIME.200.14}，annote={关键词：时间逻辑、公平性、表达性、分支时间}}

摘要

引用为

Hai Nguyen Van、Frédéric Boulanger和Burkhart Wolff。TESL：用于建模和仿真的具有度量时间的模型。第27届时间表征与推理国际研讨会（《时代》2020）。莱布尼茨国际信息学论文集（LIPIcs），第178卷，第15:1-15:15页，达格斯图尔-莱布尼兹-泽特鲁姆信息学院（2020）

@会议记录{nguyenvan_et_al:LIPIcs.TIME.2020.15，author={Nguyen Van，Hai和Boulanger，Fr{e} d日\'{e} 里克和沃尔夫·伯克哈特}，title={{TESL:建模与仿真的公制时间模型}}，booktitle＝{第27届时间表示与推理国际研讨会（TIME 2020）}，页数={15:1--15:15}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-167-2}，ISSN={1868-8969}，年份={2020年}，体积={178}，editor={亩\~{n} oz-Velasco公司，埃米利奥和小崎，安娜和西奥博尔德，马丁}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.15},URN={URN:nbn:de:0030-drops-129837}，doi={10.4230/LIPIcs.TIME.2020.15}，annote={关键词：时间系统，语义，模型，模拟}}

摘要

引用为

Dario Della Monica、Nicola Gigante、Salvatore La Torre和Angelo Montanari。基于时间线的定性规划的复杂性。在第27届时间表征与推理国际研讨会（TIME 2020）上。莱布尼茨国际信息学论文集（LIPIcs），第178卷，第16:1-16:13页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2020）

@会议记录{dellamonica_et_al:LIPIcs.TIME.2020.16，author={Della Monica、Dario和Gigante、Nicola和La Torre、Salvatore和Montanari、Angelo}，title={{基于时间线的定性规划的复杂性}}，booktitle={第27届时间表征与推理国际研讨会（TIME 2020）}，页数={16:1--16:13}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-167-2}，ISSN={1868-8969}，年份={2020年}，体积={178}，编辑器=｛Mu\~{n} oz-Velasco公司埃米利奥和奥扎基，安娜和西奥博尔德，马丁}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.16},URN={URN:nbn:de:0030-drops-129847}，doi={10.4230/LIPIcs.TIME.2020.16}，annote={关键词：基于时间的规划，定性时间约束，复杂性}}

摘要

引用为

Bartosz Bednarczyk和Piotr Witkowski。关于有限数据字上解释的C²的注记。第27届时间表征与推理国际研讨会（《时代》2020）。《莱布尼茨国际信息学论文集》，第178卷，第17:1-17:14页，Schloss Dagstuhl–Leibniz Zentrum für Informatik（2020）

@会议记录{bednarczyk_et_al:LIPIcs.TIME.2020.17，author={Bednarczyk、Bartosz和Witkowski、Piotr}，title={{关于有限数据字}}上解释的C²的注释，booktitle={第27届时间表征与推理国际研讨会（TIME 2020）}，页数={17:1--17:14}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-167-2}，ISSN={1868-8969}，年份={2020年}，体积={178}，editor={亩\~{n} oz-Velasco公司埃米利奥和奥扎基，安娜和西奥博尔德，马丁}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.17},URN={URN:nbn:de:0030-drops-129850}，doi={10.4230/LIPIcs.TIME.2020.17}，annote={关键词：双变量逻辑、数据字、VASS、可判定性、不可判定性和计数}}

摘要

引用为

Jelle Hellings和Yuqing Wu。Stab-Forests:高效时态查询处理的动态数据结构。第27届时间表征与推理国际研讨会（《时代》2020）。莱布尼茨国际信息学论文集（LIPIcs），第178卷，第18:1-18:19页，达格斯图尔-莱布尼兹-泽特鲁姆信息学院（2020）

@会议记录{hellings_et_al:LIPIcs.TIME.2020.18，author={Hellings、Jelle和Wu、Yuqing}，title={{Stab-Forests:高效时态查询处理的动态数据结构}}，booktitle={第27届时间表征与推理国际研讨会（TIME 2020）}，页数={18:1--18:19}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-167-2}，ISSN={1868-8969}，年份={2020年}，体积={178}，编辑器=｛Mu\~{n} oz-Velasco公司埃米利奥和奥扎基，安娜和西奥博尔德，马丁}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，网址={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.18},URN={URN:nbn:de:0030-drops-129869}，doi={10.4230/LIPIcs.TIME.2020.18}，annote={关键词：缓存友好的时态连接、时态数据、倾斜数据、插入查询、时态索引}}

摘要

引用为

Anasse Chafik、Fahima Cheikh-Alili、Jean-François Condotta和Ivan Varzinczak。优惠长期贷款片段的可决定性。在第27届时间表征与推理国际研讨会（TIME 2020）上。莱布尼茨国际信息学论文集（LIPIcs），第178卷，第19:1-19:19页，达格斯图尔-莱布尼兹-泽特鲁姆信息学院（2020）

@会议记录{chafik_et_al:LIPIcs.TIME.2020.19，author={Chafik、Anasse和Cheikh-Alili、Fahima和Condotta、Jean-Fran\c{c} 操作系统和Varzinczak，Ivan}，title={{关于优先LTL}}片段的可判定性，booktitle={第27届时间表征与推理国际研讨会（TIME 2020）}，页数={19:1--19:19}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-167-2}，ISSN={1868-8969}，年份={2020年}，体积={178}，editor={亩\~{n} oz-Velasco公司埃米利奥和奥扎基，安娜和西奥博尔德，马丁}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址＝{Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.19},URN={URN:nbn:de:0030-drops-129871}，doi={10.4230/LIPIcs.TIME.2020.19}，annote={关键词：知识表示，非单调推理，时序逻辑}}