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. 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)
  2. 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)
  3. Agostino Dovier, Andrea Formisano, Enrico Pontelli:
    Parallel Answer Set Programming. Handbook of Parallel Constraint Reasoning, Springer: 237-282 (2018)
  4. 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)
  5. Ferdinando Fioretto, Enrico Pontelli, William Yeoh: Distributed Constraint Optimization Problems and Applications: A Survey. J. Artif. Intell. Res. 61: 623-698 (2018)
  6. 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)
  7. 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)
  8. 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)
  9. Agostino Dovier: Preface (to the special Issue of TPLP on New Trends on Constraint Logic Programming). TPLP 17(4): 359-364 (2017)
  10. 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)
  11. Tommaso Dreossi, Thao Dang, Carla Piazza: Reachability computation for polynomial dynamical systems. Formal Methods in System Design 50(1): 1-38 (2017)
  12. Alberto Casagrande, Carla Piazza, Alberto Policriti: Is Hyper-extensionality Preservable Under Deletions of Graph Elements? EMTCS 322: 103-118 (2016)
  13. Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron:
    Checking interval properties of computations. Acta Inf. 53(6-8): 587-619 (2016)
  14. Davide Ancona, Agostino Dovier: A Theoretical Perspective of Coinductive Logic Programming. Fundam. Inform. 140(3-4): 221-246 (2015)
  15. 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)
  16. 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)
  17. 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)
  18. Neng-Fa Zhou, Roman Barták, Agostino Dovier: Planning as tabled logic programming. TPLP 15(4-5): 543-558 (2015)
  19. Raffaella Gentilini, Carla Piazza, Alberto Policriti: Rank and simulation: the well-founded case. J. Log. Comput. 25(6): 1331-1349 (2015)
  20. 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 (14146 official chapter downloads 2010-2017, 122 GS citations):

  • 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