威廉·康雷迪；黛拉·莫妮卡，达里奥；埃米利奥·穆尼奥斯·韦拉斯科；圭多·西亚维科；Stan、Ionel Eduard Fuzzy-Harpern和Shoham的区间时间逻辑。 （英语） Zbl 1522.03069号 模糊集系统。 456, 107-124 (2023).MSC公司：03B52号 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Conradie}等人，《模糊集系统》。456107-124（2023年；Zbl 1522.03069） 全文： 内政部
Wałga，Przemys aw Andrzej 混合区间时序逻辑的计算复杂性。 （英语） Zbl 1512.03029号 Ann.纯粹应用。逻辑 174，第1号，文章ID 103165，33页（2023）. 审核人：贾科莫·伦齐（费西亚诺） MSC公司：03B44号 03B70号 03B45号 68T27型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Waęga}，Ann.纯应用。逻辑174，第1号，文章ID 103165，33页（2023；Zbl 1512.03029） 全文： 内政部
阿纳州阿尔梅达博尔赫斯；科内杰罗·罗德里格斯（Conejero Rodríguez）、胡安·何塞（Juan José）；大卫·费尔南德斯·杜克；米雷亚González Bedmar；Joost J.乔斯特恩。 驾驶或不驾驶：对欧洲运输法规的逻辑和计算分析。 （英语） Zbl 1522.03100号 Inf.计算。 280，文章ID 104636，15 p.（2021）.MSC公司：03B80号 03B44号 03B70号 2017年第68季度 90B06型 PDF格式BibTeX公司 XML格式引用 \textit{A.de Almeida Borges}等人，《信息计算》。280，文章ID 104636，15 p.（2021；Zbl 1522.03100） 全文： 内政部
威廉·康雷迪；萨利赫·杜尔汗；圭多·西亚维科 线性阶上点和区间的综合一阶理论。二、。 （英语） 兹比尔1528.03134 日志。方法计算。科学。 16，第2号，第1号论文，33页（2020年）.MSC公司：03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit｛W.Conradie｝等人，日志。方法计算。科学。16，第2号，第1号论文，33页（2020；Zbl 1528.03134） 全文： arXiv公司 链接
埃米利奥·穆尼奥斯·韦拉斯科；佩莱格林，梅赛德斯；皮埃特罗·萨拉；圭多·西亚维科；Stan、Ionel Eduard 关于粗区间时序逻辑。 （英语） Zbl 1480.03010号 Artif公司。智力。 266, 1-26 (2019).MSC公司：03B44号 65年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{E.Muñoz-Velasco}等人，Artif。智力。266，1-26（2019年；兹比尔1480.03010） 全文： 内政部 链接
D.布雷索林。；黛拉·莫妮卡，D。；A.蒙塔纳里。；Sala，P。；Sciavicco，G。 艾伦关系的模态逻辑片段对理性的决定性和复杂性。 （英语） Zbl 1436.03120号 Inf.计算。 266, 97-125 (2019).MSC公司：03B44号 03B25号 03B45号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，《信息计算》。266、97-125（2019年；Zbl 1436.03120） 全文： 内政部 链接
大卫·布雷索林；恩里科·科米纳托；西蒙·格纳尼；埃米利奥·穆尼奥斯·韦拉斯科；圭多·西亚维科 提取区间时序逻辑规则：第一种方法。 （英语） Zbl 1487.68192号 Alechina，Natasha（编辑）等人，第25届时间表征和推理国际研讨会。《时代》2018，波兰华沙，2018年10月15日至17日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。120，第7条，第15页（2018年）。MSC公司：68T05型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，LIPIcs——莱布尼茨国际程序。通知。120，第7条，第15页（2018；Zbl 1487.68192） 全文： 内政部
卢卡·埃特罗；黛拉·莫妮卡，达里奥；瓦伦丁·戈兰科；Anna Ingólfsdóttir；安吉洛·蒙塔纳里；圭多·西亚维科 艾伦关系区间逻辑表现力的一个完整分类：一般情况和稠密情况。 （英语） Zbl 1339.03018号 学报信息。 53，第3期，207-246（2016）. 审核人：贾科莫·伦齐（费西亚诺） MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，《信息学报》53，第3期，207--246（2016；Zbl 1339.03018） 全文： 内政部 链接
卢卡·埃特罗；黛拉·莫妮卡，达里奥；Anna Ingólfsdóttir；安吉洛·蒙塔纳里；圭多·西亚维科 关于有限和离散线性阶上Allen关系的区间逻辑的表示性。 （英语） Zbl 1432.03027号 Fermé，Eduardo（编辑）等人，《人工智能中的逻辑》。2014年9月24日至26日，第14届欧洲会议，JELIA 2014，葡萄牙马德拉，Funchal。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8761, 267-281 (2014).MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，Lect。注释计算。科学。8761，267--281（2014；Zbl 1432.03027） 全文： 内政部 链接