1.Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions

作　　者：Matteo Zavatteri ;Carlo Combi ;Romeo Rizzi 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;147:1-17.doi:10.4230/LIPIcs.TIME.2019.16

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：240116391

文章详细全文下载
2.Incorporating Decision Nodes into Conditional Simple Temporal Networks

作　　者：Massimo Cairo ;Carlo Combi ;Carlo Comin 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;90:9:1-9:18.doi:10.4230/LIPIcs.TIME.2017.9

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：202422002

文章详细全文下载
3.Conditional Simple Temporal Networks with Uncertainty and Decisions

作　　者：Matteo Zavatteri

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;90:23:1-23:17.doi:10.4230/LIPIcs.TIME.2017.23

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：202422016

文章详细全文下载
4.Mining Significant Temporal Networks Is Polynomial

作　　者：Guido Sciavicco ;Matteo Zavatteri ;Tiziano Villa

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;178:11:1-11:12.doi:10.4230/LIPIcs.TIME.2020.11

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：255822669

文章详细全文下载
5.Conditional Simple Temporal Networks with Uncertainty and Resources

作　　者：Carlo Combi ;Roberto Posenato ;Luca Viganò 等

出　　处：Journal of Artificial Intelligence Research. 2019 ;64:931-985.doi:10.1613/jair.1.11453

出版社：American Association of Artificial

文章 ID：230834652

文章详细全文下载

	Guido Sciavicco	1篇
	Luca Vigan{`o	1篇
	Luca Viganò	1篇
	Luke Hunsberger	1篇
	Massimo Cairo	1篇
	Tiziano Villa	1篇

	德国	4篇
	美国	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Matteo Zavatteri")))) )) ) )"

	Matteo Zavatteri	5篇
	Carlo Combi	3篇
	Roberto Posenato	2篇
	Romeo Rizzi	2篇
	Carlo Comin	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	4篇
	Journal of Artificial Intelligence Research	1篇

	2020	1篇
	2019	2篇
	2017	2篇