All Stories

  1. Towards a Logic Programming Tool for Cancer Data Analysis

    Article • Fundamenta Informaticae, December 2020, IOS Press

    Dr Agostino Dovier, Professor Alberto Policriti

  2. Extending Logic Programming with Labelled Variables: Model and Semantics

    Article • Fundamenta Informaticae, July 2018, IOS Press

    Dr Agostino Dovier

  3. ASP Applications in Bio-informatics: A Short Tour

    Article • KI - Künstliche Intelligenz, June 2018, Springer Science + Business Media

    Dr Agostino Dovier

  4. Preface

    Article • Theory and Practice of Logic Programming, July 2017, Cambridge University Press

    Dr Agostino Dovier

  5. A GPU Implementation of the ASP Computation

    Article • January 2016, Springer Science + Business Media

    Andrea Formisano, Dr Agostino Dovier

  6. Exploring the Use of BDDs in Conformant Planning

    Article • November 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Agostino Dovier

  7. A Theoretical Perspective of Coinductive Logic Programming

    Article • Fundamenta Informaticae, September 2015, IOS Press

    Dr Agostino Dovier

  8. On modeling planning problems in tabled logic programming

    Article • July 2015, ACM (Association for Computing Machinery)

    Dr Agostino Dovier, Prof. Roman Barták

  9. Planning as tabled logic programming

    Article • Theory and Practice of Logic Programming, July 2015, Cambridge University Press

    Prof. Roman Barták, Dr Agostino Dovier

  10. Constrained Community-Based Gene Regulatory Network Inference

    Article • ACM Transactions on Modeling and Computer Simulation, April 2015, ACM (Association for Computing Machinery)

    Dr Agostino Dovier, Enrico Pontelli

  11. A declarative concurrent system for protein structure prediction on GPU

    Article • Journal of Experimental & Theoretical Artificial Intelligence, February 2015, Taylor & Francis

    Dr Agostino Dovier

  12. CUD@SAT: SAT solving on GPUs

    Article • Journal of Experimental & Theoretical Artificial Intelligence, September 2014, Taylor & Francis

    Dr Agostino Dovier, Andrea Formisano

  13. Exploring the Use of GPUs in Constraint Solving

    Article • January 2014, Springer Science + Business Media

    Dr Agostino Dovier

  14. Protein Structure Prediction on GPU: A Declarative Approach in a Multi-agent Framework

    Article • October 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Agostino Dovier

  15. A Multi-paradigm Tool for Large Neighborhood Search

    Article • January 2013, Springer Science + Business Media

    Dr Agostino Dovier

  16. Protein Structure Analysis with Constraint Programming

    Article • November 2012, Royal Society of Chemistry

    Dr Agostino Dovier

  17. Autonomous agents coordination: Action languages meet CLP() and Linda

    Article • Theory and Practice of Logic Programming, September 2012, Cambridge University Press

    Dr Agostino Dovier, Andrea Formisano

  18. Introduction to the 28th international conference on logic programming special issue

    Article • Theory and Practice of Logic Programming, July 2012, Cambridge University Press

    Dr Agostino Dovier

  19. A Filtering Technique for Fragment Assembly- Based Proteins Loop Modeling with Constraints

    Article • January 2012, Springer Science + Business Media

    Dr Agostino Dovier

  20. A Tabled Prolog Program for Solving Sokoban

    Article • November 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Agostino Dovier

  21. Perspectives on Logic-Based Approaches for Reasoning about Actions and Change

    Article • January 2011, Springer Science + Business Media

    Dr Agostino Dovier, Andrea Formisano

  22. CLP-based protein fragment assembly

    Article • Theory and Practice of Logic Programming, July 2010, Cambridge University Press

    Dr Agostino Dovier

  23. Multivalued action languages with constraints in CLP(FD)

    Article • Theory and Practice of Logic Programming, February 2010, Cambridge University Press

    Dr Agostino Dovier, Andrea Formisano

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

    Article • International Journal of Data Mining and Bioinformatics, January 2010, Inderscience Publishers

    Dr Agostino Dovier

  25. A 25-Year Perspective on Logic Programming

    Article • January 2010

    Dr Agostino Dovier, Francesco Calimeri

  26. Applying model-checking to solve queries on semistructured data

    Article • Computer Languages Systems & Structures, July 2009, Elsevier

    Dr Agostino Dovier

  27. An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems

    Article • Journal of Experimental & Theoretical Artificial Intelligence, June 2009, Taylor & Francis

    Dr Agostino Dovier

  28. Representing Multi-agent Planning in CLP

    Article • January 2009, Springer Science + Business Media

    Dr Agostino Dovier, Andrea Formisano

  29. Present and Future Challenges for ASP Systems

    Article • January 2009, Springer Science + Business Media

    Dr Agostino Dovier

  30. Logic Programming Techniques in Protein Structure Determination: Methodologies and Results

    Article • January 2009, Springer Science + Business Media

    Dr Agostino Dovier

  31. Answer Set Programming with Constraints Using Lazy Grounding

    Article • January 2009, Springer Science + Business Media

    Dr Agostino Dovier

  32. A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal  + +

    Article • January 2009, Springer Science + Business Media

    Dr Agostino Dovier

  33. A uniform approach to constraint-solving for lists, multisets, compact lists, and sets

    Article • ACM Transactions on Computational Logic, June 2008, ACM (Association for Computing Machinery)

    Dr Agostino Dovier

  34. Introduction to the Special Issue on Bioinformatics and Constraints

    Article • Constraints, February 2008, Springer Science + Business Media

    Dr Agostino Dovier

  35. Compiling and Executing Declarative Modeling Languages to Gecode

    Article • January 2008, Springer Science + Business Media

    Dr Agostino Dovier

  36. Enhancing the computation of approximate solutions of the protein structure determination problem through global constraints for discrete crystal lattices

    Article • November 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Agostino Dovier

  37. Agent-based protein structure prediction

    Article • Multiagent and Grid Systems, June 2007, IOS Press

    Dr Agostino Dovier

  38. Scoring predictive models using a reduced representation of proteins: model and energy definition

    Article • BMC Structural Biology, January 2007, Springer Science + Business Media

    Dr Agostino Dovier

  39. A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction

    Article • Software Practice and Experience, January 2007, Wiley

    Dr Agostino Dovier

  40. Set unification

    Article • Theory and Practice of Logic Programming, October 2006, Cambridge University Press

    Dr Agostino Dovier

  41. Decidability results for sets with atoms

    Article • ACM Transactions on Computational Logic, April 2006, ACM (Association for Computing Machinery)

    Dr Agostino Dovier, Andrea Formisano

  42. Hybrid Approaches for Rostering: A Case Study in the Integration of Constraint Programming and Local Search

    Article • January 2006, Springer Science + Business Media

    Dr Agostino Dovier

  43. Heuristics, optimizations, and parallelism for protein structure prediction in CLP( FD )

    Article • July 2005, ACM (Association for Computing Machinery)

    Dr Agostino Dovier

  44. A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems

    Article • January 2005, Springer Science + Business Media

    Dr Agostino Dovier, Andrea Formisano

  45. A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem

    Article • January 2005, Springer Science + Business Media

    Dr Agostino Dovier

  46. Designing an urban-scale auditory alert system

    Article • Computer, September 2004, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Agostino Dovier

  47. Disunification in ACI1 Theories

    Article • Constraints, January 2004, Springer Science + Business Media

    Dr Agostino Dovier

  48. Article • BMC Bioinformatics, January 2004, Springer Science + Business Media

    Dr Agostino Dovier

  49. An efficient algorithm for computing bisimulation equivalence

    Article • Theoretical Computer Science, January 2004, Elsevier

    Dr Agostino Dovier, Professor Alberto Policriti

  50. Protein Folding Simulation in CCP

    Article • January 2004, Springer Science + Business Media

    Dr Agostino Dovier

  51. Protein Folding in CLP( $\mathcal{FD}$ ) with Empirical Contact Energies

    Article • January 2004, Springer Science + Business Media

    Dr Agostino Dovier

  52. The Subgraph Bisimulation Problem

    Article • IEEE Transactions on Knowledge and Data Engineering, July 2003, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Agostino Dovier

  53. Intensional Sets in CLP

    Article • January 2003, Springer Science + Business Media

    Dr Agostino Dovier

  54. Using Secondary Structure Information for Protein Folding in CLP( FD )1 1The work is partially supported by MIUR project: Automatic Aggregate –and number– Reasoning for Computing.

    Article • Electronic Notes in Theoretical Computer Science, November 2002, Elsevier

    Dr Agostino Dovier

  55. Rank-Based Symbolic Bisimulation

    Article • Electronic Notes in Theoretical Computer Science, October 2002, Elsevier

    Dr Agostino Dovier

  56. Operational and abstract semantics of the query language G-Log

    Article • Theoretical Computer Science, March 2002, Elsevier

    Dr Agostino Dovier

  57. Model-Checking Based Data Retrieval

    Article • January 2002, Springer Science + Business Media

    Dr Agostino Dovier

  58. Constructive negation and constraint logic programming with sets

    Article • New Generation Computing, September 2001, Springer Science + Business Media

    Dr Agostino Dovier

  59. Refining and Compressing Abstract Model Checking1 1The work is partially supported by MURST project: Certificazione automatica di programmi mediante interpretazione astratta.

    Article • Electronic Notes in Theoretical Computer Science, June 2001, Elsevier

    Dr Agostino Dovier

  60. Preface

    Article • Electronic Notes in Theoretical Computer Science, June 2001, Elsevier

    Dr Agostino Dovier, Andrea Omicini

  61. Multiset Constraints and P Systems

    Article • January 2001, Springer Science + Business Media

    Dr Agostino Dovier

  62. A Fast Bisimulation Algorithm

    Article • January 2001, Springer Science + Business Media

    Dr Agostino Dovier, Professor Alberto Policriti

  63. Designing the Minimal Structure of Hidden Markov Model by Bisimulation

    Article • January 2001, Springer Science + Business Media

    Dr Agostino Dovier

  64. Sets and constraint logic programming

    Article • ACM Transactions on Programming Languages and Systems, September 2000, ACM (Association for Computing Machinery)

    Dr Agostino Dovier

  65. A necessary condition for Constructive Negation in Constraint Logic Programming

    Article • Information Processing Letters, May 2000, Elsevier

    Dr Agostino Dovier

  66. Comparing Expressiveness of Set Constructor Symbols

    Article • January 2000, Springer Science + Business Media

    Dr Agostino Dovier, Professor Alberto Policriti

  67. Solvable Set/Hyperset Contexts: II. A Goal-Driven Unification Algorithm for the Blended Case

    Article • Applicable Algebra in Engineering Communication and Computing, February 1999, Springer Science + Business Media

    Dr Agostino Dovier, Professor Alberto Policriti

  68. {log}: A language for programming in logic with finite sets

    Article • The Journal of Logic Programming, July 1996, Elsevier

    Dr Agostino Dovier

  69. Minimal set unification

    Article • January 1995, Springer Science + Business Media

    Dr Agostino Dovier

  70. A language with finite sets embedded in the CLP-scheme

    Article • January 1994, Springer Science + Business Media

    Dr Agostino Dovier

  71. A WAM-based implementation of a logic language with sets

    Article • January 1993, Springer Science + Business Media

    Dr Agostino Dovier

  72. Embedding finite sets in a logic programming language

    Article • January 1993, Springer Science + Business Media

    Dr Agostino Dovier

  73. Reconstruction with Interval Constraints Propagation

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Dr Agostino Dovier

  74. Constraint-Based Methods for Bioinformatics

    Article • Wiley

    Dr Agostino Dovier

  75. Multivalued Action Languages with Constraints in CLP(FD)

    Article • Springer Science + Business Media

    Dr Agostino Dovier, Andrea Formisano