International Journals

    2020

  1. Agostino Dovier, Enrico Pontelli. ALP Newsletter Editorial, Volume 33.
  2. Alessandro Burigana, Francesco Fabiano, Agostino Dovier and Enrico Pontelli.
    Modelling Multi-Agent Epistemic Planning in ASP. Theory Pract. Log. Program. 20(5): 593-608 (2020) (ArXiV version)
  3. Alice Tarzariol, Eugenia Zanazzo, Agostino Dovier, Alberto Policriti.
    Towards a Logic Programming Tool for Cancer Data Analysis. Fundamenta Informaticae vol. 176, no. 3-4, pp. 299-319, 2020 (Draft)

    2019

  4. A. Dovier, E. Pontelli. ALP Newsletter Editorial, Volume 32. No. 1. April/May 2019 , No. 2. August 2019 .

    2018

  5. F. Fioretto, A. Dovier, and E. Pontelli.
    Distributed Multi-Agent Optimization for Smart Grids and Home Automation. Intelligenza Artificiale, IOS Press, 2018. (Draft)
  6. A. Dal Palù, A. Dovier, A. Formisano, and E. Pontelli.
    ASP Applications in Bio-informatics: A short tour. Künstliche Intelligenz 32:157-164 (on line since June, 18, 2018)
  7. Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini.
    Extending Logic Programming with Labelled Variables: Model and Semantics.
    Fundamenta Informaticae 161(1-2):53-74, 2018. (draft)
  8. A. Dovier and E. Pontelli.
    ALP Newsletter Editorial, Volume 31. No 1, April 2018, No 2, July/August 2018

    2017

  9. Agostino Dovier.
    Preface to the Special Issue on new trends in Constraint Logic Programming.
    Theory and Practice of Logic Programming 17(4):359-364, 2017. (Draft)
  10. Roman Bartak, Lukas Chrpa, Agostino Dovier, Jindrich Vodrazka, Neng-Fa Zhou.
    Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain
    Science of Computer Programming 147:54-77, 2017.
  11. A. Dovier and E. Pontelli. ALP Newsletter EDITORIAL, Volume 30. No 1. Dec 16/Jan 17, No 2April/May 2017, No 3, July 2017, No 4 - October 2017.

    2016

  12. A. Dovier and E. Pontelli. EDITORIAL to ALP Newsletters. March 2016 , June/July 2016 , September/October 2016 .

    2015

  13. Neng-Fa Zhou, Roman Bartak, Agostino Dovier
    Planning as tabled logic programming.
    TPLP 15(4-5):543-558, 2015 (ArXiv version)
  14. Davide Ancona and Agostino Dovier
    A theoretical perspective of Coinductive Logic Programming.
    Fundamenta Informaticae 142:1-26, 2015. (draft)
  15. F. Campeotto, A. Dovier, and E. Pontelli.
    A Declarative Concurrent System for Protein Structure Prediction on GPU.
    Journal of Experimental & Theoretical Artificial Intelligence (JETAI) 27(5):503--541, 2015. (draft)
    DOI: 10.1080/0952813X.2014.993503
  16. A. Dal Palù, A. Dovier, A. Formisano, and E. Pontelli.
    CUD@SAT: SAT Solving on GPUs.
    Journal of Experimental & Theoretical Artificial Intelligence (JETAI), Volume 27(3), July 2015, pp. 293-316. (draft)
    DOI: 10.1080/0952813X.2014.954274
  17. F. Fioretto, A. Dovier, E. Pontelli.
    Constrained Community-based Gene Regulatory Network Inference.
    Transactions on Modeling and Computer Simulation (TOMACS), 25(2), Article No. 11, May 2015. ACM Press. (draft)
    DOI: 10.1145/2688909
  18. A. Dovier and E. Pontelli. EDITORIAL to ALP Newsletters. March/April 2015 , June/July 2015 , September 2015 , December 2015.

    2014

  19. A. Dovier and E. Pontelli. EDITORIAL to ALP Newsletters. March 2014, June 2014, September 2014, December 2014.

    2013

  20. A. Dovier and E. Pontelli. EDITORIAL to ALP Newsletters. March 2013, June 2013, September 2013, December 2013 .
  21. F. Campeotto, A. Dal Palù, A. Dovier, F. Fioretto, and E. Pontelli.
    A Constraint Solver for Flexible Protein Models.
    JAIR (Journal of Artificial Intelligence Research) 48:953-1000, 2013.
  22. Neng-Fa Zhou and A. Dovier.
    A Tabled Prolog Program for Solving Sokoban.
    Fundamenta Informaticae 124:1-15, 2013. (draft)
  23. A. Dovier, A. Formisano, and E. Pontelli.
    Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda.
    Theory and Practice of Logic Programming 13(2):149-173. (ArXiv version).

    2012

  24. A. Dovier and E. Pontelli. EDITORIAL to ALP Newsletters. March 2012, June 2012, September 2012, December 2012.
  25. A. Dovier and V. S. Costa.
    Introduction to the 28th International Conference on Logic Programming Special Issue
    Theory and Practice of Logic Programming 12(4-5):421-426, 2012. (free version)

    2011

  26. A. Dovier and E. Pontelli. EDITORIAL to ALP Newsletters. March 2011, June 2011, September 2011, December 2011.
  27. A. Dovier
    Recent Constraint/Logic Programming based advances in the solution of the Protein Folding Problem. (DRAFT)
    Intelligenza Artificiale, vol. 5, no. 1, pp. 113-117, 2011. Special Issue in Honor of Alberto Martelli.

    2010

  28. A. Dovier and E. Pontelli. EDITORIAL to ALP Newsletters. March 2010, June 2010, September 2010, December 2010.
  29. A. Dovier, A. Formisano, and E. Pontelli.
    An investigation of Multi-Agent Planning in CLP.
    Fundamenta Informaticae 105(1-2): 79-103, 2010. (DRAFT)
  30. D. campagna, C. De Rosa, A. Dovier, A. Montanari, and C. Piazza.
    Morphos Configuration Engine: the core of a commercial configuration system in CLP(FD).
    Fundamenta Informaticae 105(1-2): 105-133, 2010. (DRAFT)
  31. A. Dal Palù, A. Dovier, F. Fogolari, and E. Pontelli. CLP-based protein fragment assembly.
    (Draft)
    Theory and Practice of Logic Programming, special issue dedicated to ICLP 2010. 10(4-6): pp 709-724, July 2010, doi:10.1017/S1471068410000372.
  32. A. Dovier, A. Formisano, and E. Pontelli.
    Multi-valued Action Languages with Constraints in CLP(FD).
    Theory and Practice of Logic Programming Volume 10, Issue 02, March 2010, pp 167-235, doi:10.1017/S1471068410000013.
    Free version as CORR (deposited Dec 15th 2009).
  33. A. Dal Palù, A. Dovier, and E. Pontelli.
    Computing Approximate Solutions of the Protein Structure Determination Problem using Global Constraints on Discrete Crystal Lattices.
    Int'l Journal of Data Mining and Bioinformatics. 4(1):1-20, January 2010. DOI: 10.1504/IJDMB.2010.030964.
    Draft and proofs as research report: NMSU-CS

    2009

  34. A. Dal Palù, A. Dovier, E. Pontelli, and G. Rossi.
    GASP: Answer Set Programming with Lazy Grounding.
    (draft)
    Fundamenta Informaticae 96(3):297-322, 2009.
  35. Agostino Dovier and Elisa Quintarelli.
    Applying Model-Checking to solve Queries on Semistructured Data
    Computer Languages, Systems & Structures. 25 (2009) pp. 143-172. (draft) .
  36. A. Dovier, A. Formisano, and E. Pontelli.
    An Empirical Study of Constraint Logic Programming and Answer Set Programming Solutions of Combinatorial Problems
    (draft)
    Journal of Experimental & Theoretical Artificial Intelligence, Volume 21, Issue 2, June 2009, pages 79-121, DOI: 10.1080/09528130701538174, IDS Number: 448ER ISSN: 0952-813X.

    2008

  37. Agostino Dovier, Carla Piazza, and Gianfranco Rossi.
    A uniform approach to constraint-solving for lists, multisets, compact lists, and sets.
    (draft)
    ACM Transaction on Computational Logic (TOCL). Volume 9, Number 3, May 2008. IDS Number: 323FF ISSN: 1529-3785 DOI: 10.1145/1352582.1352583.
  38. A. Dal Palù, A. Dovier, and S. Will (guest editors)
    Introduction to Constraints, Volume 13 Issue 1
    February 13, 2008. Special Issue on Bioinformatics and Constraints.

    2007

  39. A. Dal Palu', A. Dovier, and E. Pontelli.
    A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction. (draft)
    SOFTWARE-PRACTICE AND EXPERIENCE, Volume 37, Issue 13, Pages 1405-1449, 2007, IDS Number: 226SA ISSN: 0038-0644 DOI: 10.1002/spe.810
  40. F. Fogolari, L. Pieri, A. Dovier, L. Bortolussi, G. Giugliarelli, A. Corazza, G. Esposito, P. Viglino.
    Scoring predictive models using a reduced representation of proteins: model and energy definition.
    BMC Structural Biology 7:15 (pp. 1-17), March 23th, 2007. IDS Number: 161CM ISSN: 1471-2237 DOI: 10.1186/1472-6807-7-15.
  41. Luca Bortolussi, Agostino Dovier, and Federico Fogolari.
    Agent-based Protein Structure Prediction (draft)
    Multiagent and Grid Systems, IOS Press, Vol 3, No. 2, pp. 183-197, 2007.

    2006

  42. A. Dovier, E. Pontelli, and G. Rossi.
    Set Unification (Preliminary, free version as CORR).
    Theory and Practice of Logic Programming 6(6):645-701, 2006. IDS Number: 106XJ ISSN: 1471-0684 DOI: 10.1017/S1471068406002730.
  43. A. Dovier, A. Formisano, and E. Omodeo.
    Decidability Results for Sets with Atoms. (draft)
    In ACM Transaction on Computational Logic (TOCL) Vol. 7, No. 2, April 2006, pp. 269-301. IDS Number: 133RM ISSN: 1529-3785.

    2005

  44. L. Bortolussi, A. Dal Palu', A. Dovier, F. Fogolari.
    Agent-based Protein Folding Simulation .
    Intelligenza Artificiale, II(1)54-61, January 2005.

    2004

  45. A. Dovier, C. Piazza and E. Pontelli.
    Disunification in ACI1 Theories ( Draft)
    Constraints (International Journal), 9(1): 35-91; Jan 2004 . IDS Number: 803WO ISSN: 1383-7133
  46. A. Dovier, C. Piazza and A. Policriti.
    An efficient algorithm for computing bisimulation equivalence. ( Draft)
    Theoretical Computer Science 311(1-3):221-256, 2004. IDS Number: 767XM ISSN: 0304-3975 DOI: 10.1016/S0304-3975(03)00361-X.
  47. F. Avanzini, D. Rocchesso, A. Belussi, A. Dal Palù, and A. Dovier.
    Designing an Urban-Scale Auditory Alert System.
    IEEE Computer 37(9): 55-61 (2004). IDS Number: 851IW ISSN: 0018-9162.
  48. A. Dal Palù, A. Dovier, and F. Fogolari.
    Constraint Logic Programming approach to protein structure prediction.
    BMC Bioinformatics 2004, 5:186, 30 November 2004. DS Number: 891ZM ISSN: 1471-2105 DOI: 10.1186/1471-2105-5-186.

    2003

  49. A. Dovier and C. Piazza.
    The Subgraph Bisimulation Problem. (draft)
    IIEEE Transaction on Knowledge and Data Engineering (TKDE). 15(4)1055-1056, 2003. IDS Number: 696RY ISSN: 1041-4347

    2002

  50. A. Cortesi, A. Dovier, E. Quintarelli, and L. Tanca.
    Operational and abstract semantics of a graphical query language.
    Theoretical Computer Science. 275/1-2 pp 521-560, 28 March 2002. ( draft) IDS Number: 558WE ISSN: 0304-3975.

    2001

  51. A. Dovier, E. Pontelli, and G. Rossi.
    Constructive negation and constraint logic programming with set.
    New Generation Computing, Springer Verlag and Ohshma Ltd,
    19(3)209--255, May 2001
    IDS Number: 440YX ISSN: 0288-3635
  52. A. Dovier, C. Piazza,  and G. Rossi.
    Multiset rewriting by multiset constraint solving.
    Romanian Journal of Information Science and Technology Vol. 4(1--2):59--76, 2001.
  53. 2000

  54. A. Dovier, E. Pontelli, and G. Rossi.
    A Necessary Condition for Constructive Negation in Constraint Logic Programming
    Information Processing LettersVol. 74 (3-4) (2000) pp. 147-156, Elsevier, North Holland. (DRAFT) IDS Number: 317NB ISSN: 0020-0190
  55. A. Dovier, C. Piazza, E. Pontelli, and G. Rossi.
    Sets and Constraint Logic Programming
    ACM Transaction on Programming Language and Systems (TOPLAS).22(5) 2000, pp. 861--931 (draft) IDS Number: 418FB ISSN: 0164-0925
  56. 1999

  57. A. Dovier, E. Omodeo, and A. Policriti.
    Solvable set/hyperset contexts:
    II. A goal-driven unification algorithm for the blendedcase

    Applicable Algebra in Engineering, Communication and Computing. (DRAFT) Volume 9 Issue 4 (1999) pp 293-332. IDS Number: 180YQ ISSN: 0938-1279
  58. D. Aliffi, A. Dovier, and G. Rossi.
    From Set to Hyperset Unification (Official version)
    Journal of Functional and Logic Programming,Volume 1999, No. 10, pp.1-48.
  59. 1998

  60. A. Dovier, A. Policriti, and G. Rossi.
    A Uniform Axiomatic View of Lists, Multisets, and Sets,
    and the Relevant Unification Algorithms
    (abstract)
    Fundamenta Informaticae ,36(2/3):201-234, 1998.( draft)

    1997

  61. P. Arenas-Sanchez and A. Dovier.
    A Minimality Study for Set Unification (Official version)
    Journal of Functional and Logic Programming, Volume 1997, No. 7, pp.1-49. IDS Number: BF24M ISSN: 0302-9743 ISBN: 3-540-60359-X
  62. 1996

  63. A. Dovier, E. G. Omodeo, E. Pontelli, and G. Rossi.
    {log}: A Language for Programming in Logic with Finite Sets (draft)
    The Journal of Logic Programming, Vol. 28(1) July 96, 1-44. IDS Number: UT421 ISSN: 0743-1066

Home