{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:38:02Z","timestamp":1725799082313},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319103976"},{"type":"electronic","value":"9783319103983"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10398-3_14","type":"book-chapter","created":{"date-parts":[[2014,8,14]],"date-time":"2014-08-14T13:13:27Z","timestamp":1408022007000},"page":"165-179","source":"Crossref","is-referenced-by-count":2,"title":["Completing SBGN-AF Networks by Logic-Based Hypothesis Finding"],"prefix":"10.1007","author":[{"given":"Yoshitaka","family":"Yamamoto","sequence":"first","affiliation":[]},{"given":"Adrien","family":"Rougny","sequence":"additional","affiliation":[]},{"given":"Hidetomo","family":"Nabeshima","sequence":"additional","affiliation":[]},{"given":"Katsumi","family":"Inoue","sequence":"additional","affiliation":[]},{"given":"Hisao","family":"Moriya","sequence":"additional","affiliation":[]},{"given":"Christine","family":"Froidevaux","sequence":"additional","affiliation":[]},{"given":"Koji","family":"Iwanuma","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-642-04414-4_14","volume-title":"Algorithmic Learning Theory","author":"T. Akutsu","year":"2009","unstructured":"Akutsu, T., Tamura, T., Horimoto, K.: Completing networks using observed data. In: Gavald\u00e0, R., Lugosi, G., Zeugmann, T., Zilles, S. (eds.) ALT 2009. LNCS (LNAI), vol.\u00a05809, pp. 126\u2013140. Springer, Heidelberg (2009)"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Christensen, T.S., Oliveira, A.P., Nielsen, J.: Reconstruction and logical modeling of glucose repression signaling pathways in Saccharomyces cerevisiae. BMC Systems Biology\u00a03 (2009), doi:10.1186\/1752-0509-3-7","DOI":"10.1186\/1752-0509-3-7"},{"key":"14_CR3","unstructured":"Demolombe, R., Farinas del Cerro, L., Obeid, N.: A logical model for metabolic networks with inhibition. In: Proc. of Int. Conf. on Bioinformatics and Computational Biology (2013)"},{"key":"14_CR4","unstructured":"Doncescu, A., Inoue, K., Pradine, A.: MicroRNA analysis by hypothesis finding technique. In: Late breaking Papers from the 22nd Int. Conf. on Inductive Logic Programming (ILP 2012), CEUR, vol.\u00a0975, pp. 26\u201337 (2013)"},{"key":"14_CR5","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":"14_CR6","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/s10994-013-5341-z","volume":"91","author":"K. Inoue","year":"2013","unstructured":"Inoue, K., Doncescu, A., Nabeshima, H.: Completing causal networks by meta-level abduction. Machine Learning\u00a091, 239\u2013277 (2013)","journal-title":"Machine Learning"},{"key":"14_CR7","unstructured":"Iwanuma, K., Inoue, K., Satoh, K.: Completeness of pruning methods for consequence finding procedure SOL. In: Proc. of the 3rd worksh. on First-order Theorem Proving (FTP 2000), pp. 89\u2013100 (2000)"},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1089\/cmb.2011.0100","volume":"19","author":"G. Karlebach","year":"2012","unstructured":"Karlebach, G., Shamir, R.: Constructing logical models of gene regulatory networks by integrating transcription factor-DNA interactions with expression data: an entropy-based approach. Computational Biology\u00a019, 30\u201341 (2012)","journal-title":"Computational Biology"},{"key":"14_CR9","unstructured":"Kleinberg, S., Mishra, B.: The temporal logic of causal structures. In: Proc. of the 25th Conf. on Uncertainty in Artificial Intelligence (UAI), pp. 303\u2013312 (2009)"},{"key":"14_CR10","unstructured":"Rougny, A., Froidevaux, C., Yamamoto, Y., Inoue, K.: Translating the SBGN-AF language into logics to analyze signalling networks. In: Proc. of Int. Worksh. on LNMR, CORR, vol. 975, pp. 53\u201364 (2013)"},{"key":"14_CR11","unstructured":"Rougny, A., Froidevaux, C., Yamamoto, Y., Inoue, K.: Analyzing SBGN-AF networks using normal logic programs. In: Inoue, K., Farinas, L. (eds.) Logical Modeling of Biological Systems, IStE-Ltd. (to appear, 2014)"},{"key":"14_CR12","doi-asserted-by":"publisher","first-page":"735","DOI":"10.1038\/nbt.1558","volume":"27","author":"N. Nov\u00e9re Le","year":"2009","unstructured":"Le Nov\u00e9re, N., et al.: The systems biology graphical notation. Nature Biotechnology\u00a027, 735\u2013741 (2009)","journal-title":"Nature Biotechnology"},{"key":"14_CR13","first-page":"182","volume":"97","author":"D. Lewis","year":"2000","unstructured":"Lewis, D.: Causation as influence. Philosophy\u00a097, 182\u2013197 (2000)","journal-title":"Philosophy"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Mi, H., Schreiber, F., Le Nov\u00e9re, N., Moodie, S., Sorokin, A.: Systems biology graphical notation: activity flow language level 1. Nature Proceedings,\u00a0713 (2009)","DOI":"10.1038\/npre.2009.3724.1"},{"key":"14_CR15","unstructured":"Pearl, J.: Causality: Models, Reasoning, and Inference. Cambridge University Press (2000)"},{"key":"14_CR16","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S.H. Muggleton","year":"1995","unstructured":"Muggleton, S.H.: Inverse entailment and Progol. New Generation Computing\u00a013, 245\u2013286 (1995)","journal-title":"New Generation Computing"},{"key":"14_CR17","doi-asserted-by":"crossref","first-page":"183","DOI":"10.3233\/AIC-2010-0465","volume":"23","author":"H. Nabeshima","year":"2010","unstructured":"Nabeshima, H., Iwanuma, K., Inoue, K., Ray, O.: SOLAR: An automated deduction system for consequence finding. AI Communications\u00a023, 183\u2013203 (2010)","journal-title":"AI Communications"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Nakajima, N., Tamura, T., Yamanishi, Y., Horimoto, K., Akutsu, T.: Network completion using dynamic programming and least-squares fitting. The Scientific World Journal (2012), doi:10.1100\/2012\/957620","DOI":"10.1100\/2012\/957620"},{"key":"14_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-62927-0","volume-title":"Foundations of Inductive Logic Programming","author":"S.-H. Nienhuys-Cheng","year":"1997","unstructured":"Nienhuys-Cheng, S.-H., de Wolf, R.: Foundations of Inductive Logic Programming. LNCS, vol.\u00a01228. Springer, Heidelberg (1997)"},{"key":"14_CR20","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1038\/nrmicro2419","volume":"8","author":"R.D. Smet","year":"2010","unstructured":"Smet, R.D., Marchal, K.: Advantages and limitations of current network inference methods. Nature Reviews Microbiology\u00a08, 717\u2013729 (2010)","journal-title":"Nature Reviews Microbiology"},{"key":"14_CR21","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/s10994-006-8988-x","volume":"65","author":"A. Tamaddoni-Nezhad","year":"2006","unstructured":"Tamaddoni-Nezhad, A., Chaleil, R., Muggleton, S.: Application of abductive ILP to learning metabolic network inhibition from temporal data. Machine Learning\u00a065, 209\u2013230 (2006)","journal-title":"Machine Learning"},{"key":"14_CR22","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1002\/bit.21135","volume":"96","author":"S.L. Westergaard","year":"2007","unstructured":"Westergaard, S.L., Oliveira, A.P., Bro, C., Olsson, L., Nielsen, J.: A systems biology approach to study glucose repression in the yeast Saccharomyces cerevisiae. Biotechnology and Bioengineering\u00a096, 134\u2013145 (2007)","journal-title":"Biotechnology and Bioengineering"},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"Whelan, K., Ray, O., King, R.D.: Representation, simulation, and hypothesis generation in graph and logical models of biological networks. In: Castrillo, J.I., Oliver, S.G. (eds.) Yeast Systems Biology, ch. 26, pp. 465\u2013482 (2011)","DOI":"10.1007\/978-1-61779-173-4_26"},{"key":"14_CR24","doi-asserted-by":"crossref","unstructured":"Yamamoto, Y., Inoue, K., Doncescu, A.: Integrating abduction and induction in biological inference using CF-induction. In: Lodhi, H., Muggleton, S. (eds.) Elements of Computational Systems Biology, ch. 9, pp. 213\u2013234 (2009)","DOI":"10.1002\/9780470556757.ch9"}],"container-title":["Lecture Notes in Computer Science","Formal Methods in Macro-Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10398-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,23]],"date-time":"2020-08-23T06:42:19Z","timestamp":1598164939000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10398-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319103976","9783319103983"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10398-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}