{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:01Z","timestamp":1725558961250},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642138393"},{"type":"electronic","value":"9783642138409"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13840-9_18","type":"book-chapter","created":{"date-parts":[[2010,7,1]],"date-time":"2010-07-01T10:22:37Z","timestamp":1277979757000},"page":"194-201","source":"Crossref","is-referenced-by-count":7,"title":["Automatic Revision of Metabolic Networks through Logical Analysis of Experimental Data"],"prefix":"10.1007","author":[{"given":"Oliver","family":"Ray","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ken","family":"Whelan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ross","family":"King","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"6","key":"18_CR1","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A. Kakas","year":"1992","unstructured":"Kakas, A., Kowalski, R., Toni, F.: Abductive Logic Programming. Journal of Logic and Computation\u00a02(6), 719\u2013770 (1992)","journal-title":"Journal of Logic and Computation"},{"issue":"5923","key":"18_CR2","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1126\/science.1165620","volume":"324","author":"R. King","year":"2009","unstructured":"King, R., Rowland, J., Oliver, S., Young, M., Aubrey, W., Byrne, E., Liakata, M., Markham, M., Pir, P., Soldatova, L., Sparkes, A., Whelan, K., Clare, A.: The automation of science. Science\u00a0324(5923), 85\u201389 (2009)","journal-title":"Science"},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1038\/nature02236","volume":"427","author":"R. King","year":"2004","unstructured":"King, R., Whelan, K., Jones, F., Reiser, P., Bryant, C., Muggleton, S., Kell, D., Oliver, S.: Functional Genomic Hypothesis Generation and Experimentation by a Robot Scientist. Nature\u00a0427, 247\u2013252 (2004)","journal-title":"Nature"},{"key":"18_CR4","unstructured":"Lehninger, A.: Biochemistry: The Molecular Basis of Cell Structure and Function, 2nd edn. Worth Publishers (1979)"},{"key":"18_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. Lloyd","year":"1987","unstructured":"Lloyd, J.: Foundations of Logic Programming. Springer, Heidelberg (1987)"},{"key":"18_CR6","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S. Muggleton","year":"1995","unstructured":"Muggleton, S.: Inverse Entailment and Progol. New Gen. Comp.\u00a013, 245\u2013286 (1995)","journal-title":"New Gen. Comp."},{"key":"18_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/3-540-44960-4_8","volume-title":"Inductive Logic Programming","author":"S. Muggleton","year":"2000","unstructured":"Muggleton, S., Bryant, C.: Theory Completion Using Inverse Entailment. In: Cussens, J., Frisch, A.M. (eds.) ILP 2000. LNCS (LNAI), vol.\u00a01866, pp. 130\u2013146. Springer, Heidelberg (2000)"},{"issue":"20","key":"18_CR8","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1016\/0743-1066(94)90035-3","volume":"19","author":"S. Muggleton","year":"1994","unstructured":"Muggleton, S., De Raedt, L.: Inductive Logic Programming: Theory and Methods. Journal of Logic Programming\u00a019(20), 629\u2013679 (1994)","journal-title":"Journal of Logic Programming"},{"issue":"7","key":"18_CR9","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1016\/j.jal.2008.10.007","volume":"3","author":"O. Ray","year":"2009","unstructured":"Ray, O.: Nonmonotonic Abductive Inductive Learning. Journal of Applied Logic\u00a03(7), 329\u2013340 (2009)","journal-title":"Journal of Applied Logic"},{"key":"18_CR10","doi-asserted-by":"publisher","first-page":"825","DOI":"10.1109\/CISIS.2009.175","volume-title":"Proc. 3rd Int. Conf. on Complex, Intelligent and Software Intensive Systems","author":"O. Ray","year":"2009","unstructured":"Ray, O., Whelan, K., King, R.: A nonmonotonic logical approach for modelling and revising metabolic networks. In: Proc. 3rd Int. Conf. on Complex, Intelligent and Software Intensive Systems, pp. 825\u2013829. IEEE, Los Alamitos (2009)"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Whelan, K., King, R.: Using a logical model to predict the growth of yeast. BMC Bioinformatics\u00a09(97) (2008)","DOI":"10.1186\/1471-2105-9-97"}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13840-9_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T08:32:19Z","timestamp":1552638739000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13840-9_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642138393","9783642138409"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13840-9_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}