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)

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, Springet: 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