{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:48:55Z","timestamp":1740098935217,"version":"3.37.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319674704"},{"type":"electronic","value":"9783319674711"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-67471-1_5","type":"book-chapter","created":{"date-parts":[[2017,8,31]],"date-time":"2017-08-31T15:05:14Z","timestamp":1504191914000},"page":"74-90","source":"Crossref","is-referenced-by-count":1,"title":["Probably Approximately Correct Learning of Regulatory Networks from Time-Series Data"],"prefix":"10.1007","author":[{"given":"Arthur","family":"Carcano","sequence":"first","affiliation":[]},{"given":"Fran\u00e7ois","family":"Fages","sequence":"additional","affiliation":[]},{"given":"Sylvain","family":"Soliman","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,9,1]]},"reference":[{"issue":"9","key":"5_CR1","first-page":"1","volume":"7","author":"N Angelopoulos","year":"2002","unstructured":"Angelopoulos, N., Muggleton, S.H.: Machine learning metabolic pathway descriptions using a probabilistic relational representation. Electron. Trans. Artif. Intell. 7(9), 1\u201311 (2002). also in Proceedings of Machine Intelligence","journal-title":"Electron. Trans. Artif. Intell."},{"key":"5_CR2","unstructured":"Angelopoulos, N., Muggleton, S.H.: Slps for probabilistic pathways: Modeling and parameter estimation. Technical Report TR 2002\/12. Department of Computing, Imperial College, London, UK (2002)"},{"issue":"3","key":"5_CR3","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1016\/j.jtbi.2004.04.003","volume":"229","author":"G Bernot","year":"2004","unstructured":"Bernot, G., Comet, J.P., Richard, A., Guespin, J.: A fruitful application of formal methods to biological regulatory networks: Extending Thomas\u2019 asynchronous logical approach with temporal logic. J. Theor. Biol. 229(3), 339\u2013347 (2004)","journal-title":"J. Theor. Biol."},{"issue":"12","key":"5_CR4","first-page":"1","volume":"6","author":"CH Bryant","year":"2001","unstructured":"Bryant, C.H., Muggleton, S.H., Oliver, S.G., Kell, D.B., Reiser, P.G.K., King, R.D.: Combining inductive logic programming, active learning and robotics to discover the function of genes. Electron. Trans. Artif. Intell. 6(12), 1\u201336 (2001)","journal-title":"Electron. Trans. Artif. Intell."},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/11880646_4","volume-title":"Transactions on Computational Systems Biology VI","author":"L Calzone","year":"2006","unstructured":"Calzone, L., Chabrier-Rivier, N., Fages, F., Soliman, S.: Machine learning biochemical networks from temporal logic properties. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS, vol. 4220, pp. 68\u201394. Springer, Heidelberg (2006). doi:\n10.1007\/11880646_4"},{"issue":"8","key":"5_CR6","doi-asserted-by":"crossref","first-page":"3841","DOI":"10.1091\/mbc.E03-11-0794","volume":"15","author":"KC Chen","year":"2004","unstructured":"Chen, K.C., Calzone, L., Csik\u00e1sz-Nagy, A., Cross, F.R., Gy\u00f6rffy, B., Val, J., Nov\u00e0k, B., Tyson, J.J.: Integrative analysis of cell cycle control in budding yeast. Mol. Biol. Cell 15(8), 3841\u20133862 (2004)","journal-title":"Mol. Biol. Cell"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Deng, K., Bourke, C., Scott, S.D., Sunderman, J., Zheng, Y.: Bandit-based algorithms for budgeted learning. In: ICDM (2007)","DOI":"10.1109\/ICDM.2007.91"},{"key":"5_CR8","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/s10994-012-5299-2","volume":"90","author":"K Deng","year":"2013","unstructured":"Deng, K., Zheng, Y., Bourke, C., Scott, S., Masciale, J.: New algorithms for budgeted learning. Mach. Learn. 90, 59\u201390 (2013)","journal-title":"Mach. Learn."},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-319-45177-0_7","volume-title":"Computational Methods in Systems Biology","author":"F Fages","year":"2016","unstructured":"Fages, F., Martinez, T., Rosenblueth, D.A., Soliman, S.: Influence systems vs Reaction systems. In: Bartocci, E., Lio, P., Paoletti, N. (eds.) CMSB 2016. LNCS, vol. 9859, pp. 98\u2013115. Springer, Cham (2016). doi:\n10.1007\/978-3-319-45177-0_7"},{"issue":"1","key":"5_CR10","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1016\/j.tcs.2008.04.024","volume":"403","author":"F Fages","year":"2008","unstructured":"Fages, F., Soliman, S.: Abstract interpretation and types for systems biology. Theor. Comput. Sci. 403(1), 52\u201370 (2008)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-540-72200-7_23","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Gebser","year":"2007","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: clasp: A conflict-driven answer set solver. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 260\u2013265. Springer, Heidelberg (2007). doi:\n10.1007\/978-3-540-72200-7_23"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-540-89982-2_19","volume-title":"Logic Programming","author":"M Gebser","year":"2008","unstructured":"Gebser, M., Schaub, T., Thiele, S., Usadel, B., Veber, P.: Detecting inconsistencies in large biological networks with answer set programming. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 130\u2013144. Springer, Heidelberg (2008). doi:\n10.1007\/978-3-540-89982-2_19"},{"issue":"25","key":"5_CR13","doi-asserted-by":"crossref","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"DT Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chemis. 81(25), 2340\u20132361 (1977)","journal-title":"J. Phys. Chemis."},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Gordon, A.D., Henzinger, T.A., Nori, A.V., Rajamani, S.K.: Probabilistic programming. In: Proceedings of the on Future of Software Engineering, FOSE 2014, pp. 167\u2013181, NY, USA. ACM, New York (2014)","DOI":"10.1145\/2593882.2593900"},{"issue":"4","key":"5_CR15","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1038\/nmeth.3773","volume":"1","author":"SM Hill","year":"2016","unstructured":"Hill, S.M., et al.: Inferring causal molecular networks: empirical assessment through a community-based effort. Nat. Method. 1(4), 310\u2013318 (2016)","journal-title":"Nat. Method."},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/978-3-662-44851-9_20","volume-title":"Machine Learning and Knowledge Discovery in Databases","author":"A Llamosi","year":"2014","unstructured":"Llamosi, A., Mezine, A., d\u00c1lch\u00e9-Buc, F., Letort, V., Sebag, M.: Experimental design in dynamical system identification: a bandit-based active learning approach. In: Calders, T., Esposito, F., H\u00fcllermeier, E., Meo, R. (eds.) ECML PKDD 2014. LNCS, vol. 8725, pp. 306\u2013321. Springer, Heidelberg (2014). doi:\n10.1007\/978-3-662-44851-9_20"},{"issue":"2","key":"5_CR17","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/j.biosystems.2005.10.004","volume":"84","author":"L Mendoza","year":"2006","unstructured":"Mendoza, L.: A network model for the control of the differentiation process in Th cells. Biosystems 84(2), 101\u2013114 (2006)","journal-title":"Biosystems"},{"issue":"1","key":"5_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1186\/1752-0509-8-1","volume":"8","author":"P Meyer","year":"2014","unstructured":"Meyer, P., Cokelaer, T., Chandran, D., Kim, K.H., Loh, P.R., Tucker, G., Lipson, M., Berger, B., Kreutz, C., Raue, A., Steiert, B., Timmer, J., Bilal, E., Sauro, H.M., Stolovitzky, G., Saez-Rodriguez, J.: Network topology and parameter estimation: from experimental design methods to gene regulatory network kinetics using a community based approach. BMC Syst. Biol. 8(1), 1\u201318 (2014)","journal-title":"BMC Syst. Biol."},{"key":"5_CR19","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"SH Muggleton","year":"1995","unstructured":"Muggleton, S.H.: Inverse entailment and progol. New Gener. Comput. 13, 245\u2013286 (1995)","journal-title":"New Gener. Comput."},{"key":"5_CR20","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/j.biosystems.2016.07.009","volume":"149","author":"M Ostrowski","year":"2016","unstructured":"Ostrowski, M., Paulev\u00e9, L., Schaub, T., Siegel, A., Guziolowski, C.: Boolean network identification from perturbation time series data combining dynamics abstraction and logic programming. Biosystems 149, 139\u2013153 (2016)","journal-title":"Biosystems"},{"key":"5_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/11905455_3","volume-title":"Transactions on Computational Systems Biology VII","author":"E Remy","year":"2006","unstructured":"Remy, E., Ruet, P., Mendoza, L., Thieffry, D., Chaouiya, C.: From logical regulatory graphs to standard petri nets: dynamical roles and functionality of feedback circuits. In: Priami, C., Ing\u00f3lfsd\u00f3ttir, A., Mishra, B., Riis Nielson, H. (eds.) Transactions on Computational Systems Biology VII. LNCS, vol. 4230, pp. 56\u201372. Springer, Heidelberg (2006). doi:\n10.1007\/11905455_3"},{"key":"5_CR22","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1016\/0022-5193(73)90247-6","volume":"42","author":"R Thomas","year":"1973","unstructured":"Thomas, R.: Boolean formalisation of genetic control circuits. J. Theor. Biol. 42, 565\u2013583 (1973)","journal-title":"J. Theor. Biol."},{"key":"5_CR23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0022-5193(05)80350-9","volume":"153","author":"R Thomas","year":"1991","unstructured":"Thomas, R.: Regulatory networks seen as asynchronous automata : a logical description. J. Theor. Biol. 153, 1\u201323 (1991)","journal-title":"J. Theor. Biol."},{"issue":"11","key":"5_CR24","doi-asserted-by":"crossref","first-page":"1134","DOI":"10.1145\/1968.1972","volume":"27","author":"L Valiant","year":"1984","unstructured":"Valiant, L.: A theory of the learnable. Commun. ACM 27(11), 1134\u20131142 (1984)","journal-title":"Commun. ACM"},{"key":"5_CR25","unstructured":"Valiant, L.: Probably Approximately Correct. Basic Books (2013)"},{"key":"5_CR26","doi-asserted-by":"crossref","first-page":"131","DOI":"10.3389\/fbioe.2015.00131","volume":"3","author":"S Videla","year":"2015","unstructured":"Videla, S., Konokotina, I., Alexopoulos, L.G., Saez-Rodriguez, J., Schaub, T., Siegel, A., Guziolowski, C.: Designing experiments to discriminate families of logic models. Front. Bioeng. Biotechnol. 3, 131 (2015)","journal-title":"Front. Bioeng. Biotechnol."}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67471-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,31]],"date-time":"2017-08-31T15:06:50Z","timestamp":1504192010000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67471-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319674704","9783319674711"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67471-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}