International (referred) Conferences with copyright proceedings
2023
-
Fabio Tardivo,
Agostino Dovier,
Andrea Formisano,
Laurent Michel,
Enrico Pontelli.
Constraint Propagation on GPU: A Case Study for the Cumulative Constraint.
CPAIOR 2023.
2021
- Francesco Fabiano, Alessandro Burigana, Agostino Dovier, Enrico Pontelli and Tran Cao Son:
Multi-Agent Epistemic Planning with Inconsistent Beliefs, Trust and Lies.
PRICAI 2021.
2020
- 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
- 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
- Agostino Dovier, Andrea Formisano, Flavio Vella:
GPU-Based Parallelism for ASP-Solving. DECLARE 2019: 3-23
Lecture Notes in Computer Science 12057, 2020.
2018
-
Federico Igne, Agostino Dovier, Enrico Pontelli:
MASP-Reduce: A Proposal for Distributed Computation of Stable Models. ICLP (Technical Communications) 2018: 8:1-8:
2016
- Roman Bartak, Neng-Fa Zhou, Agostino Dovier:
Multiple-Origin-Multiple-Destination 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: 30-47, LNCS 9585.
St. Petersburg, Florida.
2015
- Neng-Fa 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 Neng-Fa Zhou.
On modeling planning problems in tabled logic programming.
(DRAFT)
Proc of PPDP 2015. July 14-16 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: 1835-1836
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. 152-167, 2014.
2013
- 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.
- 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
- 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.
- 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
- 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.
- 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.
- 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.
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. CEUR-WS 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 14-17, Pasadena (USA).
LNCS 5649, pp. 115-129.
- 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.
- 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.
- 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.
- 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
- 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.
- 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
- 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.
- 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.
- 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
- 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.
-
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
- 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
)
- 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 NP-complete problems.
In
Proc of ICLP 2005. LNCS 3668, pp. 67-82. 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 48-63.
2004
- 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
- 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.
- 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.
- 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
- 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
- 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.
- 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
- 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.
-
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.
- 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.
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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)
- 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)
- 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
- 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
- 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