International (referred) Conferences with copyright proceedings

    2020

  1. Francesco Fabiano, Alessandro Burigana, Agostino Dovier, Enrico Pontelli: EFP 2.0: A Multi-Agent Epistemic Solver with Multiple E-State Representations. ICAPS 2020: 101-109
  2. Alessandro Burigana, Francesco Fabiano, Agostino Dovier and Enrico Pontelli. Modelling Multi-Agent Epistemic Planning in ASP. ICLP 2020. Published as journal paper: Theory Pract. Log. Program. 20(5): 593-608 (2020) (ArXiV version)

    2019

  3. Agostino Dovier, Andrea Formisano, Flavio Vella: GPU-Based Parallelism for ASP-Solving. DECLARE 2019: 3-23 Lecture Notes in Computer Science 12057, 2020.

    2018

  4. Federico Igne, Agostino Dovier, Enrico Pontelli: MASP-Reduce: A Proposal for Distributed Computation of Stable Models. ICLP (Technical Communications) 2018: 8:1-8:

    2016

  5. Roman Bartak, Neng-Fa Zhou, Agostino Dovier: Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models. KnowProS@IJCAI 2016, NY.
  6. Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella: A GPU Implementation of the ASP Computation. PADL 2016: 30-47, LNCS 9585. St. Petersburg, Florida.

    2015

  7. Neng-Fa Zhou, Roman Bartak, and Agostino Dovier. Planning as Tabled Logic Programming. Proc of ICLP 2015 (Cork, Ireland). See also "Journal Papers".
  8. Agostino Dovier. Logic Programming and Bisimulation. Proc of ICLP 2015 (Cork, Ireland). (CEUR Vol 1433)
  9. Agostino Dovier, Andrea Formisano, Enrico Pontelli, and Flavio Vella. Parallel Execution of the ASP computation - An investigation on GPUs. Proc of ICLP 2015 (Cork, Ireland) (CEUR Vol 1433)
  10. Roman Barták, Agostino Dovier, and Neng-Fa Zhou.
    On modeling planning problems in tabled logic programming. (DRAFT) Proc of PPDP 2015. July 14-16 Siena (Italy). ACM Press.
  11. Ferdinando Fioretto, Federico Campeotto, Agostino Dovier, Enrico Pontelli, William Yeoh.
    Large Neighborhood Search with Quality Guarantees for Distributed Constraint Optimization Problems. AAMAS 2015: 1835-1836

    2014

  12. Federico Campeotto, Agostino Dovier, Ferdinando Fioretto, and Enrico Pontelli.
    A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems. (DRAFT)
    Proc of ECAI 2014 Prague, August 2014.
  13. Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, and Enrico Pontelli
    Exploring the Use of GPUs in Constraint Solving. (DRAFT)
    Proc of PADL 2014, LNCS 8324, pp. 152-167, 2014.

    2013

  14. Davide Ancona and Agostino Dovier.
    Co-LP: Back to the Roots
    Proc of ICLP 2013, TPLP 13 (4-5) (Cambridge University Press), Istanbul, Turkey, August 2013.
  15. F. Campeotto, A. Dovier, and E. Pontelli.
    Protein Structure Prediction on GPU: a Declarative Approach in a Multi-agent Framework. (Draft)
    Proc. of ICPP 2013 (IEEE), Lyon (FR), pp. 474-479, October 2013.

    2012

  16. F. Campeotto, A. Dal Palù, A. Dovier, F. Fioretto, and E. Pontelli.
    A Filtering Technique for Fragment Assembly-based Proteins Loop Modeling with Constraints (Draft)
    In Proc of CP 2012, LNCS 7514, pp 850-866, Quebec City, Canada, October 2012.
  17. A. Dal Palù, A. Dovier, A. Formisano, and E. Pontelli.
    CUD@SAT: GPU parallelism for SAT Solving.
    In T. Mancini and A. Oddi eds, Proc of RCRA 2012: 19th RCRA International Workshop on "Experimental Evaluation of Algorithms for solving problems with combinatorial explosion". Roma, 14-15 June 2012.
    (DRAFT, to be cited as: BIBTEX ENTRY)

    2011

  18. Agostino Dovier, Andrea Formisano, and Enrico Pontelli.
    BAAC: A Prolog System for Action Description and Agents Coordination.
    ICLP 2011, Lexington, Kentucky, July 06-10, 2011. 10.4230/LIPIcs.ICLP.2011.187, pp. 187--197.
  19. Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, and Enrico Pontelli.
    Exploring Protein Fragment Assembly Using CLP.
    In IJCAI11, Twenty-second International Joint Conference on Artificial Intelligence, July 16-22, 2011, pp. 2590-2595, AAAI Press, Barcelona.
  20. Neng-Fa Zhou and Agostino Dovier.
    A Tabled Prolog Program for Solving Sokoban,
    ICTAI 2011 23rd IEEE International Conference on Tools with Artificial Intelligence, Nov. 7-9, 2011, Boca Raton, Florida, USA.
  21. 2010

  22. ICLP 2010 (Best Paper) - see journal papers.

    2009

  23. Raffaele Cipriano, Luca Di Gaspero, Agostino Dovier.
    A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal++.
    In M. Gavanelli and T. Mancini eds, Proc of RCRA 2009: Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion. CEUR-WS Vol 589
  24. Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli and Gianfranco Rossi.
    Answer Set Programming with Constraints using Lazy Grounding.
    Proc of ICLP 2009, July 14-17, Pasadena (USA). LNCS 5649, pp. 115-129.
  25. Alessandro Dal Palù, Agostino Dovier, and Enrico Pontelli.
    Logic Programming Techniques in Protein Structure Determination: Methodologies and Results.
    Proc. of LPNMR 2009, 10th International Conference on Logic Programming and Nonmonotonic Reasoning, LNCS 5753, pp. 560-566 Potsdam, Germany, 14-18 September, 2009.
  26. Andrea Formisano, Agostino Dovier, Enrico Pontelli.
    Representing Multi-Agent Planning in CLP
    Proc. of LPNMR 2009, 10th International Conference on Logic Programming and Nonmonotonic Reasoning, LNCS 5753, pp. 423-429, Potsdam, Germany, 14-18 September, 2009.
  27. Agostino Dovier and Enrico Pontelli.
    Present and Future Challenges for ASP Systems (Extended Abstract)
    Proc. of LPNMR 2009, 10th International Conference on Logic Programming and Nonmonotonic Reasoning, LNCS 5753, pp. 622-624, Potsdam, Germany, 14-18 September, 2009.
  28. Raffaele Cipriano, Luca Di Gaspero, and Agostino Dovier.
    A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal++. (draft)
    In HM 2009 6th International Workshop on Hybrid Metaheuristics.
    LNCS 5818, pp. 141-155, Udine, October 16-17, 2009.

    2008

  29. A. Dal Palù,A. Dovier, E. Pontelli, and G. Rossi.
    GASP: Answer Set Programming with Lazy Grounding
    In LaSh 2008: LOGIC AND SEARCH Computation of structures from declarative descriptions. 2nd International Workshop on Logic and Search, Nov. 6-7th 2008, Leuven, Belgium.
  30. R. Cipriano, A. Dovier, and M. Jacopo.
    Compiling and Executing Declarative Modeling Languages in Gecode. (draft)
    Proc. of ICLP 2008, LNCS 5366, pp. 744-748. Udine, Dec. 9-13, 2008.

    2007

  31. Andrea Formisano, Agostino Dovier, Enrico Pontelli.
    An Experimental Comparison of Constraint Logic Programming and Answer Set Programming.
    AAAI-07 Nectar Paper Tracks at the Twenty-Second AAAI Conference on Artificial Intelligence (AAAI-07), July 22-26 in Vancouver, British Columbia, Canada, pp 1622-1625.
  32. Andrea Formisano, Agostino Dovier, Enrico Pontelli.
    Multivalued Action Languages with Constraints in CLP(FD) (Draft)
    In Proc. of ICLP 2007, LNCS 4670, pp 255-270, Porto, September 2007.
  33. A. Dovier, A. Dal Palù, E. Pontelli.
    Enhancing the Computation of Approximate Solutions of the Protein Structure Determination
    In Proceedings of the IEEE international conference on Bioinformatics and biomedicine workshops, 2-4 november 2007, fremont california, IEEE isbn 978-1-4244-1604-2 pp. 38-44

    2006

  34. M. Farenzena, A. Fusiello, and A. Dovier.
    Reconstruction with Interval Constraints Propagation
    In Proc. of IEEE Computer Society Conference on Computer Vision and Pattern Recognition New York, NY: June 17-22, 2006.
  35. Raffaele Cipriano, Luca Di Gaspero, and Agostino Dovier.
    Hybrid Approaches for Rostering: a Case Study in the Integration of Constraint Programming and Local Search.
    HM 2006 International Workshop on Hybrid Metaheuristics. Gran Canaria, 13-15 October 2006. LNCS 4030, pp. 110-123, 2006. (Draft)

    2005

  36. L. Bortolussi, A. Dovier, and F. Fogolari.
    Multi-Agent Simulation of Protein Folding.
    In Proc. of First International Workshop on Multi-Agent Systems for Medicine, Computational Biology, and Bioinformatics (25 July 2005 - Uthrect, The Netherlands), in conjunction with AAMAS'05. ( draft )
  37. A. Dovier, A. Dal Palù, E. Pontelli.
    Heuristics, Optimizations, and Parallelism for Protein Structure Prediction in CLP(FD).
    In Proc of PPDP 2005, Lisbon, July 2005.
  38. A. Dovier, A. Formisano, E. Pontelli.
    A comparison of CLP(FD) and ASP solutions to NP-complete problems.
    In Proc of ICLP 2005. LNCS 3668, pp. 67-82. Sitges, barcelona, October 2005. See also its journal version JETAI 2009
  39. A. Dovier, A. Dal Palù, E. Pontelli.
    A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem
    In Proc of LPAR2005, Montego Bay, Jamaica, December 2005. LNCS Volume 3835, pp 48-63.

    2004

  40. A. Dal Palù, A. Dovier, F. Fogolari.
    Protein Folding Simulation in CCP. (DRAFT).
    In Proc. of ICLP 2004, LNCS 3132 pp. 452-453, Saint Malo, France.

    2003

  41. F. Avanzini, D. Rocchesso, A. Belussi, A. Dal Palù, and A. Dovier.
    ACQUA ALTA A VENEZIA: DESIGN OF A URBAN SCALE AUDITORY WARNING SYSTEM
    ICAD 2003, Proc. Int. Conf. on Auditory Display, pp. 184--187, Boston, July 7-9, 2003.
  42. A. Dal Palù, A. Dovier, E. Pontelli and G. Rossi
    Integrating Finite Domain Constraints and CLP with Sets.
    In D. Miller, ed., Proc of Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming pp. 219--229, Uppsala, Sweden, 27-29 August 2003.
  43. A. Dal Palù, A. Dovier, F. Fogolari.
    Protein Folding in CLP(FD) with Empirical Contact Energies.
    In Joint Annual Workshop of the ERCIM Working Group on Constraints and the CoLogNET area on Constraint and Logic Programming Budapest, 30 June - 2 July, 2003.
    LNCS vol 3010, pp. 250--265.
    Also as Poster in ECCB'2003 European Conference on Computational Biology, September 27-30, 2003, Paris, FRANCE
  44. A. Dovier, E. Pontelli, and G. Rossi.
    Intensional Sets in CLP.
    In C. Palamidessi ed. Proc of ICLP 2003, LNCS vol. 2916, pp. 284--299, Bombay, India. (DRAFT).

    2002

  45. A. Dovier, M. Burato, and F. Fogolari.
    Using Secondary Structure Information for Protein Folding in CLP(FD).
    In 11th International Workshop on Functional and (constraint) Logic Programming. ENTCS vol. 76, Grado (IT), June 20-22, 2002.
  46. A. Dovier, R. Gentilini, C. Piazza, and A. Policriti.
    Rank-Based Symbolic Bisimulation (and Model Checking).
    In WOLLIC'02, Ruy de Queiroz, Luiz Carlos Pereira, and Edward Hermann Haeusler eds., ENTCS vol. 67.

    2001

  47. A. Dovier, R. Giacobazzi, and E. Quintarelli.
    Refining and Compressing Abstract Model Checking.
    In Electronic Notes in Theoretical Computer Science, volume 48, pp. 90-107, 2001.
  48. A. Dovier, C. Piazza, and A. Policriti.
    A Fast Bisimulation Algorithm.
    In proceedings of Conference on Computer Aided Verification, CAV'01, July 18--23, 2001. Paris, France.
  49. M. Bicego, A. Dovier, and V. Murino.
    Designing the Minimal Structure of Hidden Markov Models by Bisimulation. (Draft)
    In Proceedings of the Third International Workshop on Energy Minimization Methods in Computer Vision and Pattern Recognition (EMMCVPR-2001), LNCS n. 2134, pp. 75--90, Sophia Antipolis, France, September 3--5, 2001.
  50. A. Dovier and E. Quintarelli.
    Model-Checking Based Data Retrieval.
    In 8th Biennial International Workshop on Data Bases and Programming Languages (DBPL'01), Frascati, 8-10 September 2001, G. Ghelli and G. Grahne eds., LLNCS 2397, pp. 62-77.

    2000

  51. A. Dovier, C. Piazza, and A. Policriti.
    Comparing expressiveness of set constructor symbols.
    LNCS No. 1794, Proc. of Frontiers of Combining Systems, pp. 275-289, FroCoS'2000, March 22-24, 2000. Nancy, France.

    1999

  52. A. Dovier, C. Piazza, E. Pontelli, and G. Rossi.
    ACI1 Constraints.
    In D. De Schreye ed., ICLP'99, 16th International Conference on Logic Programming, The MIT Press, pp. 573--587. (Nov. 29--Dec. 4, 1999, Las Cruces, New Mexico, USA)

    1998

  53. A. Dovier, C. Piazza, E. Pontelli, and G. Rossi.
    On the Representation and Management of Finite Sets in CLP-languages.
    In Joxan Jaffar ed., Proceedings of 1998 Joint International Conference and Symposium on Logic Programming, pp. 40-54, The MIT Press. (Manchester, UK. 15-19 June 1998)

    1997

  54. A. Dovier, A. Formisano, and A. Policriti.
    On T Logic Programming.
    In J. Maluszynski ed., Proceedings of 1997 International Logic Programming Symposium, pp. 323--337. The MIT Press. (Port Jefferson, NY, October 1997)

    1996

  55. A. Dovier, A. Policriti, and G. Rossi.
    Integrating lists, multisets, and sets in a logic programming framework.
    In Franz Baader e Klaus U. Schulz eds., Frontier of Combining Systems 1996, pp. 213--229. Kluwer Academic Publishers. (München, Germany, March 1996)

    1995

  56. P. Arenas-Sanchez and A. Dovier.
    Minimal Set Unification
    In M. Hermenegildo and S. Doaitse Swierstra, eds, Proc. Seventh International Symposioum on Programming Language Implementation and Logic Programming, LNCS No. 982 pp. 397--414, Springer-Verlag. (Utrecht, Netherland, September 1995) - Extended Version

    1994

  57. P. Bruscoli, A. Dovier, E. Pontelli, and G. Rossi.
    Compiling Intensional Sets in CLP
    In P. Van Entenryck ed., Logic Programming: Proceedings of the Eleventh International Conference, The MIT Press, pp. 647--661. (S. Margherita Ligure, Italy, June 1994)

    1993

  58. A. Dovier.
    A language with Finite Sets embedded in the CLP-scheme
    In R. Dyckhoff ed., Extension of Logic Programming'93, LNCS No. 798, pp. 77--93. (St Andrews, March/April 1993)
  59. A. Dovier and E. Pontelli.
    A WAM based Implementation of a Logic Language with Sets
    In M. Bruynooghe and J. Penjam eds, Fifth International Symposioum on Programming Language Implementation and Logic Programming, LNCS No. 714, Springer Verlag, pp. 275--290. (Tallinn, Estonia, August 1993)
  60. A. Dovier and G. Rossi.
    Embedding extensional finite sets in CLP
    In D. Miller ed., Proceedings of 1993 International Logic Programming Symposium, The MIT Press, pp. 540--556. (Vancouver, BC, Canada, October 1993)

    1992

  61. A. Dovier, E. G. Omodeo, E. Pontelli, and G. Rossi.
    Embedding Finite Sets in a Logic Programming Language
    In E. Lamma and P. Mello eds, Extension of Logic Programming'92, LNCS No. 660. Springer Verlag, pp.150--167. (Bologna, February 1992)

    1991

  62. A. Dovier, E. G. Omodeo, E. Pontelli, and G. Rossi.
    {log}: A Logic Programming Language with Finite Sets
    In K. Furukawa ed., Logic Programming: Proceedings of the Eighth International Conference, The MIT Press, pp. 111--124. (Paris, June 1991)

Home Page