| 2026 | AAAI | Learning from Answer Sets via Single-Shot Disjunctive ASP Encoding. | Roberto Borelli, Agostino Dovier |
| 2024 | LPNMR | Towards Explainable Weather Forecasting Through FastLAS. | Talissa Dreossi, Agostino Dovier, Andrea Formisano, Mark Law, Agostino Manzato, Alessandra Russo, Matthew Tait |
| 2023 | CPAIOR | Constraint Propagation on GPU: A Case Study for the Cumulative Constraint. | Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli |
| 2021 | PRICAI | Multi-agent Epistemic Planning with Inconsistent Beliefs, Trust and Lies. | Francesco Fabiano, Alessandro Burigana, Agostino Dovier, Enrico Pontelli, Tran Cao Son |
| 2018 | ICLP | MASP-Reduce: A Proposal for Distributed Computation of Stable Models. | Federico Igne, Agostino Dovier, Enrico Pontelli |
| 2016 | IJCAI | Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models. | Roman Bartk, Neng-Fa Zhou, Agostino Dovier |
| 2016 | ICTAI | Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models. | Roman Bartk, Agostino Dovier, Neng-Fa Zhou |
| 2016 | PADL | A GPU Implementation of the ASP Computation. | Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella |
| 2015 | ICLP | Logic Programming and Bisimulation. | Agostino Dovier |
| 2015 | ICLP | Parallel Execution of the ASP Computation - an Investigation on GPUs. | Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella |
| 2015 | ICTAI | Exploring the Use of BDDs in Conformant Planning. | Stefano Tognazzi, Agostino Dovier, Enrico Pontelli, Tran Cao Son |
| 2015 | PPDP | On modeling planning problems in tabled logic programming. | Roman Bartk, Agostino Dovier, Neng-Fa Zhou |
| 2014 | ECAI | A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems. | Federico Campeotto, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli |
| 2014 | PADL | Exploring the Use of GPUs in Constraint Solving. | Federico Campeotto, Alessandro Dal Pal, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli |
| 2013 | ICPP | Protein Structure Prediction on GPU: A Declarative Approach in a Multi-agent Framework. | Federico Campeotto, Agostino Dovier, Enrico Pontelli |
| 2012 | CP | A Filtering Technique for Fragment Assembly- Based Proteins Loop Modeling with Constraints. | Federico Campeotto, Alessandro Dal Pal, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli |
| 2012 | ICLP | Introduction to the Technical Communications of the 28th International Conference on Logic Programming Special Issue. | Agostino Dovier, Vtor Santos Costa |
| 2011 | ICLP | BAAC: A Prolog System for Action Description and Agents Coordination. | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
| 2011 | IJCAI | Exploring Protein Fragment Assembly Using CLP. | Alessandro Dal Pal, Agostino Dovier, Federico Fogolari, Enrico Pontelli |
| 2011 | ICTAI | A Tabled Prolog Program for Solving Sokoban. | Neng-Fa Zhou, Agostino Dovier |
| 2009 | ICLP | Answer Set Programming with Constraints Using Lazy Grounding. | Alessandro Dal Pal, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
| 2009 | LPNMR | Representing Multi-agent Planning in CLP. | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
| 2009 | LPNMR | Present and Future Challenges for ASP Systems. | Agostino Dovier, Enrico Pontelli |
| 2009 | LPNMR | Logic Programming Techniques in Protein Structure Determination: Methodologies and Results. | Alessandro Dal Pal, Agostino Dovier, Enrico Pontelli |
| 2008 | ICLP | Compiling and Executing Declarative Modeling Languages to Gecode. | Raffaele Cipriano, Agostino Dovier, Jacopo Mauro |
| 2007 | AAAI | An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
| 2007 | ICLP | Multivalued Action Languages with Constraints in CLP(FD). | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
| 2006 | CVPR | Reconstruction with Interval Constraints Propagation. | Michela Farenzena, Andrea Fusiello, Agostino Dovier |
| 2005 | ICLP | A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems. | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
| 2005 | LPAR | A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem. | Alessandro Dal Pal, Agostino Dovier, Enrico Pontelli |
| 2005 | PPDP | Heuristics, optimizations, and parallelism for protein structure prediction in CLP( | Alessandro Dal Pal, Agostino Dovier, Enrico Pontelli |
| 2004 | ICLP | Protein Folding Simulation in CCP. | Alessandro Dal Pal, Agostino Dovier, Federico Fogolari |
| 2003 | ICLP | Intensional Sets in CLP. | Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
| 2003 | PPDP | Integrating finite domain constraints and CLP with sets. | Alessandro Dal Pal, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
| 2001 | CAV | A Fast Bisimulation Algorithm. | Agostino Dovier, Carla Piazza, Alberto Policriti |
| 1999 | ICLP | ACI1 Constraints. | Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi |
| 1998 | ICLP | On the Representation and Management of Finite Sets in CLP Languages. | Agostino Dovier, Carla Piazza, Gianfranco Rossi, Enrico Pontelli |
| 1994 | ICLP | Compiling Intensional Sets in CLP. | Paola Bruscoli, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
| 1993 | ICLP | Unification of Hyperset Terms. | Davide Aliffi, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo |
| 1993 | ICLP | Extensional and Intensional Sets in CLP with Intensional Negation. | Paola Bruscoli, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli |
| 1991 | ICLP | {log}: A Logic Programming Language with Finite Sets. | Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi |