Other Conferences

    1991-1995

  1. A. Dovier, E. Omodeo, E. Pontelli, and G. Rossi.
    {log}: A Language for Programming in Logic with Finite Sets
    In P. Asirelli ed., GULP'91: VI Convegno sulla Programmazione Logica, pp. 241--255. (Pisa, June 1991)
  2. A. Dovier and G. Rossi.
    Un linguaggio logico con insiemi finiti inserito nello schema CLP
    In D. Sacca` ed., GULP'93, VIII Convegno sulla Programmazione Logica, pp. 71--85. (Gizzeria Lido, June 1993)
  3. A. Dovier, E. Omodeo, A. Policriti, and G. Rossi.
    Solving Systems of Equations over Hypersets
    In M. Alpuente, R. Barbuti, and I. Ramos eds., GULP'94--PRODE, Joint Conference on Declarative programming. Volume I, pp. 403--417. (Peniscola (ES), September 1994)
  4. P. Arenas-Sanchez and A. Dovier.
    Minimal Set Unification
    In M. Alpuente e M.I. Sessa eds., GULP'95--PRODE, Joint Conference on Declarative programming, pp. 447-458. (Marina di Vietri, September 1995)

    1996-2000

  5. A. Dovier, A. Formisano, and A. Policriti.
    On T Logic Programming.
    In M. Falaschi, editor, APPIA-GULP-PRODE'97. Joint Conference on Declarative Programming. (Grado (I), June 1997)
  6. R. Carmona, A. Dovier, and G. Rossi.
    Dealing with Infinite Intensional Sets in CLP
    In M. Falaschi, editor, APPIA-GULP-PRODE'97. Joint Conference on Declarative Programming. (Grado (I), June 1997)
  7. A. Dovier and A. Policriti.
    Set Domains for Structural Properties of Terms
    In M. Falaschi, editor, APPIA-GULP-PRODE'97. Joint Conference on Declarative Programming. (Grado (I), June 1997)
  8. A. Dovier, C. Piazza, and G. Rossi.
    Narrowing the gap between Set-Constraints and CLP(SET)-Constraints
    In J. L. Freire and M. Falaschi, eds., APPIA-GULP-PRODE'98. Joint Conference on Declarative Programming, pages 43--55. (La Coruna (ES), July 1998)
  9. A. Cortesi, A. Dovier, E. Quintarelli, and L. Tanca.
    Operational and Abstract Semantics of a Query Language for Semi-Structured Information.
    In J. L. Freire and M. Falaschi, eds., APPIA-GULP-PRODE'98. Joint Conference on Declarative Programming, pages 175--187. (La Coruna (ES), July 1998)
  10. A. Dovier, C. Piazza, E. Pontelli, and G. Rossi.
    ACI1 constraints.
    In M. C. Meo ed., APPIA-GULP-PRODE'99. Joint Conference on Declarative Programming, pp. 305-319. (L'Aquila (IT), September 1999)
  11. A. Dovier, C. Piazza, and A. Policriti.
    Comparing expressiveness of set constructor symbols.
    In M. C. Meo ed., APPIA-GULP-PRODE'99. Joint Conference on Declarative Programming, pp. 151-165 (L'Aquila (IT), September 1999)
  12. A. Dovier, N. Lavarini, and E. Quintarelli.
    Model Checking Based Query Retrieval.
    In APPIA-GULP-PRODE'00. Joint Conf. on Declarative Programming. La Habana, CUBA, December 2000.
  13. A. Dovier, R. Giacobazzi, and E. Quintarelli.
    Refining and Compressing Abstract Model Checking.
    In APPIA-GULP-PRODE'00. Joint Conf. on Declarative Programming. La Habana, CUBA, December 2000.

    2001-2005

  14. A. Dovier, A. Formisano, and E.G. Omodeo.
    Decidability Results for Sets with Atoms.
    In APPIA-GULP-PRODE'01. Joint Conf. on Declarative Programming. Evora, Portugal, September 2001.
  15. A. Dovier, C. Piazza, and G. Rossi.
    Multiset Constraints and P Systems.
    In APPIA-GULP-PRODE'01. Joint Conf. on Declarative Programming. Evora, Portugal, September 2001.
  16. F. Avanzini, A. Belussi, A. Dal Palu', A.Dovier, and D. Rocchesso.
    Optimal Placement of Acoustic Sources in a Built-up Area using CLP(FD).
    In J. J. Moreno-Navarro and J. M. Carballo eds., APPIA-GULP-PRODE 2002, Joint Conference on Declarative Programming, Madrid, Spain, 16--18 September 2002, pp. 139--154.
  17. A. Dovier, E. Pontelli, and G. Rossi.
    Intensional Sets in CLP.
    In APPIA-GULP-PRODE 2003, Joint Conference on Declarative Programming, Reggio Calabria, 2--5 September 2003, pp. 36--49.
  18. S. Bozzoli, F. Spoto, and A. Dovier.
    Approximate Protein Folding in Oz trough Frequency Analysis.
    In APPIA-GULP-PRODE 2003, Joint Conference on Declarative Programming, Reggio Calabria, 2--5 September 2003, pp. 123--134.
  19. A. Dal Palu', S. Will, R. Backofen, A. Dovier.
    Constraint Based Protein Structure Prediction Exploiting Secondary Structure Information.
    In Proc. of CILC'04. Parma, JUne 2004.
  20. L. Bortolussi, A. Dal Palu', A. Dovier Constraint-based tools for protein folding. DEMO at CILC'04.
  21. L. Bortolussi, A. Dal Palu', A. Dovier, and F. Fogolari.
    Protein Folding Simulation in CCP.. In Workshop Agenti e Vincoli: Modelli e Tecnologie per Dominare la Complessità
    AI*IA 2004 Perugia , 17 Settembre 2004.
  22. Agostino Dovier, Andrea Formisano, and Enrico Pontelli.
    A comparison of CLP(FD) and ASP solutions to NP-complete problems
    RCRA 2005 Ferrara, Giugno 2005.
  23. A. Dal Palu', A. Dovier, and E. Pontelli.
    Heuristics, optimization, and parallelism for protein structure prediction in CLP(FD)
    CILC 2005: Convegno Italiano di Logica Computazionale. 21--22 giugno 2005, Roma.
  24. A. Dovier, A. Formisano, and E. Pontelli.
    A comparison of CLP(FD) and ASP solutions to NP-complete problems
    CILC 2005: Convegno Italiano di Logica Computazionale. 21--22 giugno 2005, Roma.

    25. 2006-2010

  25. R. Cipriano, L. Di Gaspero, A. Dovier
    Hybrid Approaches for Rostering: A Case Study in the Integration of Constraint Programming and Local Search.
    In RCRA2006 Udine, 23 Giugno 2006.
  26. A. Dovier, A. Formisano, and E. Pontelli.
    Planning with Action Languages: Perspectives using CLP(FD) and ASP
    CILC 2006: Convegno Italiano di Logica Computazionale. 26-27 giugno 2006, Bari.
  27. Andrea Formisano, Agostino Dovier, Enrico Pontelli.
    Multivalued Action Languages with Constraints in CLP(FD)
    CILC 2007: Convegno Italiano di Logica Computazionale, Messina, 21-22 Giugno 2007.
  28. Alessandro Dal Palu', Agostino Dovier, Enrico Pontelli e Gianfranco Rossi
    GASP: Answer Set Programming with Lazy Grounding
    CILC08: 23-esimo Convegno Italiano di Logica Computazionale Perugia, 10-12 Luglio 2008.
  29. Agostino Dovier, Raffaele Cipriano e Jacopo Mauro
    Compiling and Executing Declarative Modeling Languages in Gecode
    CILC08: 23-esimo Convegno Italiano di Logica Computazionale. Perugia, 10-12 Luglio 2008.
  30. Agostino Dovier and Jacopo Mauro.
    Constraint based implementation of a pddl-like language with static causal laws and time fluents.
    In CILC09: 24-esimo Convegno Italiano di Logica Computazionale, Ferrara, Italy, June 2009.
  31. Agostino Dovier, Andrea Formisano, and Enrico Pontelli.
    Multi-agent planning in CLP.
    In CILC09: 24-esimo Convegno Italiano di Logica Computazionale, Ferrara, Italy, June 2009.
  32. Andrea Calligaris, Dario Campagna, Cristian De Rosa, Agostino Dovier, Angelo Montanari, and Carla Piazza.
    A clp engine for a general purpose configuration tool.
    In CILC09: 24-esimo Convegno Italiano di Logica Computazionale, Ferrara, Italy, June 2009.
  33. Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli
    CLP-based Protein Fragment Assembly
    Proceedings of CILC2010, 25th Italian Conference on Computational Logic Rende, Italy, July 7-9, 2010 (W. Faber and N. Leone eds.). CEUR vol-598.
  34. Agostino Dovier, Andrea Formisano, Enrico Pontelli
    Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda
    Proceedings of CILC2010, 25th Italian Conference on Computational Logic Rende, Italy, July 7-9, 2010 (W. Faber and N. Leone eds.). CEUR vol-598.

    35. 2011-2015

  35. Neng-Fa Zhou and Agostino Dovier.
    A Tabled Prolog Program for Solving Sokoban. (SLIDES)
    26th Italian Conference on Computational Logic. Pescara, Italy, August 31-September 2, 2011. CEUR Vol 810
  36. Alessio Stalla, Davide Zanucco, Agostino Dovier, and Viviana Mascardi.
    PrettyCLP: a Light Java Implementation for Teaching CLP. 26th Italian Conference on Computational Logic. Pescara, Italy, August 31-September 2, 2011. CEUR Vol 810
  37. Alessandro Dal Palù Agostino Dovier, Andrea Formisano and Enrico Pontelli.
    Exploiting Unexploited Computing Resources for Computational Logics.
    27th Italian Conference on Computational Logic, Roma, June 6-7, 2012. CEUR Vol 857
  38. Davide Ancona and Agostino Dovier. A foundational view of co-LP.
    In CILC13. Catania, 25--27 Settembre 2013. (publihed version of the paper HERE)
  39. Flavio Vella, Alessandro Dal Palì Agostino Dovier, Andrea Formisano and Enrico Pontelli.
    CUD@ASP: Experimenting with GPGPUs in ASP solving. In CILC13. Catania, 25-27 Settembre 2013. CEUR vol 1068, pp 163-177.
  40. Agostino Dovier.
    Set Graphs VI: Logic Programming and Bisimulation. In CILC14. Torino, 16-18 Giugno 2014. CEUR.

    2016-2020

  41. Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini.
    Labelled Variables in Logic Programming: Foundations. CILC 2016: 5-20 CEUR 1645
  42. Marco De Bortoli, Roman Bartak, Agostino Dovier, Neng-Fa Zhou.
    Compiling and Executing PDDL in Picat. CILC 2016: 132-147 CEUR 1645
  43. Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Alberto Policriti, Enrico Pontelli.
    Logic Programming Applied to Genome Evolution in Cancer. CILC 2016: 148-157 CEUR 1645
  44. Agostino Dovier, Paolo Benoli, Maria Concetta Brocato, Luciano Dereani, Federica Tabacco.
    Reasoning in High Schools: Do it with ASP! CILC 2016: 205-213 CEUR 1645
  45. Francesco Contaldo, Marco De Bortoli, Agostino Dovier.
    Optimization of a Compiler from PDDL to Picat (Short Paper). ICTCS/CILC 2017: 281-285 CEUR 1949
  46. Alice Tarzariol, Agostino Dovier, Alberto Policriti.
    Towards a Logic Programming Tool for Cancer Analysis. ICTCS/CILC 2017: 361-375 CEUR 1949
  47. Alessandro Dal Pal`, Agostino Dovier, Andrea Formisano
    2D object reconstruction with ASP. CILC 2018: 132-146. CEUR 2214.
  48. Marco De Bortoli, Federico Igne, Fabio Tardivo, Pietro Totis, Agostino Dovier, Enrico Pontelli.
    Towards Distributed Computation of Answer Sets. CILC 2019: 316-326. CEUR 2396.
  49. Agostino Dovier
    The SATisfiability problem and its impact. CILC 2019: 1. CEUR 2396.
  50. Francesco Fabiano, Idriss Riouak, Agostino Dovier, Enrico Pontelli
    Non-Well-Founded Set Based Multi-Agent Epistemic Action Language. CILC 2019: 242-259. CEUR 2396.
  51. Alessandro Burigana, Francesco De Martino and Agostino Dovier.
    A Java visual simulator of Turing Machines. ICTCS 2020: paper 16. CEUR 2756.
  52. Nicola Rizzo, Agostino Dovier.
    3coSoKu and its Logic Programming Modeling. CILC 2020: 5-20 CEUR 2710. BEST PAPER AWARD

    2021-2025

  53. Alessandro Burigana, Francesco Fabiano, Agostino Dovier, and Enrico Pontelli.
    Modelling Multi-Agent Epistemic Planning in ASP (an abridged report). CILC 2021, Parma. PAPER.
  54. Davide Soldà, Francesco Fabiano and Agostino Dovier
    Epistemic Multiagent Reasoning with Collaborative Robots. CILC 22: 32-46 Bologna. CEUR 3204.
  55. Lorenzo Cian, Talissa Dreossi and Agostino Dovier
    Modeling and Solving the Rush Hour puzzle. CILC 22: 294–306, Bologna. CEUR 3204.
  56. Michele Collevati, Agostino Dovier and Andrea Formisano
    GPU parallelism for SAT solving heuristics. CILC 22: 17-31, Bologna. CEUR 3204.
  57. Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel and Enrico Pontelli
    Constraints propagation on GPU: A case study for AllDifferent. CILC 22: 61-74, Bologna. CEUR 3204. BEST PAPER AWARD
  58. Alessandro Dal Palù, Agostino Dovier, Andrea Formisano.
    Towards Explainable Data-to-text Generation.
    CILC 2023, Udine. CEUR 3428