Monographs, Book Chapters, Forewords, Book reviews, Other Journals

  1. Agostino Dovier, Gian Luca Foresti, Angelo Montanari.
    Breve Storia dell'Informatica all'Università di Udine.
    AICA, Serie Storia dell'Informatica, Settembre 2020.
  2. Agostino Dovier, Roberto Giacobazzi.
    Fondamenti dell'Informatica (Linguaggi formali, calcolabilità e complessità)
    Bollati Boringhieri, Marzo 2020.
  3. Agostino Dovier. Foreword to:
    "Foundations of Probabilistic Logic Programming Languages, Semantics, Inference and Learning"
    by Fabrizio Riguzzi. River Publishers, September 2018 (Free preview here)
  4. 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)
  5. 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.
  6. 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.
  7. Alessandro Dal Palù, Agostino Dovier, and Enrico Pontelli.
    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.
  8. 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.
  9. 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.
  10. 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)
  11. 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.
  12. 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.
  13. 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.
  14. 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
  15. A. Dovier.
    Constraint Approach to the Protein Folding Problem.
    AI*IA Notizie, Volume 2, pp. 17-22, Giugno 2003.
  16. 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
  17. 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.
  18. 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.