Dovier A

Latest

• EFP 2.0: A multi-agent epistemic solver with multiple E-state representations
• Fondamenti dell’informatica. Linguaggi formali, calcolabilità e complessità
• GPU-Based Parallelism for ASP-Solving
• Non-well-founded set based multi-agent action language
• Towards distributed computation of answer sets
• 2D object reconstruction with ASP
• Exploring Life: Answer Set Programming in Bioinformatics
• Parallel Answer Set Programming
• EDITORIAL, December 2014
• Editorial, December 2013
• Editorial, January 2013
• Editorial, June 2013
• Editorial, September 2013
• Protein structure prediction on GPU: A declarative approach in a multi-Agent framework
• A Filtering Technique for Fragment Assembly-based Proteins Loop Modeling with Constraints.
• Editorial, December 2012
• Editorial, June 2012
• Editorial, March 2012
• Editorial, September 2012
• Protein Loop Modeling via Constraints and Fragment Assembly
• Protein Structure Analysis with Constraint Programming.
• A Tabled Prolog Program for Solving Sokoban
• Editorial, December 2011
• Editorial, June 2011
• Editorial, March 2011
• Editorial, September 2011
• Exploring Protein Fragment Assembly Using CLP
• Introducing FIASCO: Fragment-based Interactive Assembly for protein Structure prediction with COnstraints
• PrettyCLP: a Light Java Implementation for Teaching CLP
• A 25 Year Perspective on Logic Programming. Achievements of the Italian Association for Logic Programming, GULP
• CLP-based protein fragment assembly
• Constraint based methods for bioinformatics (Chapter VI)
• Editorial, December 2010
• Editorial, June 2010
• Editorial, March 2010
• Editorial, September 2010
• Applying Model-Checking to solve Queries on Semistructured Data
• GASP: Answer Set Programming with Lazy Grounding
• Present and Future Challenges for ASP Systems
• Compiling and Executing Declarative Modeling Languages in Gecode
• Introduction to the Special Issue on Bioinformatics and Constraints
• A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction
• Enhancing the Computation of Approximate Solutions of the Protein Structure Determination
• Scoring predictive models using a reduced representation of proteins: model and energy definition
• Decidability Results for Sets with Atoms
• Exploiting Model Checking in Constraint-based Approaches to the Protein Folding.
• Global Constraints for Discrete Lattices
• Reconstruction with Interval Constraints Propagation
• Set Unification
• A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem
• Agent-Based Protein Folding Simulation
• Heuristics, Optimizations, and Parallelism for Protein Structure Prediction in CLP(FD)
• Constraint Logic Programming approach to protein structure prediction
• Disunification in ACI1 Theories
• Protein Folding Simulation in CCP
• Book review: Set Theory for Computing. by Domenico Cantone, Eugenio Omodeo, and Alberto Policriti, Springer, 2001.
• Integrating Finite Domain Constraints and CLP with Sets
• Intensional Sets in CLP
• A Fast Bisimulation Algorithm
• Constructive negation and constraint logic programming with sets
• Designing the minimal structure of hidden Markov model by bisimulation
• Model Checking Based Data Retrieval
• Multiset Constraints and P Systems
• Multiset rewriting by multiset constraint solving
• A Necessary Condition for Constructive Negation in Constraint Logic Programming
• Comparing Expressiveness of Set Constructor Symbols
• ACI1 Constraints
• From Set to Hyperset Unification
• Solvable set/hyperset contexts: II. A goal driven unification algorithm for the blended case
• A uniform axiomatic view of list, multisets, and sets, and the relevant unification algorithm
• On the Representation and Management of Finite Sets in CLP-languages
• On T Logic Programming
• Integrating lists, multisets, and sets in a logic programming framework.
• Minimal set unification
• Compiling Intensional Sets in CLP
• A language with Finite Sets embedded in the CLP-scheme
• A WAM based Implementation of a Logic Language with Sets
• Embedding extensional finite sets in CLP
• Embedding Finite Sets in a Logic Programming Language
• {log}: A Logic Programming Language with Finite Sets