Logic Programming Techniques in Protein Structure Determination: Methodologies and Results

Authors:
Alessandro Palù;Agostino Dovier;Enrico Pontelli
Affiliations:
Dept. of Mathematics, University of Parma,;Dept. of Maths and Computer Science, University of Udine,;Dept. of Computer Science, New Mexico State University,
Venue:
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Year:
2009

Citing 11
Cited 2

The Protein Structure Prediction Problem: A Constraint Optimization Approach using a New Lower Bound

Constraints
PSICO: Solving Protein Structures with Constraint Programming and Optimization

Constraints
Excluding Symmetries in Constraint-Based Search

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

PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
A Constraint-Based Approach to Fast and Exact Structure Prediction in Three-Dimensional Protein Models

Constraints
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge

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

Software—Practice & Experience
Constraint Programming in Structural Bioinformatics

Constraints
Agent-based protein structure prediction

Multiagent and Grid Systems - Multi-agent systems for medicine, computational biology, and bioinformatics
Multivalued action languages with constraints in CLP(FD)

ICLP'07 Proceedings of the 23rd international conference on Logic programming
A comparison of CLP(FD) and ASP solutions to NP-Complete problems

ICLP'05 Proceedings of the 21st international conference on Logic Programming

25 years of applications of logic programming in Italy

A 25-year perspective on logic programming
Exploring protein fragment assembly using CLP

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three

Quantified Score

Hi-index	0.00

Visualization

Abstract

The purpose of this paper is to provide a brief overview of how logic programming technology has been used by our team in addressing the problem of tertiary protein structure determination. The proposed approach tackles the problem from the perspective of viewing protein structure as a folding of protein sequences in a discrete representation of space (a crystal lattice structure). Logic programming and constraint programming technologies can be effectively used to provide an elegant and effective solution.