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. Parallel Logic Programming: A Sequel.  Dovier, A., Formisano, A.,
    Gupta, G., Hermenegildo, M, Pontelli, E., Rocha, R. Theory and Practice of Logic Programming: 22 (2022)
  2. Nicola Rizzo, Agostino Dovier: 3coSoKu and its declarative
    modeling. J. Log. Comput. 32(2): 307-330 (2022)
  3. 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)
  4. Stefania Costantini, Andrea Formisano: Adding Metalogic
    Features to Knowledge Representation Languages. Fundam.
    Informaticae 181(1): 71-98 (2021)
  5. Andrea Formisano, Raffaella Gentilini, Flavio Vella: Scalable
    Energy Games Solvers on GPUs. IEEE Trans. Parallel Distributed
    Syst. 32(12): 2970-2982 (2021)
  6. 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)
  7.  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)
  8. 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)
  9. Alessandro Burigana, Francesco Fabiano, Agostino Dovier, Enrico
    Pontelli: Modelling Multi-Agent Epistemic Planning in ASP.
    Theory Pract. Log. Program. 20(5): 593-608 (2020)
  10. 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)
  11. 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)
  12. 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)
  13. 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)
  14. 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)
  15. Agostino Dovier, Andrea Formisano, Enrico Pontelli:
    Parallel Answer Set Programming. Handbook of Parallel Constraint Reasoning, Springer: 237-282 (2018)
  16. 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)
  17. Ferdinando Fioretto, Enrico Pontelli, William Yeoh: Distributed Constraint Optimization Problems and Applications: A Survey. J. Artif. Intell. Res. 61: 623-698 (2018)
  18. 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)
  19. 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)
  20. 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)
  21. Agostino Dovier: Preface (to the special Issue of TPLP on New Trends on Constraint Logic Programming). TPLP 17(4): 359-364 (2017)
  22. 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)
  23. Tommaso Dreossi, Thao Dang, Carla Piazza: Reachability computation for polynomial dynamical systems. Formal Methods in System Design 50(1): 1-38 (2017)
  24. Alberto Casagrande, Carla Piazza, Alberto Policriti: Is Hyper-extensionality Preservable Under Deletions of Graph Elements? EMTCS 322: 103-118 (2016)
  25. Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron:
    Checking interval properties of computations. Acta Inf. 53(6-8): 587-619 (2016)
  26. Davide Ancona, Agostino Dovier: A Theoretical Perspective of Coinductive Logic Programming. Fundam. Inform. 140(3-4): 221-246 (2015)
  27. 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)
  28. 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)
  29. 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)
  30. Neng-Fa Zhou, Roman Barták, Agostino Dovier: Planning as tabled logic programming. TPLP 15(4-5): 543-558 (2015)
  31. Raffaella Gentilini, Carla Piazza, Alberto Policriti: Rank and simulation: the well-founded case. J. Log. Comput. 25(6): 1331-1349 (2015)
  32. 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:

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.

Leave a Reply