Publications

PhD Theses of the CLPLAB members are stored here.

All publications of group members can be retrieved from official repositories (e.g., for Agostino Dovier see: DBLP)

A brief report on the contribution to bioinformatics can be found here.

We just report the JOURNAL papers and the Book Chapters since 2015 on the lab research topics with at least a coauthor between the “internal” members of the LAB

1. Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
   Constraint Propagation on GPU: A Case Study for the Cumulative Constraint. Constraints (to appear).
2. Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato: SAT Meets Tableaux for Linear Temporal Logic Satisfiability. J. Autom. Reason. 68(2): 6 (2024)
3. Eugenia Zanazzo, Sara Ceschia, Agostino Dovier, Andrea Schaerf
   Solving the Medical Student Scheduling Problem using Simulated Annealing. Journal of Scheduling (2024)
4. 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 (2024)
5. Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli:
   Constraint propagation on GPU: A case study for the AllDifferent constraint. J. Log. Comput. 33(8): 1734-1752 (2023)
6. Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli: Prolog Meets Biology. Prolog: The Next 50 Years. LNCS 13900:318-333 (2023)
7. Davide Soldà, Francesco Fabiano, Agostino Dovier: ECHO: A hierarchical combination of classical and multi-agent epistemic planning problems. J. Log. Comput. 33(8): 1804-1831 (2023)
   
8. Parallel Logic Programming: A Sequel.  Dovier, A., Formisano, A.,
   Gupta, G., Hermenegildo, M, Pontelli, E., Rocha, R. Theory and Practice of Logic Programming: 22(6): 905-973 (2022)
9. Laura Bozzelli, Angelo Montanari, Adriano Peron: Complexity issues for timeline-based planning over dense time under future and minimal semantics. Theor. Comput. Sci. 901: 87-113 (2022)
10. Roberto Borelli, Agostino Dovier, Federico Fogolari Data Structures and Algorithms for k-th Nearest Neighbours Conformational Entropy Estimation. Biophysica 2022 2(4)340-352 (2022)
11. Nicola Rizzo, Agostino Dovier: 3coSoKu and its declarative
    modeling. J. Log. Comput. 32(2): 307-330 (2022)
12. Agostino Dovier, Andrea Formisano, Enrico Pontelli, and Fabio
    Tardivo. {CUDA}: Set Constraints on GPUs. Rend. Istit. Mat.
    Univ. Trieste, an International Journal on Mathematics, 53(24)1-27 (2021)
13. Stefania Costantini, Andrea Formisano: Adding Metalogic
    Features to Knowledge Representation Languages. Fundam.
    Informaticae 181(1): 71-98 (2021)
14. Andrea Formisano, Raffaella Gentilini, Flavio Vella: Scalable
    Energy Games Solvers on GPUs. IEEE Trans. Parallel Distributed
    Syst. 32(12): 2970-2982 (2021)
15. Alex Brik, Andrea Formisano, Yanhong Annie Liu, Joost
    Vennekens: Introduction to the 37th International Conference on
    Logic Programming Special Issue I. Theory Pract. Log. Program.
    21(5): 521-526 (2021)
16.  Alex Brik, Andrea Formisano, Yanhong Annie Liu, Joost
    Vennekens: Introduction to the 37th International Conference on
    Logic Programming Special Issue II. Theory Pract. Log. Program.
    21(6): 698-699 (2021)
17. Alice Tarzariol, Eugenia Zanazzo, Agostino Dovier, Alberto
    Policriti: Towards a Logic Programming Tool for Cancer Data
    Analysis. Fundam. Informaticae 176(3-4): 299-319 (2020)
18. Alessandro Burigana, Francesco Fabiano, Agostino Dovier, Enrico
    Pontelli: Modelling Multi-Agent Epistemic Planning in ASP.
    Theory Pract. Log. Program. 20(5): 593-608 (2020)
19. Pedro Cabalar, Stefania Costantini, Giovanni De Gasperis,
    Andrea Formisano: Multi-context systems in dynamic
    environments. Ann. Math. Artif. Intell. 86(1-3): 87-120 (2019)
20. Esra Erdem, Andrea Formisano, Germán Vidal, Fangkai Yang:
    Introduction to the 35th International Conference on Logic
    Programming Special Issue. Theory Pract. Log. Program. 19(5-6):
    630-635 (2019)
21. Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli: ASP Applications in Bio-informatics: A Short Tour. Künstliche Intelligenz 32(2-3): 157-164 (2018)
22. Stefania Costantini, Andrea Formisano: Augmenting agent
    computational environments with quantitative reasoning modules
    and customisable bridge rules. Int. J. Agent Oriented Softw.
    Eng. 6(3/4): 245-274 (2018)
23. Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini:
    Extending Logic Programming with Labelled Variables: Model and Semantics. Fundam. Inform. 161(1-2): 53-74 (2018)
24. Agostino Dovier, Andrea Formisano, Enrico Pontelli:
    Parallel Answer Set Programming. Handbook of Parallel Constraint Reasoning, Springer: 237-282 (2018)
25. Ferdinando Fioretto, Enrico Pontelli, William Yeoh, Rina Dechter: Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs. Constraints 23(1): 1-43 (2018)
26. Ferdinando Fioretto, Enrico Pontelli, William Yeoh: Distributed Constraint Optimization Problems and Applications: A Survey. J. Artif. Intell. Res. 61: 623-698 (2018)
27. 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 pp. 359-426 (2018)
28. Alberto Molinari, Angelo Montanari, Adriano Peron: Model checking for fragments of Halpern and Shoham’s interval temporal logic based on track representatives. Inf. Comput. 259(3): 412-443 (2018)
29. Giacomo Alzetta, Andrea Marin, Carla Piazza, Sabina Rossi:
    Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses. Inf. Comput. 260: 99-125 (2018)
30. Agostino Dovier: Preface (to the special Issue of TPLP on New Trends on Constraint Logic Programming). TPLP 17(4): 359-364 (2017)
31. Roman Barták, Lukás Chrpa, Agostino Dovier, Jindrich Vodrázka, Neng-Fa Zhou: Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain. Sci. Comput. Program. 147: 54-77 (2017)
32. Tommaso Dreossi, Thao Dang, Carla Piazza: Reachability computation for polynomial dynamical systems. Formal Methods in System Design 50(1): 1-38 (2017)
33. Alberto Casagrande, Carla Piazza, Alberto Policriti: Is Hyper-extensionality Preservable Under Deletions of Graph Elements? EMTCS 322: 103-118 (2016)
34. Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron:
    Checking interval properties of computations. Acta Inf. 53(6-8): 587-619 (2016)
35. Davide Ancona, Agostino Dovier: A Theoretical Perspective of Coinductive Logic Programming. Fundam. Inform. 140(3-4): 221-246 (2015)
36. Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli: CUD@SAT: SAT solving on GPUs. J. Exp. Theor. Artif. Intell. 27(3): 293-316 (2015)
37. Federico Campeotto, Agostino Dovier, Enrico Pontelli: A declarative concurrent system for protein structure prediction on GPU. J. Exp. Theor. Artif. Intell. 27(5): 503-541 (2015)
38. Ferdinando Fioretto, Agostino Dovier, Enrico Pontelli: Constrained Community-Based Gene Regulatory Network Inference. ACM Trans. Model. Comput. Simul. 25(2):11:1-11:26 (2015)
39. Neng-Fa Zhou, Roman Barták, Agostino Dovier: Planning as tabled logic programming. TPLP 15(4-5): 543-558 (2015)
40. Raffaella Gentilini, Carla Piazza, Alberto Policriti: Rank and simulation: the well-founded case. J. Log. Comput. 25(6): 1331-1349 (2015)
41. Angelo Montanari, Gabriele Puppis, Tiziano Villa: Games, Automata, Logics, and Formal Verification (GandALF 2013). Inf. Comput. 245: 1-2 (2015)

Agostino Dovier wrote two Book foreword:

• Foundations of Probabilistic Logic Programming Languages, Semantics, Inference and Learning  by Fabrizio Riguzzi. River Publishers, September 2018 (Free preview here)
•  Constraint Solving and Planning with Picat  by Neng-Fa Zhou, Hakan Kjellerstrand, Jonathan Fruhman.  Springer Briefs in Intelligent Systems, Springer 2015.

We end citing this book edited by two lab members (more than 30000 official chapter downloads 2010-2021):

• A 25 Year Perspective on Logic Programming.
  Achievements of the Italian Association for Logic Programming, GULP.
  Edited by A. Dovier and E. Pontelli. Springer-Verlag LNCS Vol. 6125, 2010.