埃米利奥·穆尼奥斯·韦拉斯科（编辑）;安娜·奥扎基（编辑）;马丁·西奥博尔德（编辑） 第27届时间表征与推理国际研讨会。《时代》2020，2020年9月23日至25日，意大利Bozen-Bolzano。诉讼程序。 （英语） Zbl 1443.68018号 LIPIcs–莱布尼茨国际信息学会议录178.瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-167-2）。xi，19篇文章，非连续页面，仅电子版，开放存取（2020年）。 将索引文章显示为搜索结果。 对数学感兴趣的文章将单独复习。关于上一次研讨会，请参见[Zbl 1423.68024号].索引文章：亚历山德罗·贝尔塔尼翁；马可·加瓦内利（Marco Gavanelli）；亚历山德罗·帕森蒂诺（Alessandro Passantino）；Sciavicco，Guido；斯特凡诺·特雷维萨尼，分支代数的Horn片段，第5条，第16页[Zbl 07760475号]弗洛里安·布鲁斯；马丁·兰格《带递归的时态逻辑》，第6条，第14页[Zbl 1530.03069号]卡塔琳·安德烈（Catalin-Andrei Ilie）；詹姆斯·本·沃雷尔，参数模型检查连续时间马尔可夫链，第7条，第18页[Zbl 07760477号]程泽辉；Phokion G.科莱提斯。《时态数据交换的通用解决方案》，第8条，第17页[Zbl 07760478号]Sciavicco，Guido；Stan、Ionel Eduard，利用区间时间逻辑决策树进行知识提取，第9条，第16页[兹伯利07760479]Sciavicco，Guido；马泰奥·扎瓦特里（Matteo Zavateri）；蒂齐亚诺别墅，挖掘重要的时间网络是多项式的，第11、12页[兹伯利07760481]Michael Sioutis；沃尔特，迪德里奇，通过计算局部模型在定性约束网络中的动态分支，第12条，第15页[Zbl 07760482号]亚历克斯·阿布因；亚历山大·博洛托夫（Alexander Bolotov）；蒙特塞拉特赫莫；帕基·卢西奥，CTL和ECTL的基于上下文的单通道表格系统，第14条，第20页[Zbl 1530.03068号]黛拉·莫妮卡，达里奥；尼古拉·吉甘特（Nicola Gigante）；萨尔瓦多拉托雷；安吉洛·蒙塔纳里，基于时间线的定性规划的复杂性，第16条，第13页[Zbl 07760486号]巴托斯·贝德纳西克；彼得·维特科夫斯基，关于在有限数据字上解释的\（\mathbb{C}^2）的注释，第17条，第14页[Zbl 1530.03049号]赫林斯，杰勒；吴玉清，Stab-foreast:高效时态查询处理的动态数据结构，第18、19页[Zbl 07760488号]阿纳塞·查菲克；Fahima Cheikh-Alili；Jean-François Condotta；伊万·瓦尔津扎克关于优惠长期贷款的一部分的可判定性，第19条，第19页[Zbl 1530.03050号] 引用于1审查 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 03B44号 时序逻辑 60年第68季度 规范和验证（程序逻辑、模型检查等） 68T27型 人工智能中的逻辑 00B25型 杂项特定利益的会议记录 引文：Zbl 1423.68024号 PDF格式BibTeX公司 XML格式引用 \textit{E.Muñoz-Velasco}（ed.）等人，第27届时间表征和推理国际研讨会。《时代》2020，2020年9月23日至25日，意大利博赞博尔扎诺。诉讼程序。Wadern:Schloss Dagstuhl-Leibniz Zentrum für Informatik出版社（2020；兹bl 1443.68018） 全文： 内政部 链接 参考文献： [1] 设计约束让·古约马尔赫（Jean Guyomarc'h）、弗朗索瓦·格雷特（François Guerret）、比拉尔·梅贾蒂（Bilal El Mejjati）、艾曼纽尔·奥哈永（Emmanuel Ohayon）、巴斯蒂恩·芬克（Bastien Vince）和阿兰·梅里戈。13:1-13:15 [2] 用于CTL和ECTL的一次性基于上下文的Tableaux系统Alex Abuin、Alexander Bolotov、Montserrat Hermo和Paqui Lucio。14:1-14:20 TESL：用于建模和仿真的公制时间模型Hai Nguyen Van、Frédéric Boulanger和Burkhart Wolff。15:1-15:15 [3] 基于时间线的定性规划的复杂性达里奥·德拉·莫尼卡（Dario Della Monica）、尼古拉·吉甘特（Nicola Gigante）、萨尔瓦多·拉托雷（Salvatore La Torre）和安吉洛·蒙塔纳里（Angelo Montanari）。16:1-16:13 [4] 关于有限数据上解释的C2的注记——Bartosz Bednarczyk和Piotr Witkowski。17:1-17:14 [5] 刺林：用于高效时间查询处理的动态数据结构Jelle Hellings和Yuqing Wu。18:1-18:19 [6] 关于优先LTL片段的可决定性Anasse Chafik、Fahima Cheikh-Alili、Jean-François Condotta和Ivan Varzinczak 19:1-19:19以及推理（《时代》2020）。编辑：Emilio Muñoz-Velasco、Ana Ozaki和Martin Theobald Leibniz International Proceedings in Informatics Schloss Dagstuhl-Leibniz-Zentrum für Informatik，Dagstull Publishing，Germany 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。