D.布雷索林。;黛拉·莫妮卡,D。;A.蒙塔纳里。;萨拉,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 1432.03028号 Fermé,Eduardo(编辑)等人,《人工智能中的逻辑》。2014年9月24日至26日,第14届欧洲会议,JELIA 2014,葡萄牙马德拉,Funchal。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8761, 122-136 (2014).MSC公司:03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,Lect。注释计算。科学。8761122-136(2014年;兹bl 1432.03028) 全文: 内政部
大卫·布雷索林;黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科 强离散线性序上的区间时序逻辑:表达性和复杂性。 (英语) Zbl 1335.03017号 西奥。计算。科学。 560,第3部分,269-291(2014).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,Theor。计算。科学。560,第3部分,269--291(2014;Zbl 1335.03017) 全文: 内政部
大卫·布雷索林;黛拉·莫妮卡,达里奥;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 区间时序逻辑的黑暗面:标记不可判定边界。 (英语) Zbl 1325.03014号 安。数学。Artif公司。智力。 71,编号1-3,41-83(2014). 审核人:雅罗斯拉夫·什兰科(Kryvyi Rih) MSC公司:03B44号 03天35分 05B45号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,《数学年鉴》。Artif公司。智力。71、编号1--3、41-83(2014;Zbl 1325.03014) 全文: 内政部
大卫·布雷索林;黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;圭多·西亚维科 区间时序逻辑的光明面:CDT的Bernays-Schönfinkel片段。 (英语) Zbl 1325.03015号 安。数学。Artif公司。智力。 71,编号1-3,11-39(2014). 审核人:雅罗斯拉夫·施拉姆科(Kryvyi Rih) MSC公司:03B44号 03B25号 68T27型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,《数学年鉴》。Artif公司。智力。71、编号1--3、11-39(2014;Zbl 1325.03015) 全文: 内政部
大卫·布雷索林;安吉洛·蒙塔纳里;萨拉,彼得罗;圭多·西亚维科 有限结构、自然数和整数上MPNL的最优决策过程。 (英语) Zbl 1296.03013号 西奥。计算。科学。 493, 98-115 (2013).MSC公司:03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,Theor。计算。科学。49398--115(2013;Zbl 1296.03013) 全文: 内政部
大卫·布雷索林;安吉洛·蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科 命题邻域逻辑在所有、稠密和离散线性序上的最优表系统。 (英语) Zbl 1333.03006号 Brünnler,Kai(编辑)等人,使用分析表和相关方法进行自动推理。2011年7月4日至8日,瑞士伯尔尼,第20届国际会议,TABLEAUX 2011。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22118-7/pbk)。计算机科学课堂讲稿6793。人工智能课堂讲稿,73-87(2011)。MSC公司:03B44号 03B25号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,Lect。注释计算。科学。6793,73--87(2011;Zbl 1333.03006) 全文: 内政部
大卫·布雷索林 稠密序上真子区间结构逻辑的完备终止表。 (英语) Zbl 1347.03032号 Areces,Carlos(ed.)等人,《第五届模态方法研讨会论文集》(M4M5 2007),法国卡尚,2007年11月29日至30日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记23131-151(2009)。MSC公司:03B44号 03B35型 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin},电子。理论注释。计算。科学。231131--151(2009年;兹bl 1347.03032) 全文: 内政部
大卫·布雷索林;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 命题区间邻域逻辑:表达性、可判定性和不可判定扩展。 (英语) Zbl 1221.03022号 Ann.纯粹应用。逻辑 161,第3期,289-304(2009).MSC公司:03B70号 03B25号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,Ann.Pure Appl。逻辑161,No.3,289--304(2009;Zbl 1221.03022) 全文: 内政部
大卫·布雷索林;安吉洛·蒙塔纳里;加布里埃尔,小狗 最终周期语言和自动机的理论,应用于时间粒度。 (英语) Zbl 1186.68246号 学报信息。 46,第5期,331-360(2009).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,《信息学报》第46卷第5期,第331--360页(2009年;Zbl 1186.68246) 全文: 内政部 哈尔
大卫·布雷索林;安吉洛·蒙塔纳里;皮埃特罗·萨拉;Guido Sciavicco公司 线性序上右命题邻域逻辑的最优表。 (英语) Zbl 1178.03030号 Hölldobler,Steffen(编辑)等人,《人工智能中的逻辑》。第11届欧洲会议,JELIA 2008,德国德累斯顿,2008年9月28日至10月1日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-87802-5/pbk)。计算机科学课堂讲稿5293。人工智能课堂讲稿,62-75(2008)。MSC公司:03B44号 03B25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,Lect。注释计算。科学。5293,62-75(2008;Zbl 1178.03030) 全文: 内政部
大卫·布雷索林;安吉洛·蒙塔纳里;圭多·西亚维科 右命题邻域逻辑的最优决策过程。 (英语) Zbl 1121.03027号 J.汽车。推理 38,编号1-3,173-199(2007).MSC公司:03B44号 03B25号 03B35型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,J.Autom。推理38,No.1--3,173--199(2007;Zbl 1121.03027) 全文: 内政部
大卫·布雷索林;乔安娜·戈林斯卡·皮拉雷克;或者鄂尔多斯卡 区间时序逻辑的关系对偶表。 (英语) Zbl 1186.03035号 J.应用。非类别。日志。 16,第3-4号,251-277(2006).MSC公司:03B44号 03B35型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,J.Appl。非类别。日志。16,编号3--4,251--277(2006;Zbl 1186.03035) 全文: 内政部