{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,28]],"date-time":"2026-05-28T00:21:26Z","timestamp":1779927686349,"version":"3.53.1"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030856328","type":"print"},{"value":"9783030856335","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-85633-5_10","type":"book-chapter","created":{"date-parts":[[2021,9,12]],"date-time":"2021-09-12T23:04:33Z","timestamp":1631487873000},"page":"159-180","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Learning Boolean Controls in Regulated Metabolic Networks: A Case-Study"],"prefix":"10.1007","author":[{"given":"Kerian","family":"Thuillier","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Caroline","family":"Baroukh","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexander","family":"Bockmayr","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ludovic","family":"Cottret","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lo\u00efc","family":"Paulev\u00e9","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anne","family":"Siegel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,9,13]]},"reference":[{"key":"10_CR1","series-title":"Reasoning and Declarative Problem Solving.","volume-title":"Knowledge Representation","author":"C Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation. Reasoning and Declarative Problem Solving., Cambridge University Press, New York (2003)"},{"issue":"3","key":"10_CR2","doi-asserted-by":"publisher","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.: 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). https:\/\/doi.org\/10.1016\/j.jtbi.2004.04.003","journal-title":"J. Theor. Biol."},{"issue":"6072","key":"10_CR3","doi-asserted-by":"publisher","first-page":"1099","DOI":"10.1126\/science.1206871","volume":"335","author":"JM Buescher","year":"2012","unstructured":"Buescher, J.M., et al.: Global network reorganization during dynamic adaptations of bacillus subtilis metabolism. Science 335(6072), 1099\u20131103 (2012). https:\/\/doi.org\/10.1126\/science.1206871","journal-title":"Science"},{"key":"10_CR4","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/j.jtbi.2018.10.026","volume":"462","author":"M Chaves","year":"2019","unstructured":"Chaves, M., Oyarz\u00fan, D.A., Gouz\u00e9, J.L.: Analysis of a genetic-metabolic oscillator with piecewise linear models. J. Theor. Biol. 462, 259\u2013269 (2019). https:\/\/doi.org\/10.1016\/j.jtbi.2018.10.026","journal-title":"J. Theor. Biol."},{"issue":"2\u20133","key":"10_CR5","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/s10441-010-9097-6","volume":"58","author":"M Chaves","year":"2010","unstructured":"Chaves, M., Tournier, L., Gouz\u00e9, J.L.: Comparing Boolean and piecewise affine differential models for genetic networks. Acta Biotheor 58(2\u20133), 217\u2013232 (2010). https:\/\/doi.org\/10.1007\/s10441-010-9097-6","journal-title":"Acta Biotheor"},{"key":"10_CR6","doi-asserted-by":"publisher","unstructured":"Chevalier, S., Froidevaux, C., Pauleve, L., Zinovyev, A.: Synthesis of boolean networks from biological dynamical constraints using answer-set programming. In: 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI). IEEE (2019). https:\/\/doi.org\/10.1109\/ictai.2019.00014","DOI":"10.1109\/ictai.2019.00014"},{"issue":"6987","key":"10_CR7","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1038\/nature02456","volume":"429","author":"MW Covert","year":"2004","unstructured":"Covert, M.W., Knight, E.M., Reed, J.L., Herrgard, M.J., Palsson, B.O.: Integrating high-throughput and computational data elucidates bacterial networks. Nature 429(6987), 92\u201396 (2004). https:\/\/doi.org\/10.1038\/nature02456","journal-title":"Nature"},{"issue":"31","key":"10_CR8","doi-asserted-by":"publisher","first-page":"28058","DOI":"10.1046\/j.1462-2920.2002.00282.x","volume":"277","author":"MW Covert","year":"2002","unstructured":"Covert, M.W., Palsson, B.\u00d8.: Transcriptional regulation in constraints-based metabolic models of Escherichia coli. J. Biol. Chem. 277(31), 28058\u201328064 (2002). https:\/\/doi.org\/10.1046\/j.1462-2920.2002.00282.x","journal-title":"J. Biol. Chem."},{"key":"10_CR9","doi-asserted-by":"publisher","unstructured":"Covert, M.W., Schilling, C., Palsson, B.: Regulation of gene expression in flux balance models of metabolism. J. Theor. Biol. 213(1), 73\u201388 (2001). https:\/\/doi.org\/10.1006\/jtbi.2001.2405","DOI":"10.1006\/jtbi.2001.2405"},{"issue":"3\u20134","key":"10_CR10","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/bf01536399","volume":"15","author":"T Eiter","year":"1995","unstructured":"Eiter, T., Gottlob, G.: On the computational cost of disjunctive logic programming: propositional case. Ann. Math. Artif. Intell. 15(3\u20134), 289\u2013323 (1995). https:\/\/doi.org\/10.1007\/bf01536399","journal-title":"Ann. Math. Artif. Intell."},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-642-03754-2_2","volume-title":"Answer Set Programming: A Primer","author":"T Eiter","year":"2009","unstructured":"Eiter, T., Ianni, G., Krennwallner, T.: Answer Set Programming: A Primer, pp. 40\u2013110. Springer, Berlin (2009). https:\/\/doi.org\/10.1007\/978-3-642-03754-2_2"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Answer Set Solving in Practice. Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan and Claypool Publishers (2012)","DOI":"10.2200\/S00457ED1V01Y201211AIM019"},{"key":"10_CR13","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Clingo = ASP + control. Preliminary report. CoRR abs\/1405.3694 (2014)"},{"issue":"4\u20135","key":"10_CR14","doi-asserted-by":"publisher","first-page":"821","DOI":"10.1017\/s1471068411000329","volume":"11","author":"M Gebser","year":"2011","unstructured":"Gebser, M., Kaminski, R., Schaub, T.: Complex optimization in answer set programming. Theor. Pract. Logic Prog. 11(4\u20135), 821\u2013839 (2011). https:\/\/doi.org\/10.1017\/s1471068411000329","journal-title":"Theor. Pract. Logic Prog."},{"key":"10_CR15","unstructured":"Gebser, M., Kaufmann, B., Romero, J., Otero, R., Schaub, T., Wanko, P.: Domain-specific heuristics in answer set programming. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol. 27, no. 1 (2013). https:\/\/ojs.aaai.org\/index.php\/AAAI\/article\/view\/8585"},{"key":"10_CR16","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1089\/10665270252833208","volume":"9","author":"H de Jong","year":"2002","unstructured":"de Jong, H.: Modeling and simulation of genetic regulatory systems: a literature review. J. Comput. Biol. 9, 67\u2013103 (2002). https:\/\/doi.org\/10.1089\/10665270252833208","journal-title":"J. Comput. Biol."},{"key":"10_CR17","doi-asserted-by":"publisher","unstructured":"Liu, L., Bockmayr, A.: Regulatory dynamic enzyme-cost flux balance analysis: a unifying framework for constraint-based modeling. J. Theor. Biol. 501, 110317 (2020). https:\/\/doi.org\/10.1016\/j.jtbi.2020.110317","DOI":"10.1016\/j.jtbi.2020.110317"},{"key":"10_CR18","doi-asserted-by":"publisher","unstructured":"Marmiesse, L., Peyraud, R., Cottret, L.: FlexFlux: combining metabolic flux and regulatory network analyses. BMC Syst. Biol. 9(1), 1\u201313 (2015). https:\/\/doi.org\/10.1186\/s12918-015-0238-z","DOI":"10.1186\/s12918-015-0238-z"},{"issue":"3","key":"10_CR19","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1038\/nbt.1614","volume":"28","author":"JD Orth","year":"2010","unstructured":"Orth, J.D., Thiele, I., Palsson, B.\u00d8.: What is flux balance analysis? Nat. Biotechnol. 28(3), 245\u2013248 (2010). https:\/\/doi.org\/10.1038\/nbt.1614","journal-title":"Nat. Biotechnol."},{"key":"10_CR20","doi-asserted-by":"publisher","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). https:\/\/doi.org\/10.1016\/j.biosystems.2016.07.009","journal-title":"Biosystems"},{"key":"10_CR21","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.jtbi.2011.11.017","volume":"295","author":"DA Oyarz\u00fan","year":"2012","unstructured":"Oyarz\u00fan, D.A., Chaves, M., Hoff-Hoffmeyer-Zlotnik, M.: Multistability and oscillations in genetic control of metabolism. J. Theor. Biol. 295, 139\u2013153 (2012). https:\/\/doi.org\/10.1016\/j.jtbi.2011.11.017","journal-title":"J. Theor. Biol."},{"key":"10_CR22","doi-asserted-by":"publisher","unstructured":"Razzaq, M., Paulev\u00e9, L., Siegel, A., Saez-Rodriguez, J., Bourdon, J., Guziolowski, C.: Computational discovery of dynamic cell line specific boolean networks from multiplex time-course data. PLOS Comput. Biol. 14(10), e1006538 (2018). https:\/\/doi.org\/10.1371\/journal.pcbi.1006538","DOI":"10.1371\/journal.pcbi.1006538"},{"issue":"1","key":"10_CR23","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1038\/msb.2009.87","volume":"5","author":"J Saez-Rodriguez","year":"2009","unstructured":"Saez-Rodriguez, J., et al.: Discrete logic modelling as a means to link protein signalling networks with functional analysis of mammalian signal transduction. Mol. Syst. Biol. 5(1), 331 (2009). https:\/\/doi.org\/10.1038\/msb.2009.87","journal-title":"Mol. Syst. Biol."},{"issue":"6\u20137","key":"10_CR24","doi-asserted-by":"publisher","first-page":"1349","DOI":"10.1007\/s00285-017-1118-5","volume":"75","author":"L Tournier","year":"2017","unstructured":"Tournier, L., Goelzer, A., Fromion, V.: Optimal resource allocation enables mathematical exploration of microbial metabolic configurations. J. Math. Biol. 75(6\u20137), 1349\u20131380 (2017). https:\/\/doi.org\/10.1007\/s00285-017-1118-5","journal-title":"J. Math. Biol."},{"issue":"14","key":"10_CR25","doi-asserted-by":"publisher","first-page":"2433","DOI":"10.1093\/bioinformatics\/bty139","volume":"34","author":"N Tsiantis","year":"2018","unstructured":"Tsiantis, N., Balsa-Canto, E., Banga, J.R.: Optimality and identification of dynamic models in systems biology: an inverse optimal control framework. Bioinformatics 34(14), 2433\u20132440 (2018). https:\/\/doi.org\/10.1093\/bioinformatics\/bty139","journal-title":"Bioinformatics"},{"key":"10_CR26","doi-asserted-by":"publisher","unstructured":"Videla, S., Saez-Rodriguez, J., Guziolowski, C., Siegel, A.: Caspo: a toolbox for automated reasoning on the response of logical signaling networks families. Bioinformatics p. btw738 (2017). https:\/\/doi.org\/10.1093\/bioinformatics\/btw738","DOI":"10.1093\/bioinformatics\/btw738"},{"issue":"28","key":"10_CR27","doi-asserted-by":"publisher","first-page":"7234","DOI":"10.1073\/pnas.1617387114","volume":"114","author":"JGT Za\u00f1udo","year":"2017","unstructured":"Za\u00f1udo, J.G.T., Yang, G., Albert, R.: Structure-based control of complex networks with nonlinear dynamics. Proc. Natl. Acad. Sci. U.S.A. 114(28), 7234\u20137239 (2017). https:\/\/doi.org\/10.1073\/pnas.1617387114","journal-title":"Proc. Natl. Acad. Sci. U.S.A."}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-85633-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,12]],"date-time":"2021-09-12T23:05:16Z","timestamp":1631487916000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-85633-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030856328","9783030856335"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-85633-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"13 September 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CMSB","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Methods in Systems Biology","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bordeaux","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 September 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 September 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cmsb2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cmsb2021.labri.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}