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-

  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.
  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.