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