1.BAAC: A Prolog System for Action Description and Agents Coordination

作　　者：Agostino Dovier ;Andrea Formisano ;Enrico Pontelli

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;11:187-197.doi:10.4230/LIPIcs.ICLP.2011.187

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

文章 ID：186845952

文章详细全文下载
2.Frontmatter, Table of Contents, List of Authors

作　　者：Agostino Dovier ;V{\'i}tor Santos Costa

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;17:i-xvi.doi:10.4230/LIPIcs.ICLP.2012.i

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

文章 ID：186846095

文章详细全文下载
3.Introduction to the Technical Communications of the 28th International Conference on Logic Programming Special Issue

作　　者：Agostino Dovier ;V{\'i}tor Santos Costa

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;17:xvii-xxi.doi:10.4230/LIPIcs.ICLP.2012.xvii

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

文章 ID：186846096

文章详细全文下载
4.MASP-Reduce: A Proposal for Distributed Computation of Stable Models

作　　者：Federico Igne ;Agostino Dovier ;Enrico Pontelli

出　　处：OASIcs : OpenAccess Series in Informatics. 2018 ;64:1-4.doi:10.4230/OASIcs.ICLP.2018.8

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

文章 ID：230213726

文章详细全文下载

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Agostino Dovier")))) )) ) )"

	Agostino Dovier	4篇
	Enrico Pontelli	2篇
	V{\'i}tor Santos Costa	2篇
	Andrea Formisano	1篇
	Federico Igne	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	3篇
	OASIcs : OpenAccess Series in Informatics	1篇

	2018	1篇
	2012	2篇
	2011	1篇