{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:09:06Z","timestamp":1725898146240},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642297519"},{"type":"electronic","value":"9783642297526"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-29752-6_11","type":"book-chapter","created":{"date-parts":[[2013,1,2]],"date-time":"2013-01-02T06:22:01Z","timestamp":1357107721000},"page":"141-154","source":"Crossref","is-referenced-by-count":0,"title":["Discretized Kinetic Models for Abductive Reasoning in Systems Biology"],"prefix":"10.1007","author":[{"given":"Gabriel","family":"Synnaeve","sequence":"first","affiliation":[]},{"given":"Katsumi","family":"Inoue","sequence":"additional","affiliation":[]},{"given":"Andrei","family":"Doncescu","sequence":"additional","affiliation":[]},{"given":"Hidetomo","family":"Nabeshima","sequence":"additional","affiliation":[]},{"given":"Yoshitaka","family":"Kameya","sequence":"additional","affiliation":[]},{"given":"Masakazu","family":"Ishihata","sequence":"additional","affiliation":[]},{"given":"Taisuke","family":"Sato","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"1662","DOI":"10.1126\/science.1069492","volume":"295","author":"H. Kitano","year":"2002","unstructured":"Kitano, H.: Systems biology toward system-level understanding of biological systems. Science\u00a0295, 1662\u20131664 (2002)","journal-title":"Science"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Baral, C., Chancellor, K., Tran, N., Tran, N., Joy, A., Berens, M.: A knowledge based approach for representing and reasoning about signaling networks. In: Proc. of the 12th Int. Conf. on Intelligent Systems for Molecular Biology, pp. 15\u201322 (2004)","DOI":"10.1093\/bioinformatics\/bth918"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Juvan, P., Demsar, J., Shaulsky, G., Zupan, B.: Genepath: from mutations to genetic networks and back. Nucleic Acids Res.\u00a033 (2005)","DOI":"10.1093\/nar\/gki426"},{"key":"11_CR4","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., Olivier, S.: Functional genomic hypothesis generation and experimentation by a robot scientist. Nature\u00a0427, 247\u2013252 (2004)","journal-title":"Nature"},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"2017","DOI":"10.1093\/bioinformatics\/bti255","volume":"21","author":"R. King","year":"2005","unstructured":"King, R., Garrett, S., Coghill, G.: On the use of qualitative reasoning to simulate and identify metabolic pathways. Bioinformatics\u00a021, 2017\u20132026 (2005)","journal-title":"Bioinformatics"},{"key":"11_CR6","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"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-540-73433-8_12","volume-title":"Algebraic Biology","author":"A. Tiwari","year":"2007","unstructured":"Tiwari, A., Talcott, C., Knapp, M., Lincoln, P., Laderoute, K.: Analyzing Pathways Using SAT-Based Approaches. In: Anai, H., Horimoto, K., Kutsia, T. (eds.) Ab 2007. LNCS, vol.\u00a04545, pp. 155\u2013169. Springer, Heidelberg (2007)"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Doncescu, A., Yamamoto, Y., Inoue, K.: Biological systems analysis using Inductive Logic Programming. In: IEEE International Symp. on Bioinf. and Life Science Computing (2007)","DOI":"10.1109\/AINAW.2007.112"},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s10601-007-9031-y","volume":"13","author":"S. Dworschak","year":"2008","unstructured":"Dworschak, S., Grell, S., Nikiforova, V., Schaub, T., Selbig, J.: Modeling biological networks by action languages via answer set programming. Constraints\u00a013, 21\u201365 (2008)","journal-title":"Constraints"},{"key":"11_CR10","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-3-540-78652-8_11","volume-title":"Probabilistic Inductive Logic Programming","author":"F. Fages","year":"2008","unstructured":"Fages, F., Soliman, S., France, I.R.: Model Revision from Temporal Logic Properties in Computational Systems Biology. In: De Raedt, L., Frasconi, P., Kersting, K., Muggleton, S.H. (eds.) Probabilistic Inductive Logic Programming. LNCS (LNAI), vol.\u00a04911, pp. 287\u2013304. Springer, Heidelberg (2008)"},{"key":"11_CR11","unstructured":"Inoue, K., Sato, T., Ishihata, M., Kameya, Y., Nabeshima, H.: Evaluating abductive hypotheses using and EM algorithm on BDDs. In: Proc. of IJCAI 2009, pp. 815\u2013820. AAAI Press (2009)"},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1109\/89.279278","volume":"2","author":"J.L. Gauvain","year":"1994","unstructured":"Gauvain, J.L., Lee, C.H.: Maximum a posteriori estimation for multivariate gaussian mixture observations of markov chains. IEEE Transactions on Speech and Audio Processing\u00a02, 291\u2013298 (1994)","journal-title":"IEEE Transactions on Speech and Audio Processing"},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1109\/TPAMI.2006.85","volume":"28","author":"S. Ji","year":"2006","unstructured":"Ji, S., Krishnapuram, B., Carin, L.: Variational bayes for continuous hidden markov models and its application to active learning. IEEE Transactions on Pattern Analysis and Machine Intelligence\u00a028, 522\u2013532 (2006)","journal-title":"IEEE Transactions on Pattern Analysis and Machine Intelligence"},{"key":"11_CR14","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1093\/nar\/28.1.27","volume":"28","author":"M. Kanehisa","year":"2000","unstructured":"Kanehisa, M., Goto, S.: Kyoto encyclopedia of genes and genomes. Nucleic Acids Res.\u00a028, 27\u201330 (2000)","journal-title":"Nucleic Acids Res."},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1093\/nar\/gkm882","volume":"36","author":"M. Kanehisa","year":"2008","unstructured":"Kanehisa, M., Araki, M., Goto, S., Hattori, M., Hirakawa, M., Itoh, M., Katayama, T., Kawashima, S., Okuda, S., Tokimatsu, T., Yamanishi, Y.: KEGG for linking genomes to life and the environment. Nucleic Acids Res.\u00a036, 480\u2013484 (2008)","journal-title":"Nucleic Acids Res."},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Nabeshima, H., Iwanuma, K., Inoue, K.: SOLAR: A consequence finding system for advanced reasoning. In: Proc. of the 11th International Conference TABLEAUX 2003. LNCS (LNAI), vol.\u00a02786, pp. 257\u2013263 (2003)","DOI":"10.1007\/978-3-540-45206-5_22"},{"key":"11_CR17","unstructured":"Ishihata, M., Kameya, Y., Sato, T., Minato, S.: Propositionalizing the EM algorith by BDDs. Technical report, TR08-0004, Dept. Comp. Sc., Tokyo Instute of Technology (2008)"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-59155-9_1","volume-title":"Constraint Programming: Basics and Trends","author":"F. Benhamou","year":"1995","unstructured":"Benhamou, F.: Interval Constraint Logic Programming. In: Podelski, A. (ed.) Constraint Programming: Basics and Trends. LNCS, vol.\u00a0910, pp. 1\u201321. Springer, Heidelberg (1995)"},{"key":"11_CR19","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/3-540-44794-6_10","volume-title":"Principles of Data Mining and Knowledge Discovery","author":"P. Geurts","year":"2001","unstructured":"Geurts, P.: Pattern Extraction for Time Series Classification. In: Siebes, A., De Raedt, L. (eds.) PKDD 2001. LNCS (LNAI), vol.\u00a02168, pp. 115\u2013127. Springer, Heidelberg (2001)"},{"key":"11_CR20","unstructured":"Keogh, E., Lin, J., Fu, A.: HOT SAX: efficiently finding the most unusual time series subsequence. In: 5th IEEE International Conference on Data Mining (2005)"},{"key":"11_CR21","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1109\/5.18626","volume":"77","author":"L. Rabiner","year":"1989","unstructured":"Rabiner, L.: A tutorial on hidden markov models and selected applications in speech recognition. Proc. of the IEEE\u00a077, 257\u2013286 (1989)","journal-title":"Proc. of the IEEE"},{"key":"11_CR22","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1214\/aos\/1176344136","volume":"6","author":"G. Schwarz","year":"1978","unstructured":"Schwarz, G.: Estimating the dimension of a model. Annals of Statistics\u00a06, 461\u2013464 (1978)","journal-title":"Annals of Statistics"},{"key":"11_CR23","unstructured":"Cheeseman, P., Stutz, J.: Bayesian classification (autoclass): Theory and results. In: Advances in Knowledge Discovery and Data Mining, pp. 153\u2013180. The MIT Press (1995)"},{"key":"11_CR24","unstructured":"Beal, M.: Variational Algorithms for Approximate Bayesian Inference. PhD thesis, Gatsby Comp. Neurosc. Unit, University College London (2003)"},{"key":"11_CR25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68856-3","volume-title":"Logical and Relational Learning","author":"L. Raedt De","year":"2008","unstructured":"De Raedt, L.: Logical and Relational Learning. Springer, Heidelberg (2008)"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"Kameya, Y., Synnaeve, G., Doncescu, A., Inoue, K., Sato, T.: A bayesian hybrid approach to unsupervised time series discretization. In: International Conference on Technologies and Applications of Artificial Intelligence, pp. 342\u2013349 (2010)","DOI":"10.1109\/TAAI.2010.62"},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"Chassagnole, C., Rodrigues, J., Doncescu, A., Yang, L.T.: Differential evolutionary algorithms for in vivo dynamic analysis of glycolysis and pentose phosphate pathway in Escherichia Coli. A. Zomaya (2006)","DOI":"10.1002\/0471756504.ch3"},{"key":"11_CR28","unstructured":"Mooney, R.: Integrating abduction and induction in machine learning. In: Working Notes of the IJCAI 1997 Workshop on Abduction and Induction in AI, pp. 37\u201342 (1997)"},{"key":"11_CR29","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":"11_CR30","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 Generation Computing\u00a013, 245\u2013286 (1995)","journal-title":"New Generation Computing"},{"key":"11_CR31","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":"11_CR32","unstructured":"Peters-Wendisch, P., Schiel, B., Wendisch, V., Katsoulidis, E., et al.: Pyruvate carboxylase is a major bottleneck for glutamate and lysine production by corynebacterium glutamicum. Molecular Microbiol. Biotechnol.\u00a03 (2001)"},{"key":"11_CR33","doi-asserted-by":"crossref","unstructured":"Ray, O., Whelan, K., King, R.: A nonmonotonic logical approach for modelling and revising metabolic networks. In: IEEE Complex, Intelligent and Software Intensive Systems (2009)","DOI":"10.1109\/CISIS.2009.175"}],"container-title":["Communications in Computer and Information Science","Biomedical Engineering Systems and Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29752-6_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:14:59Z","timestamp":1620126899000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29752-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642297519","9783642297526"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29752-6_11","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}