Agostino Dovier
Orcid: 0000-0003-2052-8593
According to our database1,
Agostino Dovier
authored at least 148 papers
between 1991 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
J. Log. Comput., December, 2023
ECHO: A hierarchical combination of classical and multi-agent epistemic planning problems.
J. Log. Comput., December, 2023
Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2023
Proceedings of the 38th Italian Conference on Computational Logic, 2023
2022
Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022
Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022
Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022
Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022
2021
Proceedings of the PRICAI 2021: Trends in Artificial Intelligence, 2021
2020
Fundam. Informaticae, 2020
Proceedings of the 21st Italian Conference on Theoretical Computer Science, 2020
Proceedings of the 35th Italian Conference on Computational Logic, 2020
Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020
2019
Proceedings of the Declarative Programming and Knowledge Management, 2019
Proceedings of the 34th Italian Conference on Computational Logic, 2019
Proceedings of the 34th Italian Conference on Computational Logic, 2019
Proceedings of the 34th Italian Conference on Computational Logic, 2019
2018
Intelligenza Artificiale, 2018
Fundam. Informaticae, 2018
Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018
Proceedings of the 33rd Italian Conference on Computational Logic, 2018
Proceedings of the Handbook of Parallel Constraint Reasoning., 2018
Proceedings of the Declarative Logic Programming: Theory, Systems, and Applications, 2018
2017
Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain.
Sci. Comput. Program., 2017
Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017
Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017
2016
Proceedings of the Practical Aspects of Declarative Languages, 2016
Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models.
Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016
Proceedings of the 31st Italian Conference on Computational Logic, 2016
Proceedings of the 31st Italian Conference on Computational Logic, 2016
Proceedings of the 31st Italian Conference on Computational Logic, 2016
Proceedings of the 31st Italian Conference on Computational Logic, 2016
2015
ACM Trans. Model. Comput. Simul., 2015
J. Exp. Theor. Artif. Intell., 2015
Fundam. Informaticae, 2015
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015
Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015
Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015
Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015
Large Neighborhood Search with Quality Guarantees for Distributed Constraint Optimization Problems.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015
2014
Proceedings of the Practical Aspects of Declarative Languages, 2014
A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Proceedings of the 29th Italian Conference on Computational Logic, 2014
2013
Proceedings of the Hybrid Metaheuristics, 2013
Theory Pract. Log. Program., 2013
Protein Structure Prediction on GPU: A Declarative Approach in a Multi-agent Framework.
Proceedings of the 42nd International Conference on Parallel Processing, 2013
Proceedings of the 28th Italian Conference on Computational Logic, 2013
2012
Introduction to the 28th international conference on logic programming special issue.
Theory Pract. Log. Program., 2012
Introduction to the Technical Communications of the 28th International Conference on Logic Programming Special Issue.
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012
A Filtering Technique for Fragment Assembly- Based Proteins Loop Modeling with Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2012
Proceedings of the 9th Italian Convention on Computational Logic, 2012
2011
Recent constraint/logic programming based advances in the solution of the protein folding problem.
Intelligenza Artificiale, 2011
Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011
Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011
2010
Theory Pract. Log. Program., 2010
Computing approximate solutions of the protein structure determination problem using global constraints on discrete crystal lattices.
Int. J. Data Min. Bioinform., 2010
Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD).
Fundam. Informaticae, 2010
Proceedings of the 25th Italian Conference on Computational Logic, 2010
2009
An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems.
J. Exp. Theor. Artif. Intell., 2009
Comput. Lang. Syst. Struct., 2009
Logic Programming Techniques in Protein Structure Determination: Methodologies and Results.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Logic Programming, 25th International Conference, 2009
A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal<sup> + + </sup>.
Proceedings of the Hybrid Metaheuristics, 6th International Workshop, 2009
Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2009
2008
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets.
ACM Trans. Comput. Log., 2008
Constraints An Int. J., 2008
Proceedings of the Logic Programming, 24th International Conference, 2008
2007
A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction.
Softw. Pract. Exp., 2007
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
Hybrid Approaches for Rostering: A Case Study in the Integration of Constraint Programming and Local Search.
Proceedings of the Hybrid Metaheuristics, Third International Workshop, 2006
Proceedings of the 2006 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2006), 2006
2005
Heuristics, optimizations, and parallelism for protein structure prediction in CLP(<i>FD</i>).
Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005
A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem.
Proceedings of the Logic for Programming, 2005
Proceedings of the Logic Programming, 21st International Conference, 2005
2004
Theor. Comput. Sci., 2004
BMC Bioinform., 2004
Proceedings of the Logic Programming, 20th International Conference, 2004
2003
Book review: Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets by Domenico Cantone, Eugenio Omodeo, and Alberto Policriti, Springer, 2001, ISBN 0-387-95197-0.
Theory Pract. Log. Program., 2003
Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003
Proceedings of the Recent Advances in Constraints, 2003
Intensional Sets in CLP.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003
Approximate Protein Folding in Oz through Frequency Analysis.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003
2002
Theor. Comput. Sci., 2002
Proceedings of the 9th Workhop on Logic, Language, Information and Computation, 2002
Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002
Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002
2001
New Gener. Comput., 2001
Proceedings of the Declarative Programming, 2001
Proceedings of the Energy Minimization Methods in Computer Vision and Pattern Recognition, 2001
Proceedings of the Database Programming Languages, 8th International Workshop, 2001
Proceedings of the Computer Aided Verification, 13th International Conference, 2001
Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001
2000
Inf. Process. Lett., 2000
1999
Solvable Set/Hyperset Contexts: II. A Goal-Driven Unification Algorithm for the Blended Case.
Appl. Algebra Eng. Commun. Comput., 1999
ACI1 constraints.
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999
Comparing expressiveness of set constructor symbols.
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999
1998
A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms.
Fundam. Informaticae, 1998
On the Representation and Management of Finite Sets in CLP Languages.
Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998
Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998
Operational and Abstract Semantics of a Query Language for Semi-Structured Information.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998
1997
On T Logic Programming.
Proceedings of the Logic Programming, 1997
Set domains for structural properties of terms.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997
Dealing with Infinite Intensional Sets in CLP.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997
1996
Integrating Lists, Multisets, and Sets in a Logic Programming Framework.
Proceedings of the Frontiers of Combining Systems, 1996
1995
Minimal Set Unification.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995
1994
Compiling Intensional Sets in CLP.
Proceedings of the Logic Programming, 1994
Solving Systems of Equations over Hypersets.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994
1993
Embedding extensional finite sets in CLP.
Proceedings of the Logic Programming, 1993
Proceedings of the Programming Language Implementation and Logic Programming, 1993
Extensional and Intensional Sets in CLP with Intensional Negation.
Proceedings of the Workshop on Logic Programming with Sets, 1993
Unification of Hyperset Terms.
Proceedings of the Workshop on Logic Programming with Sets, 1993
Proceedings of the Extensions of Logic Programming, 4th International Workshop, 1993
Un Linguaggio Logico con Insiemi Finiti Inserito nello Schema CLP.
Proceedings of the 8th Italian Conference on Logic Programming, 1993
1992
Proceedings of the Extensions of Logic Programming, Third International Workshop, 1992
1991
{log}: A Logic Programming Language with Finite Sets.
Proceedings of the Logic Programming, 1991