1.Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture

作　　者：Davide Bresolin ;Dario Della Monica ;Angelo Montanari 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;96:155-168.doi:10.4204/EPTCS.96.12

出版社：Open Publishing Association

文章 ID：83120594

文章详细全文下载
2.Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking

作　　者：Dario Della Monica ;David de Frutos-Escrig ;Angelo Montanari 等

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

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

文章 ID：202422004

文章详细全文下载
3.Complexity of Qualitative Timeline-Based Planning

作　　者：Dario Della Monica ;Nicola Gigante ;Salvatore La Torre 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;178:16:1-16:13.doi:10.4230/LIPIcs.TIME.2020.16

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

文章 ID：255822674

文章详细全文下载
4.Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers

作　　者：Dario Della Monica ;Valentin Goranko ;Angelo Montanari 等

出　　处：Journal of Universal Computer Science. 2012 ;18(20):2798-2831.

出版社：Graz University of Technology and Know-Center

文章 ID：186874575

文章详细全文下载

	Angelo Montanari	4篇
	Dario Della Monica	4篇
	Guido Sciavicco	3篇
	Aniello Murano	1篇
	David de Frutos-Escrig	1篇

	Davide Bresolin	1篇
	Nicola Gigante	1篇
	Pietro Sala	1篇
	Salvatore La Torre	1篇
	Valentin Goranko	1篇

	德国	2篇
	奥地利	1篇
	澳大利亚	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Dario Della Monica")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	2篇
	Electronic Proceedings in Theoretical Computer Science	1篇
	Journal of Universal Computer Science	1篇

	2020	1篇
	2017	1篇
	2012	2篇