瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm 具有有限有界语义的交替时间-时间逻辑ATL。 (英语) Zbl 1434.03067号 西奥。计算。科学。 797, 129-155 (2019).MSC公司:03B44号 03B25号 2017年第68季度 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}等人,Theor。计算。科学。797、129--155(2019年;Zbl 1434.03067) 全文: 内政部
瓦文加,普热米斯瓦夫·安德热伊 Halpern-Shoham逻辑的混合片段及其表达能力。 (英语) Zbl 1434.03068号 西奥。计算。科学。 797, 102-128 (2019).MSC公司:03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \文本{P.A.Waęga},Theor。计算。科学。797102-128(2019年;Zbl 1434.03068) 全文: 内政部 链接
马特奥·扎瓦特里;卢卡·维甘诺 具有不确定性和决策的条件简单时间网络。 (英语) Zbl 1434.68552号 西奥。计算。科学。 797, 77-101 (2019).MSC公司:68T20型 65年第68季度 93个B03 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{M.Zavatteri}和\textit{L.Vigan“},Theor。计算。科学。797,77-101(2019年;Zbl 1434.68552) 全文: 内政部 链接
安托万·阿马里利;巴,穆哈马杜·拉明;丹尼尔·多伊奇;皮埃尔·塞内拉特 在订单不完整数据上计算可能的和确定的答案。 (英语) Zbl 1434.68138号 西奥。计算。科学。 797, 42-76 (2019).MSC公司:第68页,共15页 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Amarilli}等人,Theor。计算。科学。797、42-76(2019年;Zbl 1434.68138) 全文: 内政部 arXiv公司
Michael Sioutis先生;阿纳斯塔西亚·帕帕里佐;Jean-François康多塔 定性约束网络的基于集体单点的一致性:理论与实践。 (英语) Zbl 1435.68322号 西奥。计算。科学。 797, 17-41 (2019).MSC公司:68立方英尺 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Sioutis}等人,Theor。计算。科学。797、17-41(2019年;Zbl 1435.68322) 全文: 内政部 哈尔
马西莫开罗;罗密欧·里兹 具有不确定性的简单时态网络的动态可控性:简单规则和快速实时执行。 (英语) Zbl 1434.68544号 西奥。计算。科学。 797,2-16(2019).MSC公司:68T20型 64岁以下 60年第68季度 93个B05 PDF格式BibTeX公司 XML格式引用 \textit{M.Cairo}和\textit{R.Rizzi},Theor。计算。科学。797,2--16(2019年;Zbl 1434.68544) 全文: 内政部
斯文·舍韦(编辑);托马斯·施耐德(编辑);杰夫·威森(编辑) 时间表征和推理专题(TIME 2017)。 (英语) Zbl 1434.68032号 西奥。计算。科学。 797,第1页(2019年).MSC公司:68-06 03B44号 60年第68季度 第68页第27页 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Schewe}(编辑)等人,Theor。计算。科学。797,1页(2019年;Zbl 1434.68032) 全文: 内政部