On the complexity of protein folding (extended abstract)
STOC '98 Proceedings of the thirtieth annual ACM symposium on Theory of computing
The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parametric Sequence Alignment with Constraints
Constraints
Applying Constraint Programming to Protein Structure Determination
CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
Handbook of Constraint Programming (Foundations of Artificial Intelligence)
Handbook of Constraint Programming (Foundations of Artificial Intelligence)
Planning Algorithms
Software—Practice & Experience
A new constraint-based description of the steady-state flux cone of metabolic networks
Discrete Applied Mathematics
Efficient haplotype inference with answer set programming
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
International Journal of Data Mining and Bioinformatics
Principles of Constraint Programming
Principles of Constraint Programming
Philosophy of the MiniZinc challenge
Constraints
Clp-based protein fragment assembly*
Theory and Practice of Logic Programming
Detecting inconsistencies in large biological networks with answer set programming
Theory and Practice of Logic Programming
Applications of answer set programming in phylogenetic systematics
Logic programming, knowledge representation, and nonmonotonic reasoning
On Lattice Protein Structure Prediction Revisited
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
A new constraint solver for 3d lattices and its application to the protein folding problem
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Analyzing pathways using ASP-based approaches
ANB'10 Proceedings of the 4th international conference on Algebraic and Numeric Biology
Paper: A constraint logic programming framework for constructing DNA restriction maps
Artificial Intelligence in Medicine
Exploring protein fragment assembly using CLP
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
A filtering technique for fragment assembly- based proteins loop modeling with constraints
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Protein Structure Prediction on GPU: A Declarative Approach in a Multi-agent Framework
ICPP '13 Proceedings of the 2013 42nd International Conference on Parallel Processing
Hi-index | 0.00 |
This paper proposes the formalization and implementation of a novel class of constraints aimed at modeling problems related to placement of multi-body systems in the 3-dimensional space. Each multi-body is a system composed of body elements, connected by joint relationships and constrained by geometric properties. The emphasis of this investigation is the use of multi-body systems to model native conformations of protein structures--where each body represents an entity of the protein (e.g., an amino acid, a small peptide) and the geometric constraints are related to the spatial properties of the composing atoms. The paper explores the use of the proposed class of constraints to support a variety of different structural analysis of proteins, such as loop modeling and structure prediction. The declarative nature of a constraint-based encoding provides elaboration tolerance and the ability to make use of any additional knowledge in the analysis studies. The filtering capabilities of the proposed constraints also allow to control the number of representative solutions that are withdrawn from the conformational space of the protein, by means of criteria driven by uniform distribution sampling principles. In this scenario it is possible to select the desired degree of precision and/or number of solutions. The filtering component automatically excludes configurations that violate the spatial and geometric properties of the composing multi-body system. The paper illustrates the implementation of a constraint solver based on the multi-body perspective and its empirical evaluation on protein structure analysis problems.