{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T17:48:41Z","timestamp":1743097721453,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642205880"},{"type":"electronic","value":"9783642205897"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-20589-7_13","type":"book-chapter","created":{"date-parts":[[2011,4,19]],"date-time":"2011-04-19T05:11:00Z","timestamp":1303189860000},"page":"205-222","source":"Crossref","is-referenced-by-count":0,"title":["Searching in Protein State Space"],"prefix":"10.1007","author":[{"given":"Dietmar","family":"Seipel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00f6rg","family":"Schultz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Almendros\u2013Jim\u00e9nez, J.M., Becerra\u2013Ter\u00f3n, A., Enciso\u2013Ba\u00f1os, F.J.: Integrating xquery and Logic Programming. In: Proc. 17th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2007) and 21st Workshop on (Constraint) Logic Programming (WLP 2007), pp. 136\u2013147 (2007)"},{"issue":"suppl. 1","key":"13_CR2","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1093\/bioinformatics\/bth918","volume":"20","author":"C. Baral","year":"2004","unstructured":"Baral, C., Chancellor, K., Tran, N., Tran, N.L., Joy, A., Berens, M.: A knowledge based approach for representing and reasoning about signaling networks. Bioinformatics\u00a020 (suppl. 1), i15\u2013i22 (2004)","journal-title":"Bioinformatics"},{"issue":"2","key":"13_CR3","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1016\/j.peptides.2004.10.002","volume":"26","author":"L. Bardwell","year":"2005","unstructured":"Bardwell, L.: A walk\u2013through of the yeast mating pheromone response pathway. Peptides\u00a026(2), 339\u2013350 (2005)","journal-title":"Peptides"},{"issue":"11","key":"13_CR4","first-page":"1297","volume":"4","author":"D.C. Borie","year":"2003","unstructured":"Borie, D.C., Si, M.\u2013S., Morris, R.E., Reitz, B.A., Changelian, P.S.: JAK3 inhibition as a new concept for immune suppression. Curr. Opin. Investig. Drugs\u00a04(11), 1297\u20131303 (2003)","journal-title":"Curr. Opin. Investig. Drugs"},{"key":"13_CR5","volume-title":"prolog\u2013 Programming for Artificial Intelligence","author":"I. Bratko","year":"2001","unstructured":"Bratko, I.: prolog\u2013 Programming for Artificial Intelligence, 3rd edn. Addison-Wesley, Reading (2001)","edition":"3"},{"key":"13_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-55481-0","volume-title":"Programming in prolog","author":"W.F. Clocksin","year":"2003","unstructured":"Clocksin, W.F., Mellish, C.S.: Programming in prolog, 5th edn. Springer, Heidelberg (2003)","edition":"5"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1093\/nar\/gkm883","volume":"36","author":"G.O. Consortium","year":"2008","unstructured":"Consortium, G.O.: The Gene Ontology project in 2008. Nucleic Acids Res.\u00a036, D440\u2013444 (2008)","journal-title":"Nucleic Acids Res."},{"issue":"5326","key":"13_CR8","doi-asserted-by":"publisher","first-page":"693","DOI":"10.1126\/science.277.5326.693","volume":"277","author":"M. Dickens","year":"1997","unstructured":"Dickens, M., Rogers, J.S., Cavanagh, J., Raitano, A., Xia, Z., Halpern, J.R., Greenberg, M.E., Sawyers, C.L., Davis, R.J.: A cytoplasmic inhibitor of the JNK signal transduction pathway. Science\u00a0277(5326), 693\u2013696 (1997)","journal-title":"Science"},{"issue":"2","key":"13_CR9","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1074\/mcp.M100026-MCP200","volume":"1","author":"X.J. Duan","year":"2002","unstructured":"Duan, X.J., Xenarios, I., Eisenberg, D.: Describing biological protein interactions in terms of protein states and state transitions: the LiveDIP database. Mol. Cell Proteomics\u00a01(2), 104\u2013116 (2002)","journal-title":"Mol. Cell Proteomics"},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"64","DOI":"10.4024\/2040402.jbpc.04.02","volume":"4","author":"F. Fages","year":"2004","unstructured":"Fages, F., Soliman, S., Chabrier, N.: Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. Journal of Biological Physics and Chemistry\u00a04, 64\u201373 (2004)","journal-title":"Journal of Biological Physics and Chemistry"},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1186\/1471-2105-9-90","volume":"9","author":"E. Grafahrend\u2013Belau","year":"2008","unstructured":"Grafahrend\u2013Belau, E., Schreiber, F., Heiner, M., Sackmann, A., Junker, B.H., Grunwald, S., Speer, A., Winder, K., Koch, I.: Modularization of biochemical networks based on classification of Petri net t\u2013invariants. BMC Bioinformatics\u00a09, 90 (2008)","journal-title":"BMC Bioinformatics"},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1186\/1741-7007-7-59","volume":"7","author":"K. Heinecke","year":"2009","unstructured":"Heinecke, K., Seher, A., Schmitz, W., Mueller, T.D., Sebald, W., Nickel, J.: Receptor oligomerization and beyond: a case study in bone morphogenetic proteins. Journal BMC Biology\u00a07, 59 (2009)","journal-title":"Journal BMC Biology"},{"issue":"2","key":"13_CR13","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1038\/nbt926","volume":"22","author":"H. Hermjakob","year":"2004","unstructured":"Hermjakob, H., Montecchi\u2013Palazzi, L., Bader, G., Wojcik, J., Salwinski, L., Ceol, A., Moore, S., Orchard, S., Sarkans, U., von Mering, C., Roechert, B., Poux, S., Jung, E., Mersch, H., Kersey, P., Lappe, M., Li, Y., Zeng, R., Rana, D., Nikolski, M., Husi, H., Brun, C., Shanker, K., Grant, S.G.N., Sander, C., Bork, P., Zhu, W., Pandey, A., Brazma, A., Jacq, B., Vidal, M., Sherman, D., Legrain, P., Cesareni, G., Xenarios, I., Eisenberg, D., Steipe, B., Hogue, C., Apweiler, R.: The HUPO PSI\u2019s molecular interaction format \u2013 a community standard for the representation of protein interaction data. Nat. Biotechnology\u00a022(2), 177\u2013183 (2004)","journal-title":"Nat. Biotechnology"},{"issue":"4","key":"13_CR14","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1093\/bioinformatics\/btg015","volume":"19","author":"M. Hucka","year":"2003","unstructured":"Hucka, M., Finney, A., Sauro, H., Bolouri, H., Doyle, J., Kitano, H., Arkin, A., Bornstein, B., Bray, D., Cornish\u2013Bowden, A., Cuellar, A., Dronov, S., Gilles, E., Ginkel, M., Gor, V., Goryanin, I., Hedley, W., Hodgman, T., Hofmeyr, J.\u2013H., Hunter, P., Juty, N., Kasberger, J., Kremling, A., Kummer, U., Nov\u00c3\u013are, N.L., Loew, L., Lucio, D., Mendes, P., Minch, E., Mjolsness, E., Nakayama, Y., Nelson, M., Nielsen, P., Sakurada, T., Schaff, J., Shapiro, B., Shimizu, T., Spence, H., Stelling, J., Takahashi, K., Tomita, M., Wagner, J., Wang, J., Forum, S.: The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics\u00a019(4), 524\u2013531 (2003)","journal-title":"Bioinformatics"},{"issue":"5537","key":"13_CR15","doi-asserted-by":"publisher","first-page":"2040","DOI":"10.1126\/science.1064621","volume":"293","author":"P. Karp","year":"2001","unstructured":"Karp, P.: Pathway databases: a case study in computational symbolic theories. Science\u00a0293(5537), 2040\u20132044 (2001)","journal-title":"Science"},{"key":"13_CR16","doi-asserted-by":"publisher","first-page":"464","DOI":"10.1093\/nar\/gkn751","volume":"37","author":"I.M. Keseler","year":"2009","unstructured":"Keseler, I.M., Bonavides\u2013Mart\u00ednez, C., Collado\u2013Vides, J., Gama\u2013Castro, S., Gunsalus, R.P., Johnson, D.A., Krummenacker, M., Nolan, L.M., Paley, S., Paulsen, I.T., Peralta\u2013Gil, M., Santos\u2013Zavaleta, A., Shearer, A.G., Karp, P.D.: EcoCyc: a comprehensive view of Escherichia coli biology. Nucleic Acids Research\u00a037, D464\u2013470 (2009)","journal-title":"Nucleic Acids Research"},{"key":"13_CR17","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0092-8674(02)00701-8","volume":"109 suppl.","author":"J.J. O\u2019Shea","year":"2002","unstructured":"O\u2019Shea, J.J., Gadina, M., Schreiber, R.D.: Cytokine signaling in 2002: new surprises in the Jak\/Stat pathway. Cell\u00a0109 suppl., S121\u2013131 (2002)","journal-title":"Cell"},{"key":"13_CR18","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1002\/cfg.244","volume":"4","author":"E. Ratsch","year":"2003","unstructured":"Ratsch, E., Schultz, J., Saric, J., Lavin, P., Wittig, U., Reyle, U., Rojas, I.: Developing a protein\u2013interactions ontology. Comparative and Functional Genomics\u00a04, 85\u201389 (2003)","journal-title":"Comparative and Functional Genomics"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Regev, A., Silverman, W., Shapiro, E.: Representation and simulation of biochemical processes using the \u03c0\u2013calculus process algebra. In: Pacific Symposium on Biocomputing, pp. 459\u2013470 (2001)","DOI":"10.1142\/9789814447362_0045"},{"issue":"12","key":"13_CR20","doi-asserted-by":"publisher","first-page":"1120","DOI":"10.1093\/bioinformatics\/16.12.1120","volume":"16","author":"A. Rzhetsky","year":"2000","unstructured":"Rzhetsky, A., Koike, T., Kalachikov, S., Gomez, S., Krauthammer, M., Kaplan, S., Kra, P., Russo, J., Friedman, C.: A knowledge model for analysis and simulation of regulatory networks. Bioinformatics\u00a016(12), 1120\u20131128 (2000)","journal-title":"Bioinformatics"},{"key":"13_CR21","doi-asserted-by":"publisher","first-page":"700","DOI":"10.1093\/nar\/gkm907","volume":"36","author":"B. Saunders","year":"2008","unstructured":"Saunders, B., Lyon, S., Day, M., Riley, B., Chenette, E., Subramaniam, S., Vadivelu, I.: The Molecule Pages database. Nucleic Acids Research\u00a036, D700\u2013706 (2008)","journal-title":"Nucleic Acids Research"},{"issue":"11","key":"13_CR22","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1093\/bioinformatics\/17.11.1053","volume":"17","author":"F. Schacherer","year":"2001","unstructured":"Schacherer, F., Choi, C., G\u00f6tze, U., Krull, M., Pistor, S., Wingender, E.: The TRANSPATH signal transduction database: a knowledge base on signal transduction networks. Bioinformatics\u00a017(11), 1053\u20131057 (2001)","journal-title":"Bioinformatics"},{"key":"13_CR23","unstructured":"Seipel, D.: Processing xml\u2013documents in prolog. In: Proc. 17th Workshop on Logic Programming, WLP 2002 (2002)"},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"Spellman, P.T., Miller, M., Stewart, J., Troup, C., Sarkans, U., Chervitz, S., Bernhart, D., Sherlock, G., Ball, C., Lepage, M., Swiatek, M., Marks, W., Goncalves, J., Markel, S., Iordan, D., Shojatalab, M., Pizarro, A., White, J., Hubley, R., Deutsch, E., Senger, M., Aronow, B.J., Robinson, A., Bassett, D., Stoeckert, C.J., Brazma, A.: Design and implementation of microarray gene expression markup language (MAGE\u2013ML). Genome Biology\u00a03(9) (2002); RESEARCH0046","DOI":"10.1186\/gb-2002-3-9-research0046"},{"issue":"5701","key":"13_CR25","doi-asserted-by":"publisher","first-page":"1508","DOI":"10.1126\/science.1104568","volume":"306","author":"Y. Wang","year":"2004","unstructured":"Wang, Y., Dohlman, H.G.: Pheromone signaling mechanisms in yeast: a prototypical sex machine. Science\u00a0306(5701), 1508\u20131509 (2004)","journal-title":"Science"},{"key":"13_CR26","unstructured":"Wielemaker, J.: swi\u2013prolog 5.0 Reference Manual and Wielemaker, J., Anjewierden, A (2009) Programming in xpce\/prolog (2009), http:\/\/www.swi-prolog.org\/"},{"key":"13_CR27","doi-asserted-by":"publisher","first-page":"2412","DOI":"10.1093\/bioinformatics\/btn427","volume":"24","author":"S. Zheng","year":"2008","unstructured":"Zheng, S., Sheng, J., Wang, C., Wang, X., Yu, Y., Li, Y., Michie, A., Dai, J., Zhong, Y., Hao, P., Liu, L., Li, Y.: MPSQ: a web tool for protein\u2013state searching. Bioinformatics\u00a024, 2412\u20132413 (2008)","journal-title":"Bioinformatics"}],"container-title":["Lecture Notes in Computer Science","Applications of Declarative Programming and Knowledge Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20589-7_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,5]],"date-time":"2025-03-05T04:17:24Z","timestamp":1741148244000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20589-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642205880","9783642205897"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20589-7_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}