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