International Journals

2024

1. Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
Constraint Propagation on GPU: A Case Study for the Cumulative Constraint. Constraints 29(1-2): 192-214 (2024).
2. Eugenia Zanazzo, Sara Ceschia, Agostino Dovier, Andrea Schaerf
   Solving the Medical Student Scheduling Problem using Simulated Annealing.
   Journal of Scheduling.
3. Federico Fogolari, Roberto Borelli, Agostino Dovier, Gennaro Esposito
   The k-th nearest neighbour method for estimation of entropy changes from molecular ensembles.
   WIREs Computational Molecular Science. 024, 14(1), e1691 (on line October, 02, 2023)

   2023

4. Davide Soldà, Francesco Fabiano, Agostino Dovier
   ECHO: A hierarchical combination of classical and multi-agent epistemic planning problems
   Journal of Logic and Computation, 2023, 33(8), pp. 1734–1752, exad036.
5. Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
Constraint propagation on GPU: A case study for the AllDifferent constraint
Journal of Logic and Computation, 2023, 33(8), pp. 1804–1831, exad033.

2022

6. Roberto Borelli, Agostino Dovier, Federico Fogolari
   Data Structures and Algorithms for k-th Nearest Neighbours Conformational Entropy Estimation.
   Biophysica 2022 2(4)340-352. 13 October 2022.
7. Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha
   Parallel Logic Programming: A Sequel.
   Theory and Practice of Logic Programming. 22(6):905-973, November 2022. ARXIV version
8. Nicola Rizzo, Agostino Dovier
   3coSoKu and its declarative modeling.
   Journal of Logic and Computation, January 18 2022. https://doi.org/10.1093/logcom/exab086

   2021

9. Agostino Dovier, Andrea Formisano, Enrico Pontelli, and Fabio Tardivo.
   {CUDA}: Set Constraints on GPUs.
   Rend. Istit. Mat. Univ. Trieste, an International Journal on Mathematics, vol 53, 2021, art. no. 24, pp.1-27.

   2020

10. Agostino Dovier, Enrico Pontelli. ALP Newsletter Editorial, Volume 33.
11. 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)
12. 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

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

    2018

14. F. Fioretto, A. Dovier, and E. Pontelli.
    Distributed Multi-Agent Optimization for Smart Grids and Home Automation. Intelligenza Artificiale, IOS Press, 2018. (Draft)
15. 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)
16. 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)
17. A. Dovier and E. Pontelli.
    ALP Newsletter Editorial, Volume 31. No 1, April 2018, No 2, July/August 2018

    2017

18. 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)
19. 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.
20. 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

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

    2015

22. Neng-Fa Zhou, Roman Bartak, Agostino Dovier
    Planning as tabled logic programming.
    TPLP 15(4-5):543-558, 2015 (ArXiv version)
23. Davide Ancona and Agostino Dovier
    A theoretical perspective of Coinductive Logic Programming.
    Fundamenta Informaticae 142:1-26, 2015. (draft)
24. 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
25. 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
26. 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
27. A. Dovier and E. Pontelli. EDITORIAL to ALP Newsletters. March/April 2015 , June/July 2015 , September 2015 , December 2015.

    2014

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

    2013

29. A. Dovier and E. Pontelli. EDITORIAL to ALP Newsletters. March 2013, June 2013, September 2013, December 2013 .
30. 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.
31. Neng-Fa Zhou and A. Dovier.
    A Tabled Prolog Program for Solving Sokoban.
    Fundamenta Informaticae 124:1-15, 2013. (draft)
32. 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

33. A. Dovier and E. Pontelli. EDITORIAL to ALP Newsletters. March 2012, June 2012, September 2012, December 2012.
34. 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

35. A. Dovier and E. Pontelli. EDITORIAL to ALP Newsletters. March 2011, June 2011, September 2011, December 2011.
36. 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

37. A. Dovier and E. Pontelli. EDITORIAL to ALP Newsletters. March 2010, June 2010, September 2010, December 2010.
38. A. Dovier, A. Formisano, and E. Pontelli.
    An investigation of Multi-Agent Planning in CLP.
    Fundamenta Informaticae 105(1-2): 79-103, 2010. (DRAFT)
39. 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)
40. 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.
41. 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).
42. 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

43. 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.
44. Agostino Dovier and Elisa Quintarelli.
    Applying Model-Checking to solve Queries on Semistructured Data
    Computer Languages, Systems & Structures. 25 (2009) pp. 143-172. (draft) .
45. 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

46. 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.
47. 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

48. 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
49. 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.
50. 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

51. 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.
52. 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

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

    2004

54. 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
55. 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.
56. 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.
57. 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

58. 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

59. 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

60. 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
61. 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.

2000

62. A. Dovier, E. Pontelli, and G. Rossi.
    A Necessary Condition for Constructive Negation in Constraint Logic Programming
    Information Processing Letters, Vol. 74 (3-4) (2000) pp. 147-156, Elsevier, North Holland. (free draft) IDS Number: 317NB ISSN: 0020-0190
63. 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 (free draft) IDS Number: 418FB ISSN: 0164-0925

1999

64. A. Dovier, E. Omodeo, and A. Policriti.
    Solvable set/hyperset contexts: II. A goal-driven unification algorithm for the blended case
    Applicable Algebra in Engineering, Communication and Computing. Volume 9 Issue 4 (1999) pp 293-332. IDS Number: 180YQ ISSN: 0938-1279 (free draft)
65. D. Aliffi, A. Dovier, and G. Rossi.
    From Set to Hyperset Unification
    Journal of Functional and Logic Programming,Volume 1999, No. 10, pp.1-48.

1998

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

1997

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

1996

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