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)

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

  1. Agostino Dovier: Preface (to the special Issue of TPLP on New Trends on Constraint Logic Programming). TPLP 17(4): 359-364 (2017)
  2. 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)
  3. Davide Ancona, Agostino Dovier: A Theoretical Perspective of Coinductive Logic Programming. Fundam. Inform. 140(3-4): 221-246 (2015)
  4. 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)
  5. 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)
  6. 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)
  7. Neng-Fa Zhou, Roman Barták, Agostino Dovier: Planning as tabled logic programming. TPLP 15(4-5): 543-558 (2015)
  8. Tommaso Dreossi, Thao Dang, Carla Piazza: Reachability computation for polynomial dynamical systems. Formal Methods in System Design 50(1): 1-38 (2017)
  9. Alberto Casagrande, Carla Piazza, Alberto Policriti: Is Hyper-extensionality Preservable Under Deletions of Graph Elements? Electr. Notes Theor. Comput. Sci. 322: 103-118 (2016)
  10. Raffaella Gentilini, Carla Piazza, Alberto Policriti: Rank and simulation: the well-founded case. J. Log. Comput. 25(6): 1331-1349 (2015)
  11. Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron:
    Checking interval properties of computations. Acta Inf. 53(6-8): 587-619 (2016)
  12. Angelo Montanari, Gabriele Puppis, Tiziano Villa: Games, Automata, Logics, and Formal Verification (GandALF 2013). Inf. Comput. 245: 1-2 (2015)

We end citing this book edited by two lab members (13222 official chapter downloads 2010-2016):

  • 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