{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:08:17Z","timestamp":1725487697341},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540733225"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73325-6_39","type":"book-chapter","created":{"date-parts":[[2007,7,17]],"date-time":"2007-07-17T00:05:23Z","timestamp":1184630723000},"page":"395-404","source":"Crossref","is-referenced-by-count":4,"title":["Knowledge Based Discovery in Systems Biology Using CF-Induction"],"prefix":"10.1007","author":[{"given":"Andrei","family":"Doncescu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katsumi","family":"Inoue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoshitaka","family":"Yamamoto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"39_CR1","first-page":"123","volume":"26","author":"L. Breiman","year":"1996","unstructured":"Breiman, L.: Bagging predictors. Machine Learning\u00a026, 123\u2013140 (1996)","journal-title":"Machine Learning"},{"key":"39_CR2","unstructured":"Chassagnole, C., Rodrigues, J.C., Doncescu, A., Yang, L.T.: Differential evolutionary algorithms for in vivo dynamic analysis of glycolysis and pentose phosphate pathway in Escherichia Coli. In: Zomaya, A. (ed.) Parallel Computing in Bioinformatics and Computational Biology, Jossey-Bass an imprint of Wiley Book. ISBN 0-471-71848, -3"},{"key":"39_CR3","doi-asserted-by":"crossref","unstructured":"Doncescu, A., Yamamoto, Y., Inoue, K.: Biological Systems Analysis using Inductive Logic Programming. In: The 2007 IEEE International Symposium on Bioinformatics and Life Science Computing BLSC07, Niagara Fall, Ontario, Canada (2007)","DOI":"10.1109\/AINAW.2007.112"},{"key":"39_CR4","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0004-3702(92)90030-2","volume":"56","author":"K. Inoue","year":"1992","unstructured":"Inoue, K.: Linear resolution for consequence finding. Artificial Intelligence\u00a056, 301\u2013353 (1992)","journal-title":"Artificial Intelligence"},{"key":"39_CR5","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1023\/B:MACH.0000023149.72125.e2","volume":"55","author":"K. Inoue","year":"2004","unstructured":"Inoue, K.: Induction as consequence finding. Machine Learning\u00a055, 109\u2013135 (2004)","journal-title":"Machine Learning"},{"key":"39_CR6","doi-asserted-by":"publisher","first-page":"749","DOI":"10.1093\/nar\/gki426","volume":"33","author":"P. Juvan","year":"2005","unstructured":"Juvan, P., Demsar, J., Shaulsky, G., Zupan, B.: GenePath: from mutation to genetic networks and back. Nucleic Acids Research\u00a033, 749\u2013752 (2005)","journal-title":"Nucleic Acids Research"},{"key":"39_CR7","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":"39_CR8","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. Comput.\u00a013, 245\u2013862 (1995)","journal-title":"New Gen. Comput."},{"key":"39_CR9","unstructured":"Muggleton, S., Firth, J.: CProgol4.4: a tutorial introduction. Report of Department of Computer Science, University of York"},{"key":"39_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/978-3-540-45206-5_22","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"H. Nabeshima","year":"2003","unstructured":"Nabeshima, H., Iwanuma, K., Inoue, K.: SOLAR: a consequence finding system for advanced reasoning. In: Mayer, M.C., Pirri, F. (eds.) TABLEAUX 2003. LNCS, vol.\u00a02796, pp. 257\u2013263. Springer, Heidelberg (2003)"},{"volume-title":"Bioreaction Engineering: Modeling and Control","year":"2000","key":"39_CR11","unstructured":"Schugerl, K., Bellgardt, K.H. (eds.): Bioreaction Engineering: Modeling and Control. Springer, Heidelberg (2000)"},{"key":"39_CR12","volume-title":"Metabolic engineering","author":"G. Stephanopoulos","year":"1998","unstructured":"Stephanopoulos, G., Aristidou, A., Nielsen, J.: Metabolic engineering. Academic Press, London (1998)"},{"key":"39_CR13","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/s10994-006-8988-x","volume":"64","author":"A. Tamaddoni-Nezhad","year":"2006","unstructured":"Tamaddoni-Nezhad, A., Chaleil, R., Kakas, A., Muggleton, S.: Application of abductive ILP to learning metabolic network inhibition from temporal data. Machine Learning\u00a064, 209\u2013230 (2006)","journal-title":"Machine Learning"}],"container-title":["Lecture Notes in Computer Science","New Trends in Applied Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73325-6_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:13:38Z","timestamp":1605744818000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73325-6_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540733225"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73325-6_39","relation":{},"subject":[]}}