《理论计算机科学》第797卷
第797卷,2019年12月
斯文·舍韦 , 托马斯·施奈德 , 杰夫·威森 :
时间表征和推理专刊(TIME 2017)。 1 马西莫·开罗 , 罗密奥·里兹 :
具有不确定性的简单时态网络的动态可控性:简单规则和快速实时执行。 2-16 迈克尔·西奥蒂斯 , 安娜斯塔西亚·帕帕里佐 , Jean-François Condotta女士 :
定性约束网络的基于集体单点的一致性:理论与实践。 17-41 安托万·阿马里利 , 穆哈马杜·拉明巴 , 丹尼尔·德伊奇 , 皮埃尔·塞内拉特 :
在订单不完整数据上计算可能的和确定的答案。 42-76 马泰奥·扎瓦泰里 , 卢卡·维甘 :
具有不确定性和决策的条件简单时间网络。 77-101 普尔泽米斯瓦夫·安德烈·瓦莱加(Przemyslaw Andrzej Walega) :
Halpern-Shoham逻辑的混合片段及其表达能力。 102-128 瓦伦丁·戈兰科 , 安蒂·库西斯托 , 雷恩·Rönnholm :
具有有限有界语义的交替时间时序逻辑ATL。 129-155
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)