首页期刊浏览 2024年11月27日星期三

登录注册

全文

	有本地全文	14篇
	有全文链接	4篇

出版年度

	2020	5篇
	2019	2篇
	2018	2篇
	2017	2篇
	2012	3篇

	2011	1篇
	2010	2篇
	2003	1篇

作者

	Guido Sciavicco	18篇
	Angelo Montanari	7篇
	Davide Bresolin	5篇
	Pietro Sala	4篇
	Dario Della Monica	3篇

	Alessandro Passantino	2篇
	Emilio Mu{\~n}oz-Velasco	2篇
	Estrella Lucena-Sánchez	2篇
	Marco Gavanelli	2篇
	Valentin Goranko	2篇
	Alessandro Bertagnon	1篇
	Andrea Brunello	1篇
	Aniello Murano	1篇
	David de Frutos-Escrig	1篇
	Enrico Cominato	1篇
	Enrico Marzano	1篇
	Fernando Jiménez	1篇
	Gabriele Puppis	1篇
	Ionel Eduard Stan	1篇
	Joanna A. Kamińska	1篇
	Joanna Kamińska	1篇
	Johann Gamper	1篇
	Matteo Zavatteri	1篇
	Simone Gnani	1篇
	Sophie Pinchinat	1篇
	Stefano Trevisani	1篇
	Tiziano Villa	1篇

文章类型

	Research Article	1篇
	Reviews	1篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	9篇
	Electronic Proceedings in Theoretical Computer Science	3篇
	Journal of Universal Computer Science	2篇
	Air, Soil and Water Research	1篇
	Computers	1篇

	ISRN Artificial Intelligence	1篇
	Proceedings	1篇

学科主题

	计算技术、计算机技术	16篇
	环境污染及其防治	1篇

语种

英文

18篇

国别/地区

	德国	9篇
	澳大利亚	3篇
	奥地利	2篇
	瑞士	1篇
	美国	1篇

英国

1篇

检索条件:"( ( 高级检索(( ((AU:(("Guido Sciavicco")))) )) ) )"

共 18 条记录

排序：全选导出：

1.Begin, After, and Later: a Maximal Decidable Interval Temporal Logic

作　　者：Davide Bresolin ;Pietro Sala ;Guido Sciavicco

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;25:72-88.doi:10.4204/EPTCS.25.10

出版社：Open Publishing Association

文章 ID：83119905

文章详细全文下载
2.An Optimal Decision Procedure for MPNL over the Integers

作　　者：Davide Bresolin ;Angelo Montanari ;Pietro Sala 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;54:192-206.doi:10.4204/EPTCS.54.14

出版社：Open Publishing Association

文章 ID：83120168

文章详细全文下载
3.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

文章详细全文下载
4.Reasoning with Time Intervals: A Logical and Computational Perspective

作　　者：Guido Sciavicco

出　　处：ISRN Artificial Intelligence. 2012 ;2012.doi:10.5402/2012/616087

出版社：Hindawi Publishing Corporation

文章 ID：89382163

文章详细全文下载
5.Front Matter, Table of Contents, Preface, Conference Organization

作　　者：Johann Gamper ;Sophie Pinchinat ;Guido Sciavicco

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

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

文章 ID：240116375

文章详细全文下载
6.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

文章详细全文下载
7.Fast(er) Reasoning in Interval Temporal Logic

作　　者：Davide Bresolin ;Emilio Mu{\~n}oz-Velasco ;Guido Sciavicco

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;82:17:1-17:17.doi:10.4230/LIPIcs.CSL.2017.17

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

文章 ID：200735083

文章详细全文下载
8.The Horn Fragment of Branching Algebra

作　　者：Alessandro Bertagnon ;Marco Gavanelli ;Alessandro Passantino 等

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

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

文章 ID：255822663

文章详细全文下载
9.Knowledge Extraction with Interval Temporal Logic Decision Trees

作　　者：Guido Sciavicco ;Ionel Eduard Stan

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

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

文章 ID：255822667

文章详细全文下载
10.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

文章详细全文下载

1 2 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有