International (referred) Conferences with copyright proceedings
2020
 Francesco Fabiano, Alessandro Burigana, Agostino Dovier, Enrico Pontelli:
EFP 2.0: A MultiAgent Epistemic Solver with Multiple EState Representations. ICAPS 2020: 101109
 Alessandro Burigana, Francesco Fabiano, Agostino Dovier and Enrico Pontelli.
Modelling MultiAgent Epistemic Planning in ASP.
ICLP 2020. Published as journal paper: Theory Pract. Log. Program. 20(5): 593608 (2020)
(ArXiV version)
2019
 Agostino Dovier, Andrea Formisano, Flavio Vella:
GPUBased Parallelism for ASPSolving. DECLARE 2019: 323
Lecture Notes in Computer Science 12057, 2020.
2018

Federico Igne, Agostino Dovier, Enrico Pontelli:
MASPReduce: A Proposal for Distributed Computation of Stable Models. ICLP (Technical Communications) 2018: 8:18:
2016
 Roman Bartak, NengFa Zhou, Agostino Dovier:
MultipleOriginMultipleDestination Path Finding with Minimal Arc Usage: Complexity and Models.
KnowProS@IJCAI 2016, NY.
 Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella:
A GPU Implementation of the ASP Computation. PADL 2016: 3047, LNCS 9585.
St. Petersburg, Florida.
2015
 NengFa Zhou, Roman Bartak, and Agostino Dovier.
Planning as Tabled Logic Programming.
Proc of ICLP 2015 (Cork, Ireland).
See also "Journal Papers".
 Agostino Dovier. Logic Programming and Bisimulation.
Proc of ICLP 2015 (Cork, Ireland).
(CEUR Vol 1433)
 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)
 Roman Barták, Agostino Dovier, and NengFa Zhou.
On modeling planning problems in tabled logic programming.
(DRAFT)
Proc of PPDP 2015. July 1416 Siena (Italy). ACM Press.
 Ferdinando Fioretto, Federico Campeotto, Agostino Dovier, Enrico Pontelli, William Yeoh.
Large Neighborhood Search with Quality Guarantees for Distributed Constraint Optimization Problems. AAMAS 2015: 18351836
2014
 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.
 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. 152167, 2014.
2013
 Davide Ancona and Agostino Dovier.
CoLP: Back to the Roots
Proc of ICLP 2013,
TPLP 13 (45)
(Cambridge University Press), Istanbul, Turkey, August 2013.
 F. Campeotto, A. Dovier, and E. Pontelli.
Protein Structure Prediction on GPU: a Declarative Approach in a Multiagent Framework. (Draft)
Proc. of ICPP 2013 (IEEE), Lyon (FR), pp. 474479, October 2013.
2012
 F. Campeotto, A. Dal Palù, A. Dovier, F. Fioretto, and E. Pontelli.
A Filtering Technique for Fragment Assemblybased Proteins Loop Modeling with Constraints
(Draft)
In Proc of CP 2012,
LNCS 7514, pp 850866,
Quebec City, Canada, October 2012.
 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, 1415 June 2012.
(DRAFT,
to be cited as: BIBTEX ENTRY)
2011
 Agostino Dovier, Andrea Formisano, and Enrico Pontelli.
BAAC:
A Prolog System for Action Description and Agents Coordination.
ICLP 2011, Lexington, Kentucky, July 0610, 2011.
10.4230/LIPIcs.ICLP.2011.187, pp. 187197.
 Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, and
Enrico Pontelli.
Exploring Protein Fragment Assembly Using CLP.
In IJCAI11, Twentysecond International Joint Conference on
Artificial Intelligence, July 1622, 2011, pp. 25902595,
AAAI Press, Barcelona.
 NengFa Zhou and Agostino Dovier.
A Tabled Prolog Program for Solving Sokoban,
ICTAI 2011
23rd IEEE International Conference on Tools with Artificial Intelligence,
Nov. 79, 2011, Boca Raton, Florida, USA.
2010
 ICLP 2010 (Best Paper)  see
journal papers.
2009
 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. CEURWS Vol 589
 Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli and Gianfranco Rossi.
Answer Set Programming with Constraints using Lazy Grounding.
Proc of ICLP 2009, July 1417, Pasadena (USA).
LNCS 5649, pp. 115129.
 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. 560566
Potsdam, Germany, 1418 September, 2009.
 Andrea Formisano, Agostino Dovier, Enrico Pontelli.
Representing MultiAgent Planning in CLP
Proc. of LPNMR 2009,
10th International Conference on Logic
Programming and Nonmonotonic Reasoning, LNCS 5753, pp. 423429,
Potsdam, Germany, 1418 September, 2009.
 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. 622624,
Potsdam, Germany, 1418 September, 2009.
 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. 141155,
Udine, October 1617, 2009.
2008
 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. 67th 2008, Leuven, Belgium.
 R. Cipriano, A. Dovier, and M. Jacopo.
Compiling and Executing Declarative Modeling Languages in Gecode.
(draft)
Proc. of ICLP 2008,
LNCS 5366, pp. 744748.
Udine, Dec. 913, 2008.
2007
 Andrea Formisano, Agostino Dovier, Enrico Pontelli.
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming.
AAAI07 Nectar Paper Tracks at the
TwentySecond AAAI Conference on Artificial Intelligence (AAAI07), July 2226 in Vancouver,
British Columbia, Canada, pp 16221625.
 Andrea Formisano, Agostino Dovier, Enrico Pontelli.
Multivalued Action Languages with Constraints in CLP(FD)
(Draft)
In Proc. of ICLP 2007, LNCS 4670, pp 255270, Porto, September 2007.
 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,
24 november 2007, fremont california, IEEE
isbn 9781424416042
pp. 3844
2006
 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 1722, 2006.

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, 1315 October 2006.
LNCS
4030, pp. 110123, 2006.
(Draft)
2005
 L. Bortolussi, A. Dovier, and F. Fogolari.
MultiAgent Simulation of Protein Folding.
In Proc. of
First International Workshop on MultiAgent Systems for
Medicine, Computational Biology, and Bioinformatics (25 July 2005 
Uthrect, The Netherlands), in conjunction with AAMAS'05.
(
draft
)
 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.
 A. Dovier, A. Formisano, E. Pontelli.
A comparison of CLP(FD) and ASP solutions to NPcomplete problems.
In
Proc of ICLP 2005. LNCS 3668, pp. 6782. Sitges, barcelona, October 2005.
See also its journal version JETAI 2009
 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 4863.
2004
 A. Dal Palù, A. Dovier, F. Fogolari.
Protein Folding Simulation in CCP.
(DRAFT).
In Proc. of ICLP 2004, LNCS 3132 pp. 452453, Saint Malo, France.
2003
 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. 184187, Boston, July 79, 2003.
 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 ACMSIGPLAN International Conference on
Principles and Practice of Declarative Programming
pp. 219229,
Uppsala, Sweden, 2729 August 2003.
 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. 250265.
Also as Poster in
ECCB'2003 European Conference on Computational Biology,
September 2730, 2003, Paris, FRANCE
 A. Dovier, E. Pontelli, and G. Rossi.
Intensional Sets in CLP.
In C. Palamidessi ed. Proc of
ICLP 2003, LNCS vol. 2916, pp. 284299,
Bombay, India.
(DRAFT).
2002
 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 2022, 2002.
 A. Dovier, R. Gentilini, C. Piazza, and A. Policriti.
RankBased Symbolic Bisimulation (and Model Checking).
In WOLLIC'02,
Ruy de Queiroz, Luiz Carlos Pereira, and Edward Hermann Haeusler eds.,
ENTCS vol. 67.
2001
 A. Dovier, R. Giacobazzi, and E. Quintarelli.
Refining and Compressing Abstract Model Checking.
In Electronic Notes in Theoretical Computer Science,
volume 48, pp. 90107, 2001.

A. Dovier, C. Piazza, and A. Policriti.
A Fast Bisimulation Algorithm.
In proceedings of
Conference on Computer Aided Verification,
CAV'01, July 1823, 2001. Paris, France.
 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 (EMMCVPR2001),
LNCS n. 2134, pp. 7590,
Sophia Antipolis, France, September 35, 2001.
 A. Dovier and E. Quintarelli.
ModelChecking Based Data Retrieval.
In 8th Biennial International Workshop on Data
Bases and Programming Languages (DBPL'01), Frascati, 810 September
2001, G. Ghelli and G. Grahne eds., LLNCS 2397, pp. 6277.
2000
 A. Dovier, C. Piazza, and A. Policriti.
Comparing expressiveness of set constructor symbols.
LNCS No. 1794, Proc. of
Frontiers of Combining Systems, pp. 275289,
FroCoS'2000, March 2224, 2000. Nancy, France.
1999
 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. 573587. (Nov. 29Dec. 4, 1999,
Las Cruces, New Mexico, USA)
1998
 A. Dovier, C. Piazza, E. Pontelli, and G. Rossi.
On the Representation and Management of Finite Sets
in CLPlanguages.
In Joxan Jaffar ed.,
Proceedings of 1998 Joint International Conference and Symposium on
Logic Programming, pp. 4054, The MIT Press.
(Manchester, UK. 1519 June 1998)
1997
 A. Dovier, A. Formisano, and A. Policriti.
On T Logic Programming.
In J. Maluszynski ed.,
Proceedings of 1997
International Logic Programming Symposium,
pp. 323337. The MIT Press. (Port Jefferson, NY,
October 1997)
1996
 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. 213229. Kluwer Academic Publishers.
(München, Germany, March 1996)
1995
 P. ArenasSanchez 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. 397414, SpringerVerlag. (Utrecht, Netherland, September 1995) 
Extended Version
1994
 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. 647661.
(S. Margherita Ligure, Italy, June 1994)
1993
 A. Dovier.
A
language with Finite Sets embedded in the CLPscheme
In R. Dyckhoff ed., Extension of Logic Programming'93,
LNCS No. 798, pp. 7793. (St Andrews, March/April 1993)
 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. 275290.
(Tallinn, Estonia, August 1993)
 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. 540556.
(Vancouver, BC, Canada, October 1993)
1992
 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.150167. (Bologna, February 1992)
1991
 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. 111124. (Paris, June 1991)
Home Page