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.
Logic Programming Techniques in Protein Structure Determination: Methodologies and Results / DAL PALU', Alessandro; A., Dovier; E., Pontelli. - LNCS 5753:(2009), pp. 560-566. (Intervento presentato al convegno LPNMR 09 International Conference on Logic Programming and Nonmonotonic Reasoning tenutosi a Potsdam, Germany nel 14-18 September) [10.1007/978-3-642-04238-6_58].
Logic Programming Techniques in Protein Structure Determination: Methodologies and Results
DAL PALU', Alessandro;
2009-01-01
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
