Agostino Dovier

According to our database1, Agostino Dovier authored at least 133 papers between 1991 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Non-Well-Founded Set Based Multi-Agent Epistemic Action Language.
Proceedings of the 34th Italian Conference on Computational Logic, 2019

The SATisfiability problem and its impact.
Proceedings of the 34th Italian Conference on Computational Logic, 2019

Towards Distributed Computation of Answer Sets.
Proceedings of the 34th Italian Conference on Computational Logic, 2019

2018
ASP Applications in Bio-informatics: A Short Tour.
KI, 2018

Distributed multi-agent optimization for smart grids and home automation.
Intelligenza Artificiale, 2018

Extending Logic Programming with Labelled Variables: Model and Semantics.
Fundam. Inform., 2018

MASP-Reduce: A Proposal for Distributed Computation of Stable Models.
Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018

2D object reconstruction with ASP.
Proceedings of the 33rd Italian Conference on Computational Logic, 2018

Parallel Answer Set Programming.
Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

Exploring life: answer set programming in bioinformatics.
Proceedings of the Declarative Logic Programming: Theory, Systems, and Applications, 2018

2017
Preface.
TPLP, 2017

Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain.
Sci. Comput. Program., 2017

Towards a Logic Programming Tool for Cancer Analysis.
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

Optimization of a Compiler from PDDL to Picat (Short Paper).
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
A GPU Implementation of the ASP Computation.
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 Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 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

Logic Programming Applied to Genome Evolution in Cancer.
Proceedings of the 31st Italian Conference on Computational Logic, 2016

Reasoning in High Schools: Do it with ASP!
Proceedings of the 31st Italian Conference on Computational Logic, 2016

Labelled Variables in Logic Programming: Foundations.
Proceedings of the 31st Italian Conference on Computational Logic, 2016

Compiling and Executing PDDL in Picat.
Proceedings of the 31st Italian Conference on Computational Logic, 2016

2015
Planning as tabled logic programming.
TPLP, 2015

Constrained Community-Based Gene Regulatory Network Inference.
ACM Trans. Model. Comput. Simul., 2015

CUD@SAT: SAT solving on GPUs.
J. Exp. Theor. Artif. Intell., 2015

A declarative concurrent system for protein structure prediction on GPU.
J. Exp. Theor. Artif. Intell., 2015

A Theoretical Perspective of Coinductive Logic Programming.
Fundam. Inform., 2015

On modeling planning problems in tabled logic programming.
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

Exploring the Use of BDDs in Conformant Planning.
Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

Parallel Execution of the ASP Computation - an Investigation on GPUs.
Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015

Logic Programming and Bisimulation.
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
Exploring the Use of GPUs in Constraint Solving.
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

Set Graphs VI: Logic Programming and Bisimulation.
Proceedings of the 29th Italian Conference on Computational Logic, 2014

2013
A Multi-paradigm Tool for Large Neighborhood Search.
Proceedings of the Hybrid Metaheuristics, 2013

Autonomous agents coordination: Action languages meet CLP() and Linda.
TPLP, 2013

co-LP: Back to the Roots.
TPLP, 2013

A Constraint Solver for Flexible Protein Model.
J. Artif. Intell. Res., 2013

Protein Structure Prediction on GPU: A Declarative Approach in a Multi-agent Framework.
Proceedings of the 42nd International Conference on Parallel Processing, 2013

CUD@ASP: Experimenting with GPGPUs in ASP solving.
Proceedings of the 28th Italian Conference on Computational Logic, 2013

2012
Introduction to the 28th international conference on logic programming special issue.
TPLP, 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

Exploiting Unexploited Computing Resources for Computational Logics.
Proceedings of the 9th Italian Convention on Computational Logic, 2012

2011
Exploring Protein Fragment Assembly Using CLP.
Proceedings of the IJCAI 2011, 2011

A Tabled Prolog Program for Solving Sokoban.
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

BAAC: A Prolog System for Action Description and Agents Coordination.
Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

A Tabled Prolog Program for Solving Sokoban.
Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

PrettyCLP: a Light Java Implementation for Teaching CLP.
Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

Perspectives on Logic-Based Approaches for Reasoning about Actions and Change.
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2010
Computing approximate solutions of the protein structure determination problem using global constraints on discrete crystal lattices.
IJDMB, 2010

An Investigation of Multi-Agent Planning in CLP.
Fundam. Inform., 2010

Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD).
Fundam. Inform., 2010

CLP-based Protein Fragment Assembly.
Proceedings of the 25th Italian Conference on Computational Logic, 2010

Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda.
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

GASP: Answer Set Programming with Lazy Grounding.
Fundam. Inform., 2009

Applying model-checking to solve queries on semistructured data.
Computer Languages, Systems & Structures, 2009

Logic Programming Techniques in Protein Structure Determination: Methodologies and Results.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Present and Future Challenges for ASP Systems.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Representing Multi-agent Planning in CLP.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Answer Set Programming with Constraints Using Lazy Grounding.
Proceedings of the Logic Programming, 25th International Conference, 2009

A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal + + .
Proceedings of the Hybrid Metaheuristics, 6th International Workshop, 2009

A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal++.
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

Introduction to the Special Issue on Bioinformatics and Constraints.
Constraints, 2008

Compiling and Executing Declarative Modeling Languages to Gecode.
Proceedings of the Logic Programming, 24th International Conference, 2008

Recent Constraint/Logic Programming based Advances in the Solution of the Protein Folding Problem.
Proceedings of the Il Milione (i.e. 2ˆ6), 2008

2007
A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction.
Softw., Pract. Exper., 2007

Agent-based protein structure prediction.
Multiagent and Grid Systems, 2007

Multivalued Action Languages with Constraints in CLP(FD).
Proceedings of the Logic Programming, 23rd International Conference, 2007

An Experimental Comparison of Constraint Logic Programming and Answer Set Programming.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Set unification.
TPLP, 2006

Decidability results for sets with atoms.
ACM Trans. Comput. Log., 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

Reconstruction with Interval Constraints Propagation.
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(FD).
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

A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems.
Proceedings of the Logic Programming, 21st International Conference, 2005

2004
An efficient algorithm for computing bisimulation equivalence.
Theor. Comput. Sci., 2004

Disunification in ACI1 Theories.
Constraints, 2004

Designing an Urban-Scale Auditory Alert System.
IEEE Computer, 2004

Constraint Logic Programming approach to protein structure prediction.
BMC Bioinformatics, 2004

Protein Folding Simulation in CCP.
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.
TPLP, 2003

The Subgraph Bisimulation Problem.
IEEE Trans. Knowl. Data Eng., 2003

Integrating finite domain constraints and CLP with sets.
Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003

Intensional Sets in CLP.
Proceedings of the Logic Programming, 19th International Conference, 2003

Protein Folding in CLP(FD) with Empirical Contact Energies.
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
Operational and abstract semantics of the query language G-Log.
Theor. Comput. Sci., 2002

Rank-Based Symbolic Bisimulation (and Model Checking).
Electr. Notes Theor. Comput. Sci., 2002

Using Secondary Structure Information for Protein Folding in CLP(FD).
Electr. Notes Theor. Comput. Sci., 2002

2001
Constructive Negation and Constraint Logic Programming with Sets.
New Generation Comput., 2001

Preface.
Electr. Notes Theor. Comput. Sci., 2001

Refining and Compressing Abstract Model Checking.
Electr. Notes Theor. Comput. Sci., 2001

Designing the Minimal Structure of Hidden Markov Model by Bisimulation.
Proceedings of the Energy Minimization Methods in Computer Vision and Pattern Recognition, 2001

Model-Checking Based Data Retrieval.
Proceedings of the Database Programming Languages, 8th International Workshop, 2001

A Fast Bisimulation Algorithm.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000
Sets and constraint logic programming.
ACM Trans. Program. Lang. Syst., 2000

A necessary condition for Constructive Negation in Constraint Logic Programming.
Inf. Process. Lett., 2000

Multiset Constraints and P Systems.
Proceedings of the Multiset Processing, 2000

Comparing Expressiveness of Set Constructor Symbols.
Proceedings of the Frontiers of Combining Systems, 2000

1999
From Set to Hyperset Unification
Journal of Functional and Logic Programming, 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 Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 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. Inform., 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

Operational and Abstract Semantics of a Query Language for Semi-Structured Information.
Proceedings of the 6th International Workshop on Deductive Databases and Logic Programming (DDLP'98). In Conjunction with JICSLP'98, 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
A Minimality Study for Set Unification.
Journal of Functional and Logic Programming, 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

On T Logic Programming.
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
A Language for Programming in Logic with Finite Sets.
J. Log. Program., 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 Programming Languages: Implementations, 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

A WAM-Based Implementation of a Logical Language with Sets.
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

A Language with Finite Sets Embedded in the CLP-scheme.
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
Embedding Finite Sets in a Logic Programming Language.
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


  Loading...