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. © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Dal Palù, A., Dovier, A., & Pontelli, E. (2009). Logic programming techniques in protein structure determination: Methodologies and results. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5753 LNAI, pp. 560–566). https://doi.org/10.1007/978-3-642-04238-6_58
Mendeley helps you to discover research relevant for your work.