{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T15:35:52Z","timestamp":1784129752675,"version":"3.55.0"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031658860","type":"print"},{"value":"9783031658877","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-65887-7_1","type":"book-chapter","created":{"date-parts":[[2024,7,11]],"date-time":"2024-07-11T06:01:50Z","timestamp":1720677710000},"page":"3-22","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Logical Modelling, Some Recent Methodological Advances Illustrated"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2350-0756","authenticated-orcid":false,"given":"Claudine","family":"Chaouiya","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7934-5495","authenticated-orcid":false,"given":"Pedro T.","family":"Monteiro","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8560-8178","authenticated-orcid":false,"given":"Elisabeth","family":"Remy","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,7,12]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","unstructured":"Abou-Jaoud\u00e9, W., et al.: Model checking to assess t-helper cell plasticity. Front. Bioeng. Biotechnol. 2, 86 (2015). https:\/\/doi.org\/10.3389\/fbioe.2014.00086","DOI":"10.3389\/fbioe.2014.00086"},{"key":"1_CR2","doi-asserted-by":"publisher","unstructured":"Abou-Jaoud\u00e9, W., et al.: Logical modeling and dynamical analysis of cellular networks. Front. Genetics 7, 188073 (2016). https:\/\/doi.org\/10.3389\/fgene.2016.00094","DOI":"10.3389\/fgene.2016.00094"},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"1083","DOI":"10.1038\/nmeth.4463","volume":"14","author":"S Aibar","year":"2017","unstructured":"Aibar, S., et al.: SCENIC: single-cell regulatory network inference and clustering. Nat. Methods 14, 1083\u20131086 (2017). https:\/\/doi.org\/10.1038\/nmeth.4463","journal-title":"Nat. Methods"},{"key":"1_CR4","doi-asserted-by":"publisher","unstructured":"Chaouiya, C., et al.: SBML qualitative models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools. BMC Syst. Biol. 7, 135 (2013). https:\/\/doi.org\/10.1186\/1752-0509-7-135","DOI":"10.1186\/1752-0509-7-135"},{"key":"1_CR5","unstructured":"Cheng, Y.: Attractor reachability estimation in logical models. Master\u2019s thesis, Instituto Superior T\u00e9cnico - Universidade de Lisboa (2021)"},{"key":"1_CR6","doi-asserted-by":"publisher","unstructured":"Chevalier, S., No\u00ebl, V., Calzone, L., Zinovyev, A., Paulev\u00e9, L.: Synthesis and simulation of ensembles of boolean networks for cell fate decision. In: Lecture Notes in Computer Science, vol. 12314 LNBI (2020). https:\/\/doi.org\/10.1007\/978-3-030-60327-4_11","DOI":"10.1007\/978-3-030-60327-4_11"},{"key":"1_CR7","doi-asserted-by":"publisher","unstructured":"Cifuentes-Fontanals, L., Tonello, E., Siebert, H.: Control in boolean networks with model checking. Front. Appl. Math. Stat. 8, 838546 (2022). https:\/\/doi.org\/10.3389\/fams.2022.838546","DOI":"10.3389\/fams.2022.838546"},{"key":"1_CR8","doi-asserted-by":"publisher","unstructured":"Cury, J.E.R., Monteiro, P.T., Chaouiya, C.: Partial order on the set of boolean regulatory functions (2019). https:\/\/doi.org\/10.48550\/arxiv.1901.07623","DOI":"10.48550\/arxiv.1901.07623"},{"issue":"5","key":"1_CR9","doi-asserted-by":"publisher","first-page":"1393","DOI":"10.1109\/TCBB.2010.20","volume":"8","author":"E Dubrova","year":"2011","unstructured":"Dubrova, E., Teslenko, M.: A SAT-based algorithm for finding attractors in synchronous Boolean networks. IEEE\/ACM Trans. Comput. Biol. Bioinf. 8(5), 1393\u20131399 (2011). https:\/\/doi.org\/10.1109\/TCBB.2010.20","journal-title":"IEEE\/ACM Trans. Comput. Biol. Bioinf."},{"issue":"14","key":"1_CR10","doi-asserted-by":"publisher","first-page":"e124","DOI":"10.1093\/bioinformatics\/btl210","volume":"22","author":"A Faur\u00e9","year":"2006","unstructured":"Faur\u00e9, A., Naldi, A., Chaouiya, C., Thieffry, D.: Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle. Bioinformatics 22(14), e124\u2013e131 (2006). https:\/\/doi.org\/10.1093\/bioinformatics\/btl210","journal-title":"Bioinformatics"},{"key":"1_CR11","doi-asserted-by":"publisher","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Multi-shot ASP solving with clingo. CoRR abs\/1705.09811 (2017). https:\/\/doi.org\/10.48550\/arXiv.1705.09811","DOI":"10.48550\/arXiv.1705.09811"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/978-3-030-60327-4_18","volume-title":"Computational Methods in Systems Biology","author":"F Gouveia","year":"2020","unstructured":"Gouveia, F., Lynce, I., Monteiro, P.T.: ModRev - model revision tool for Boolean logical models of biological regulatory networks. In: Abate, A., Petrov, T., Wolf, V. (eds.) CMSB 2020. LNCS, vol. 12314, pp. 339\u2013348. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-60327-4_18"},{"key":"1_CR13","doi-asserted-by":"publisher","first-page":"5822","DOI":"10.1073\/pnas.1610609114","volume":"114","author":"F Hamey","year":"2017","unstructured":"Hamey, F., Nestorowa, S., Kinston, S., Kent, D., Wilson, N., G\u00f6ttgens, B.: Reconstructing blood stem cell regulatory network models from single-cell molecular profiles. PNAS 114, 5822\u20135829 (2017). https:\/\/doi.org\/10.1073\/pnas.1610609114","journal-title":"PNAS"},{"key":"1_CR14","doi-asserted-by":"publisher","unstructured":"Huynh-Thu, V., Irrthum, A., Wehenkel, L., Geurts, P.: Inferring regulatory networks from expression data using tree-based methods. PLoS ONE 5 (2010). https:\/\/doi.org\/10.1371\/journal.pone.0012776","DOI":"10.1371\/journal.pone.0012776"},{"key":"1_CR15","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.csbj.2022.10.040","volume":"21","author":"L H\u00e9rault","year":"2023","unstructured":"H\u00e9rault, L., Poplineau, M., Duprez, E., Remy, E.: A novel Boolean network inference strategy to model early hematopoiesis aging. Comput. Struct. Biotechnol. J. 21, 21\u201333 (2023). https:\/\/doi.org\/10.1016\/j.csbj.2022.10.040","journal-title":"Comput. Struct. Biotechnol. J."},{"key":"1_CR16","doi-asserted-by":"publisher","unstructured":"H\u00e9rault, L., Poplineau, M., Remy, E., Duprez, E.: Single cell transcriptomics to understand HSC heterogeneity and its evolution upon aging. Cells 11 (2022). https:\/\/doi.org\/10.3390\/cells11193125","DOI":"10.3390\/cells11193125"},{"key":"1_CR17","doi-asserted-by":"publisher","unstructured":"Lemos, A., Lynce, I., Monteiro, P.T.: Repairing Boolean logical models from time-series data using answer set programming. Algorithms Molecular Biol. 14(1), 16 (Mar 2019). https:\/\/doi.org\/10.1186\/s13015-019-0145-8","DOI":"10.1186\/s13015-019-0145-8"},{"key":"1_CR18","doi-asserted-by":"publisher","unstructured":"Liu, T., et\u00a0al.: Cistrome: an integrative platform for transcriptional regulation studies. Genome Biol. 12, 1\u201310 (2011). https:\/\/doi.org\/10.1186\/gb-2011-12-8-r83","DOI":"10.1186\/gb-2011-12-8-r83"},{"key":"1_CR19","doi-asserted-by":"publisher","unstructured":"Lo\u00a0Surd, P., et al.: SIGNOR 3.0, the signaling network open resource 3.0: 2022 update. Nucleic Acids Res. 1083\u20131086 (2022). https:\/\/doi.org\/10.1093\/nar\/gkac883","DOI":"10.1093\/nar\/gkac883"},{"key":"1_CR20","unstructured":"Lomuscio, A., Pecheur, C., Raimondi, F.: Automatic verification of knowledge and time with NuSMV. In: Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, pp. 1384\u20131389. IJCAI\/AAAI Press (2007). https:\/\/www.ijcai.org\/Proceedings\/07\/Papers\/223.pdf"},{"key":"1_CR21","doi-asserted-by":"publisher","unstructured":"Mendes, N., Henriques, R., Remy, E., Carneiro, J., Monteiro, P., Chaouiya, C.: Estimating attractor reachability in asynchronous logical models. Front. Psychol. 9, 1161 (2018). https:\/\/doi.org\/10.3389\/fpsyg.2018.01681","DOI":"10.3389\/fpsyg.2018.01681"},{"key":"1_CR22","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/j.ijar.2017.01.012","volume":"83","author":"E Merhej","year":"2017","unstructured":"Merhej, E., Schockaert, S., De Cock, M.: Repairing inconsistent answer set programs using rules of thumb: a gene regulatory networks case study. Int. J. Approx. Reason. 83, 243\u2013264 (2017). https:\/\/doi.org\/10.1016\/j.ijar.2017.01.012","journal-title":"Int. J. Approx. Reason."},{"key":"1_CR23","doi-asserted-by":"publisher","unstructured":"Milacic, M., et al.: The Reactome pathway knowledgebase 2024. Nucleic Acids Res. 52(D1), D672\u2013D678 (Nov2023). https:\/\/doi.org\/10.1093\/nar\/gkad1025, http:\/\/dx.doi.org\/10.1093\/nar\/gkad1025","DOI":"10.1093\/nar\/gkad1025"},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1007\/978-3-319-16483-0_58","volume-title":"Bioinformatics and Biomedical Engineering","author":"N Mobilia","year":"2015","unstructured":"Mobilia, N., Rocca, A., Chorlton, S., Fanchon, E., Trilling, L.: Logical modeling and analysis of regulatory genetic networks in a non monotonic framework. In: Ortu\u00f1o, F., Rojas, I. (eds.) IWBBIO 2015. LNCS, vol. 9043, pp. 599\u2013612. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-16483-0_58"},{"issue":"11","key":"1_CR25","doi-asserted-by":"publisher","first-page":"739","DOI":"10.1038\/s41576-023-00618-5","volume":"24","author":"P Badia-Mompel","year":"2023","unstructured":"Badia-Mompel, P., et al.: Gene regulatory network inference in the era of single-cell multi-omics. Nat. Rev. Genet. 24(11), 739\u2013754 (2023). https:\/\/doi.org\/10.1038\/s41576-023-00618-5","journal-title":"Nat. Rev. Genet."},{"key":"1_CR26","doi-asserted-by":"publisher","unstructured":"Monteiro, P., Abou-Jaoud\u00e9, W., Thieffry, D., Chaouiya, C.: Model checking logical regulatory networks. In: IFAC Proceedings Volumes (IFAC-PapersOnline), vol.\u00a09 (2014). https:\/\/doi.org\/10.3182\/20140514-3-FR-4046.00135","DOI":"10.3182\/20140514-3-FR-4046.00135"},{"key":"1_CR27","doi-asserted-by":"publisher","unstructured":"Naldi, A., Hernandez, C., Abou-Jaoud\u00e9, W., Monteiro, P., Chaouiya, C., Thieffry, D.: Logical modeling and analysis of cellular regulatory networks with GINsim 3.0. Front. Physiol. 9 (2018). https:\/\/doi.org\/10.3389\/fphys.2018.00646","DOI":"10.3389\/fphys.2018.00646"},{"key":"1_CR28","doi-asserted-by":"publisher","unstructured":"Naldi, A., et al.: The CoLoMoTo interactive notebook: accessible and reproducible computational analyses for qualitative biological networks. Front. Physiol. 9 (2018). https:\/\/doi.org\/10.3389\/fphys.2018.00680","DOI":"10.3389\/fphys.2018.00680"},{"key":"1_CR29","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/978-3-642-33636-2_17","volume-title":"Computational Methods in Systems Biology","author":"A Naldi","year":"2012","unstructured":"Naldi, A., Monteiro, P.T., Chaouiya, C.: Efficient handling of large signalling-regulatory networks by focusing on their core control. In: Gilbert, D., Heiner, M. (eds.) Computational Methods in Systems Biology, pp. 288\u2013306. Springer, Berlin Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33636-2_17"},{"key":"1_CR30","doi-asserted-by":"publisher","unstructured":"Naldi, A., et al.: Cooperative development of logical modelling standards and tools with CoLoMoTo. Bioinformatics 31(7), 1154\u20131159 (2015). https:\/\/doi.org\/10.1093\/bioinformatics\/btv013","DOI":"10.1093\/bioinformatics\/btv013"},{"key":"1_CR31","doi-asserted-by":"publisher","unstructured":"Naldi, A.: BioLQM: A java toolkit for the manipulation and conversion of logical qualitative models of biological networks. Front. Physiol. 9, 382371 (11 2018). https:\/\/doi.org\/10.3389\/fphys.2018.01605","DOI":"10.3389\/fphys.2018.01605"},{"key":"1_CR32","doi-asserted-by":"publisher","unstructured":"Paulev\u00e9, L., Kol\u010d\u00e1k, J., Chatain, T., Haar, S.: Reconciling qualitative, abstract, and scalable modeling of biological networks. Nature Commun. 11(1), 4526 (2020). https:\/\/doi.org\/10.1038\/s41467-020-18112-5","DOI":"10.1038\/s41467-020-18112-5"},{"key":"1_CR33","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1038\/s41592-019-0690-6","volume":"17","author":"A Pratapa","year":"2020","unstructured":"Pratapa, A., Jalihal, A.P., Law, J.N., Bharadwaj, A., Murali, T.: Benchmarking algorithms for gene regulatory network inference from single-cell transcriptomic data. Nat. Methods 17, 147\u2013154 (2020). https:\/\/doi.org\/10.1038\/s41592-019-0690-6","journal-title":"Nat. Methods"},{"key":"1_CR34","doi-asserted-by":"publisher","first-page":"979","DOI":"10.1038\/nmeth.4402","volume":"10","author":"X Qiu","year":"2017","unstructured":"Qiu, X., et al.: Reversed graph embedding resolves complex single-cell trajectories. Nat. Methods 10, 979\u201382 (2017). https:\/\/doi.org\/10.1038\/nmeth.4402","journal-title":"Nat. Methods"},{"key":"1_CR35","doi-asserted-by":"publisher","unstructured":"Selvaggio, G., et al.: Hybrid epithelial-mesenchymal phenotypes are controlled by microenvironmental factors. Cancer Res. 80(11), 2407\u20132420 (2020). https:\/\/doi.org\/10.1158\/0008-5472.CAN-19-3147","DOI":"10.1158\/0008-5472.CAN-19-3147"},{"key":"1_CR36","doi-asserted-by":"publisher","unstructured":"Selvaggio, G., Chaouiya, C., Janody, F.: In silico logical modelling to uncover cooperative interactions in cancer. Int. J. Molecular Sci. 22(9), 4897 (2021). https:\/\/doi.org\/10.3390\/ijms22094897","DOI":"10.3390\/ijms22094897"},{"key":"1_CR37","doi-asserted-by":"publisher","unstructured":"Stoll, G., et al.: MaBoSS 2.0: an environment for stochastic Boolean modeling. Bioinformatics 33(14), 2226\u20132228 (2017). https:\/\/doi.org\/10.1093\/bioinformatics\/btx123","DOI":"10.1093\/bioinformatics\/btx123"},{"issue":"1","key":"1_CR38","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1137\/18M1173988","volume":"18","author":"E Tonello","year":"2019","unstructured":"Tonello, E., Farcot, E., Chaouiya, C.: Local negative circuits and cyclic attractors in Boolean networks with at most five components. SIAM J. Appl. Dyn. Syst. 18(1), 68\u201379 (2019). https:\/\/doi.org\/10.1137\/18M1173988","journal-title":"SIAM J. Appl. Dyn. Syst."},{"key":"1_CR39","doi-asserted-by":"publisher","unstructured":"Varela, P.L., Lynce, I., Manquinho, V., Chaouiya, C., Monteiro, P.T.: Stable states of Boolean regulatory networks composed over hexagonal grids. Electron. Notes Theor. Comput. Sci. 335, 113\u2013130 (2018). 7th International Workshop on Static Analysis and Systems Biology (SASB 2016). https:\/\/doi.org\/10.1016\/j.entcs.2018.03.011, https:\/\/www.sciencedirect.com\/science\/article\/pii\/S1571066118300148","DOI":"10.1016\/j.entcs.2018.03.011"},{"key":"1_CR40","doi-asserted-by":"publisher","unstructured":"Verny, L., Sella, N., Affeldt, S., Singh, P., Isambert, H.: Learning causal networks with latent variables from multivariate information in genomic data. PLoS Comput. Biol. 13(10), e1005662 (2017). https:\/\/doi.org\/10.1371\/journal.pcbi.1005662","DOI":"10.1371\/journal.pcbi.1005662"},{"key":"1_CR41","doi-asserted-by":"publisher","unstructured":"Videla, S., et al.: Learning boolean logic models of signaling networks with ASP. Theoret. Comput. Sci. 599, 79\u2013101 (2015). https:\/\/doi.org\/10.1016\/j.tcs.2014.06.022","DOI":"10.1016\/j.tcs.2014.06.022"}],"container-title":["Lecture Notes in Computer Science","Cellular Automata and Discrete Complex Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-65887-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,11]],"date-time":"2024-07-11T06:01:59Z","timestamp":1720677719000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-65887-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031658860","9783031658877"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-65887-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"12 July 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AUTOMATA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Cellular Automata and Discrete Complex Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Durham","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 July 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 July 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"automata2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/automata2024.webspace.durham.ac.uk\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}