{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:48:21Z","timestamp":1725536901507},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642042379"},{"type":"electronic","value":"9783642042386"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04238-6_58","type":"book-chapter","created":{"date-parts":[[2009,8,31]],"date-time":"2009-08-31T04:23:01Z","timestamp":1251692581000},"page":"560-566","source":"Crossref","is-referenced-by-count":1,"title":["Logic Programming Techniques in Protein Structure Determination: Methodologies and Results"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Dal Pal\u00f9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agostino","family":"Dovier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Pontelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"58_CR1","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1023\/A:1011485622743","volume":"6","author":"R. Backofen","year":"2001","unstructured":"Backofen, R.: The protein structure prediction problem: A constraint optimization approach using a new lower bound. Constraints\u00a06, 223\u2013255 (2001)","journal-title":"Constraints"},{"issue":"3-4","key":"58_CR2","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1023\/A:1020533821509","volume":"7","author":"R. Backofen","year":"2002","unstructured":"Backofen, R., Will, S.: Excluding Symmetries in Constraint-Based Search. Constraints\u00a07(3-4), 333\u2013349 (2002)","journal-title":"Constraints"},{"issue":"1","key":"58_CR3","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10601-006-6848-8","volume":"11","author":"R. Backofen","year":"2006","unstructured":"Backofen, R., Will, S.: A Constraint-Based Approach to Fast and Exact Structure Prediction in 3-Dimensional Protein Models. Constraints\u00a011(1), 5\u201330 (2006)","journal-title":"Constraints"},{"issue":"3","key":"58_CR4","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1093\/bioinformatics\/15.3.234","volume":"15","author":"R. Backofen","year":"1999","unstructured":"Backofen, R., et al.: Application of constraint programming techniques for structure prediction of lattice proteins with extended alphabets. Bioinformatics\u00a015(3), 234\u2013242 (1999)","journal-title":"Bioinformatics"},{"issue":"1-2","key":"58_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10601-007-9036-6","volume":"13","author":"P. Barahona","year":"2008","unstructured":"Barahona, P., Krippahl, L.: Constraint Programming in Structural Bioinformatics. Constraints\u00a013(1-2), 3\u201320 (2008)","journal-title":"Constraints"},{"key":"58_CR6","doi-asserted-by":"crossref","unstructured":"Berrera, M., Molinari, H., Fogolari, F.: Amino acid empirical contact energy definitions for fold recognition in the space of contact maps. BMC Bioinformatics\u00a04(8) (2003)","DOI":"10.1186\/1471-2105-4-8"},{"issue":"2","key":"58_CR7","doi-asserted-by":"publisher","first-page":"183","DOI":"10.3233\/MGS-2007-3204","volume":"3","author":"L. Bortolussi","year":"2007","unstructured":"Bortolussi, L., Dovier, A., Fogolari, F.: Agent-based Protein Structure Prediction. Multiagent and Grid Systems\u00a03(2), 183\u2013197 (2007)","journal-title":"Multiagent and Grid Systems"},{"issue":"14","key":"58_CR8","doi-asserted-by":"publisher","first-page":"1805","DOI":"10.1093\/bioinformatics\/btl172","volume":"22","author":"L. Calzone","year":"2006","unstructured":"Calzone, L., Fages, F., Soliman, S.: BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics\u00a022(14), 1805\u20131807 (2006)","journal-title":"Bioinformatics"},{"issue":"3","key":"58_CR9","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1089\/cmb.1998.5.423","volume":"5","author":"P. Crescenzi","year":"1998","unstructured":"Crescenzi, P., Goldman, D., Papadimitriou, C., Piccolboni, A., Yannakakis, M.: On the Complexity of Protein Folding. Journal of Computational Biology\u00a05(3), 423\u2013466 (1998)","journal-title":"Journal of Computational Biology"},{"key":"58_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-540-24662-6_14","volume-title":"Recent Advances in Constraints","author":"A. Pal\u00f9 Dal","year":"2004","unstructured":"Dal Pal\u00f9, A., Dovier, A., Fogolari, F.: Protein Folding in CLP(FD) with Empirical Contact Energies. In: Apt, K.R., Fages, F., Rossi, F., Szeredi, P., V\u00e1ncza, J. (eds.) CSCLP 2003. LNCS (LNAI), vol.\u00a03010, pp. 250\u2013265. Springer, Heidelberg (2004)"},{"key":"58_CR11","doi-asserted-by":"crossref","unstructured":"Dal Pal\u00f9, A., Dovier, A., Fogolari, F.: Constraint logic programming approach to protein structure prediction. BMC Bioinformatics\u00a05(186) (2004)","DOI":"10.1186\/1471-2105-5-186"},{"key":"58_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/11591191_5","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"A. Pal\u00f9 Dal","year":"2005","unstructured":"Dal Pal\u00f9, A., Dovier, A., Pontelli, E.: A Constraint Logic Programming Approach to 3D Structure Determination of Large Protein Complexes. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS (LNAI), vol.\u00a03835, pp. 48\u201363. Springer, Heidelberg (2005)"},{"key":"58_CR13","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1145\/1069774.1069796","volume-title":"Proc. of PPDP","author":"A. Pal\u00f9 Dal","year":"2005","unstructured":"Dal Pal\u00f9, A., Dovier, A., Pontelli, E.: Heuristics, Optimizations, and Parallelism for Protein Structure Prediction in CLP(FD). In: Proc. of PPDP, pp. 230\u2013241. ACM Press, New York (2005)"},{"key":"58_CR14","unstructured":"Dal Pal\u00f9, A., Dovier, A., Pontelli, E.: Global constraints for Discrete Lattices. In: Proc. of WCB (2006)"},{"key":"58_CR15","unstructured":"Dal Pal\u00f9, A., Dovier, A., Pontelli, E.: The density constraint. In: Proc. of WCB (2007)"},{"issue":"16","key":"58_CR16","doi-asserted-by":"publisher","first-page":"1405","DOI":"10.1002\/spe.810","volume":"37","author":"A. Pal\u00f9 Dal","year":"2007","unstructured":"Dal Pal\u00f9, A., Dovier, A., Pontelli, E.: A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction. Software Practice and Experience\u00a037(16), 1405\u20131449 (2007)","journal-title":"Software Practice and Experience"},{"key":"58_CR17","unstructured":"De Maria, E., Dovier, A., Montanari, A., Piazza, C.: Exploiting Model Checking in Constraint-based Approaches to the Protein Folding. In: Proc. of WCB (2006)"},{"key":"58_CR18","doi-asserted-by":"publisher","first-page":"7133","DOI":"10.1021\/bi00483a001","volume":"29","author":"K.A. Dill","year":"1990","unstructured":"Dill, K.A.: Dominant forces in protein folding. Biochemistry\u00a029, 7133\u20137155 (1990)","journal-title":"Biochemistry"},{"key":"58_CR19","doi-asserted-by":"crossref","unstructured":"Dovier, A., Burato, M., Fogolari, F.: Using Secondary Structure Information for Protein Folding in CLP(FD). In: Proc. of WFLP. ENTCS, vol.\u00a076 (2002)","DOI":"10.1016\/S1571-0661(04)80787-4"},{"key":"58_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/11562931_8","volume-title":"Logic Programming","author":"A. Dovier","year":"2005","unstructured":"Dovier, A., Formisano, A., Pontelli, E.: A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol.\u00a03668, pp. 67\u201382. Springer, Heidelberg (2005)"},{"key":"58_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-3-540-74610-2_18","volume-title":"Logic Programming","author":"A. Dovier","year":"2007","unstructured":"Dovier, A., Formisano, A., Pontelli, E.: Multivalued Action Languages with Constraints in CLP(FD). In: Dahl, V., Niemel\u00e4, I. (eds.) ICLP 2007. LNCS, vol.\u00a04670, pp. 255\u2013270. Springer, Heidelberg (2007)"},{"key":"58_CR22","unstructured":"Johnson, G.: All Science is Computer Science. The New York Times (3\/25\/2001)"},{"key":"58_CR23","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1023\/A:1020577603762","volume":"7","author":"L. Krippahl","year":"2002","unstructured":"Krippahl, L., Barahona, P.: PSICO: Solving Protein Structures with Constraint Programming and Optimisation. Constraints\u00a07, 317\u2013331 (2002)","journal-title":"Constraints"},{"key":"58_CR24","unstructured":"Mungall, C.: Biomedical Logic Programming Integration Toolkit, http:\/\/www.blipkit.org"},{"key":"58_CR25","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1002\/(SICI)1097-0134(1999)37:3+<171::AID-PROT21>3.0.CO;2-Z","volume":"3","author":"K. Simons","year":"1999","unstructured":"Simons, K., Bonneau, R., Ruczinski, I., Baker, D.: Ab initio protein structure prediction of CASP III targets using ROSETTA. Proteins: Struct. Fund. Genet.\u00a03, 171\u2013176 (1999)","journal-title":"Proteins: Struct. Fund. Genet."},{"key":"58_CR26","doi-asserted-by":"crossref","unstructured":"Shmygelska, A., Hoos, H.H.: An ant colony optimisation algorithm for the 2D and 3D hydrophobic polar protein folding problem. BMC Bioinformatics\u00a06(30) (2005)","DOI":"10.1186\/1471-2105-6-30"},{"key":"58_CR27","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1016\/j.polymer.2003.10.064","volume":"45","author":"J. Skolnick","year":"2004","unstructured":"Skolnick, J., Kolinski, A.: Reduced models of proteins and their applications. Polymer\u00a045, 511\u2013524 (2004)","journal-title":"Polymer"},{"key":"58_CR28","doi-asserted-by":"crossref","unstructured":"Zhang, Y.: Progress and Challenges in Protein Structure Prediction. Curr. Opin. Struct. Biol.\u00a018(3) (2008)","DOI":"10.1016\/j.sbi.2008.02.004"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04238-6_58","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T04:36:35Z","timestamp":1558499795000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04238-6_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642042379","9783642042386"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04238-6_58","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}