Agostino Dovier
AuthID: R-006-EWD
1
TITLE: Parallel Logic Programming: A Sequel
AUTHORS: Dovier, Agostino; Formisano, Andrea; Gupta, Gopal; Hermenegildo, Manuel, V; Pontelli, Enrico; Rocha, Ricardo ;
PUBLISHED: 2022, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 22, ISSUE: 6
AUTHORS: Dovier, Agostino; Formisano, Andrea; Gupta, Gopal; Hermenegildo, Manuel, V; Pontelli, Enrico; Rocha, Ricardo ;
PUBLISHED: 2022, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 22, ISSUE: 6
2
TITLE: Introduction to the 28th international conference on logic programming special issue
AUTHORS: Agostino Dovier; Vitor Santos Costa ;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 4-5
AUTHORS: Agostino Dovier; Vitor Santos Costa ;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 4-5
3
TITLE: Introduction to the technical communications of the 28th international conference on logic programming special issue Full Text
AUTHORS: Dovier, A; Costa, VS ;
PUBLISHED: 2012, SOURCE: 28th International Conference on Logic Programming, ICLP 2012 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 17
AUTHORS: Dovier, A; Costa, VS ;
PUBLISHED: 2012, SOURCE: 28th International Conference on Logic Programming, ICLP 2012 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 17
INDEXED IN: Scopus DBLP
4
TITLE: Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, September 4-8, 2012, Budapest, Hungary
AUTHORS: Agostino Dovier; Vítor Santos Costa ;
PUBLISHED: 2012, SOURCE: ICLP (Technical Communications), VOLUME: 17
AUTHORS: Agostino Dovier; Vítor Santos Costa ;
PUBLISHED: 2012, SOURCE: ICLP (Technical Communications), VOLUME: 17
INDEXED IN: DBLP