Monographs, Book Chapters, Other Journals

  1. R. Cipriano, L. Di Gaspero, A. Dovier.
    GELATO: a multi-paradigm tool for Large Neighborhood Search.
    In Hybrid Metaheuristics (Talbi El-Ghazali ed) Springer Verlag, 2012. To appear. (Draft)
  2. 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.
  3. 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.
  4. A. Dovier
    Recent Constraint/Logic Programming based advances in the solution of the Protein Folding Problem.
    Intelligenza Artificiale, Numero Speciale dedicato alla Logica Computazionale in Italia. To appear.
    Currently available as CEUR ISSN 1613-0073. Il Milione, pp. 1-6, August 2009.
  5. A. Dal Palù, A. Dovier, and S. Will (guest editors)
    Constraints, Volume 13 Issue 1 February 13, 2008. Special Issue on Bioinformatics and Constraints. Introduction. DOI 10.1007/s10601-007-9030-z, IDS Number: 294LR, ISSN: 1383-7133.
  6. A. Dal Palu', F. Fages, A. Dovier, S. Will.
    Constraint based methods for bioinformatics. (draft)
    PART XI of Trends in Constraint Programming, Hermes Science, May 2007. pp. 125-146.
  7. L. Bortolussi, A. Dal Palu', A. Dovier, F. Fogolari.
    Agent-based Protein Folding Simulation .
    In Intelligenza Artificiale, II(1)54-61, January 2005.
  8. 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
  9. A. Dovier.
    Constraint Approach to the Protein Folding Problem.
    AI*IA Notizie, Volume 2, pp. 17-22, Giugno 2003.
  10. 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
  11. 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.
  12. A. Dovier.
    Computable Set Theory and Logic Programming
    Thesis Abstract here and dvi g-zipped version here.
    PhD Thesis TD-1/96,Universita` degli Studi di Pisa, dip. di Informatica,March 1996.
Home