Monographs, Book Chapters, Forewords, Book reviews, Other Journals
- Agostino Dovier, Gian Luca Foresti, Angelo Montanari.
Breve Storia dell'Informatica all'Università di Udine.
AICA, Serie Storia dell'Informatica, Settembre 2020.
- Agostino Dovier, Roberto Giacobazzi.
Fondamenti dell'Informatica (Linguaggi formali, calcolabilità e complessità)
Bollati Boringhieri, Marzo 2020.
- Agostino Dovier.
Foreword to:
"Foundations of Probabilistic Logic Programming
Languages, Semantics, Inference and Learning"
by Fabrizio Riguzzi.
River Publishers, September 2018
(Free preview here)
- Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, and Enrico Pontelli.
Exploring Life:
Answer Set Programming in Bioinformatics
Chapter 7 of
M. Kifer and Y.A. Liu eds,
Declarative Logic Programming, Theory, Systems, and Applications.
ACM Press, New York, NY, USA 2018, pp. 359-426 [68pages].
(Free preview as Research Report of NMSU)
-
Agostino Dovier, Andrea Formisano, and Enrico Pontelli.
Parallel Answer Set Programming.
Chapter 7 of
Youssef Hamadi, Lakhdar Sais (eds.),
Handbook of Parallel Constraint Reasoning, pp 237-282,
Springer, 2018.
- Agostino Dovier. Foreword to:
"
Constraint Solving and Planning with Picat"
by Neng-Fa Zhou, Hakan Kjellerstrand, Jonathan Fruhman.
Springer Briefs in Intelligent Systems, Springer 2015, pages v-vi.
- Alessandro Dal Palù, Agostino Dovier, and Enrico Pontelli.
CONSTRAINT-BASED COMPUTATIONAL
METHODS FOR INVESTIGATION OF PROTEIN
FLEXIBILITY.
Book Chapter (9) of
From Medicinal Chemistry to Food Science: A Transfer of In Silico Methods Applications
ISBN: 978-1-63483-587-9.
2015 Nova Science Publishers, Inc.
- A. Dal Palu', A. Dovier,
F. Fogolari, and E. Pontelli.
Protein
Structure
Analysis
with
Constraint
Programming.
Book Chapter (3) of
Computational Approaches to Nuclear Receptors ,
pp. 40-59. 978-1-84973-364-9
The Royal Society of Chemistry, 2012.
- A. Dovier and V. Santos-Costa (editors)
Technical Communications of the 28th International Conference on Logic Programming (ICLP'12).
ISBN 978-3-939897-43-9, LIPICS, Schloss Dagstuhl, Vol. 17, 2012.
- R. Cipriano, L. Di Gaspero, A. Dovier.
GELATO: a multi-paradigm tool for Large
Neighborhood Search.
Book Chapter (15) of Hybrid Metaheuristics (Talbi El-Ghazali ed)
Springer Verlag, 2012.
Studies in Computational Intelligence, Volume 434, 2013.
(Draft)
- A. Dovier, A. Formisano, E. Pontelli.
Perspectives on Logic-based Approaches for Reasoning About Actions and Change.
In
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning,
Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
M. Balduccini and T.C. Son, eds.,
LNCS 6565, pp. 259-279, (DRAFT), 2011.
- A. Dovier and E. Pontelli eds.
A 25 Year Perspective on Logic Programming
Achievements of the Italian Association for Logic Programming, GULP.
Springer-Verlag LNCS Vol. 6125, 2010.
- A. Dal Palu', F. Fages, A. Dovier, S. Will.
Constraint based methods for bioinformatics.
(draft)
PART VI of Trends in Constraint Programming,
Hermes Science, May 2007. pp. 125-146.
- Agostino Dovier.
Book review: Set Theory for Computing.
by
Domenico Cantone, Eugenio Omodeo, and Alberto Policriti,
Springer, 2001.
In
TPLP
Vol 3(1) pp 125-128, 2003
- A. Dovier.
Constraint Approach to the Protein Folding Problem.
AI*IA Notizie,
Volume 2, pp. 17-22, Giugno 2003.
- A. Dovier, M. C. Meo, and A. Omicini (editors).
Declarative Programming -- Selected Papers from AGP 2000
Electronic Notes in
Theoretical Computer Science, Vol. 48, 2001
- A. Dovier, C. Piazza, G. Rossi.
Multiset Constraints and P Systems.
In C. Calude, G. Paun, G. Rozenberg, A. Salomaa eds.,
Multiset Processing, Mathematical, Computer Science, and
Molecular Computing Points of View.
LNCS 2235, Springer 2001, ISBN 3-540-43063-6,
pp 103-122.
DS Number: BU11J
ISSN: 0302-9743
ISBN: 3-540-43063-6.
- A. Dovier.
Computable Set Theory and Logic Programming
Thesis
Abstract here and
PDF VERSION here.
PhD Thesis TD-1/96,Universita` degli Studi di Pisa, dip. di Informatica,March
1996.
Home