A.Bertagnon。;M.加瓦内利。;A.帕森蒂诺。;Sciavicco，G。;特雷维萨尼，S。 分支区间代数：一幅几乎完整的图画。 （英语） Zbl 1518.68356号 Inf.计算。 281，文章ID 104809，17 p.（2021）.MSC公司：68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Bertagnon}等人，《信息计算》。281，文章ID 104809，17 p.（2021；Zbl 1518.68356） 全文： DOI程序
Sioutis，迈克尔;沃尔特，迪德里奇 通过计算局部模型实现定性约束推理中的动态分支。 （英语） Zbl 1518.68352号 Inf.计算。 281，文章ID 104787，15 p.（2021）.MSC公司：68T20型 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Sioutis}和\textit{D.Wolter}，Inf.Comput。281，文章ID 104787，15 p.（2021；Zbl 1518.68352） 全文： DOI程序
Michael Sioutis先生;阿纳斯塔西亚·帕帕里佐;汤米·詹胡宁 定性空间和时间推理的邻域单样式一致性。 （英语） Zbl 1518.68351号 Inf.计算。 280，文章ID 104638，17 p.（2021）.MSC公司：68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Sioutis}等人，《信息计算》。280，文章ID 104638，17 p.（2021；Zbl 1518.68351） 全文： DOI程序 链接
Michael Sioutis先生;沃尔特，迪德里奇 通过计数局部模型实现定性约束网络中的动态分支。 （英语） Zbl 07760482号 穆尼奥斯·韦拉斯科，埃米利奥（编辑）等人，第27届时间表征和推理国际研讨会。《时代》2020，2020年9月23日至25日，意大利Bozen-Bolzano。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。178，第12条，第15页（2020年）。MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Sioutis}和\textit{D.Wolter}，LIPIcs——莱布尼茨国际程序。通知。178，第12条，第15页（2020；Zbl 07760482） 全文： DOI程序
亚历山德罗·贝尔塔尼翁;马可·加瓦内利;亚历山德罗·帕森蒂诺;圭多·西亚维科;斯特凡诺·特雷维萨尼 分支代数的Horn片段。 （英语） Zbl 07760475号 穆尼奥斯·韦拉斯科，埃米利奥（编辑）等人，第27届时间表征和推理国际研讨会。《时代》2020，2020年9月23日至25日，意大利Bozen-Bolzano。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。178，第5条，第16页（2020年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Bertagnon}等人，LIPIcs——莱布尼茨国际程序。通知。178，第5条，第16页（2020；Zbl 07760475） 全文： DOI程序
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） 全文： DOI程序 哈尔
马可·加瓦内利;亚历山德罗·帕森蒂诺;圭多·西亚维科 判定分支时间间隔网络的一致性。 （英语） Zbl 1487.68212号 Alechina，Natasha（编辑）等人，第25届时间表征和推理国际研讨会。《时代》2018，波兰华沙，2018年10月15日至17日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。120，第12条，第15页（2018年）。MSC公司：68T20型 68第05页 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.Gavanelli}等人，LIPIcs——莱布尼茨国际程序。通知。120，第12条，第15页（2018；Zbl 1487.68212） 全文： DOI程序
让-弗朗索瓦·康多塔;苏希拉·卡奇;雅库布Salhi 时间定性约束网络中的优化。 （英语） Zbl 1336.68244号 学报信息。 53，第2期，149-170（2016）.MSC公司：68T27型 68磅05分 2017年第68季度 65年第68季度 68兰特 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.-F.Condotta}等人，《信息学报》53，第2期，149--170（2016年；Zbl 1336.68244） 全文： DOI程序
伊莎贝尔·纳瓦雷特;安东尼奥·莫拉莱斯;圭多·西亚维科;Cardenas-Viedma，M.Antonia 具有矩形基数关系的空间推理。凸可处理子代数。 （英语） Zbl 1286.68432号 安。数学。工件。智力。 67，第1期，31-70（2013）.MSC公司：68立方英尺 68层37 PDF格式BibTeX公司 XML格式引用 \textit｛I.Navarrete｝等人，Ann.Math。工件。智力。67，第1号，第31-70号（2013；Zbl 1286.68432） 全文： DOI程序
恩吉亚·范姆（Duc Nghia Pham）;约翰·桑顿;阿卜杜勒·萨塔尔 将时间推理建模和求解为命题可满足性。 （英语） Zbl 1184.68485号 工件。智力。 172，第15期，1752-1782（2008）.MSC公司：68T27型 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.N.Pham}等人，Artif。智力。172，第15号，1752-1782（2008；Zbl 1184.68485） 全文： DOI程序 链接
史蒂文·肖卡特;马丁·德·科克 关于模糊区间的时间推理。 （英语） Zbl 1183.68620号 工件。智力。 172，编号8-9，1158-1193（2008）.MSC公司：68层37 PDF格式BibTeX公司 XML格式引用 \textit{S.Schockaert}和\textit{M.de Cock}，Artif。智力。172，编号8--9，1158--1193（2008；Zbl 1183.68620） 全文： DOI程序
A.伊斯利。;科恩，A.G。 利用三元关系代数对二维方向进行循环排序的一种新方法。 （英语） Zbl 0948.68170号 工件。智力。 122，编号1-2，137-187（2000）.MSC公司：68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Isli}和\textit{A.G.Cohn}，Artif。智力。122，编号1--2，137-187（2000；Zbl 0948.68170） 全文： DOI程序
托马斯·德拉肯格伦;彼得·琼森 艾伦代数中关于基本关系子集的可处理性的完整分类。 （英语） Zbl 0910.68082号 工件。智力。 106，第2期，205-219（1998）.MSC公司：2015年第68季度 68时01分 PDF格式BibTeX公司 XML格式引用 \textit{T.Drakengren}和\textit{P.Jonsson}，Artif。智力。106，第2号，205--219（1998；Zbl 0910.68082） 全文： DOI程序
托马斯·德拉肯格伦;彼得·琼森 艾伦代数的21个大的易驾驭的子类。 （英语） Zbl 1017.03514号 工件。智力。 93，编号1-2，297-319（1997）.MSC公司：03B70号 03B44号 68T27型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛T.Drakengren｝和\textit｛P.Jonsson｝，人工制品。智力。93，编号1--2，297--319（1997；Zbl 1017.03514） 全文： DOI程序