{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,15]],"date-time":"2026-09-15T22:05:10Z","timestamp":1789509910649,"version":"build-2803163510"},"reference-count":135,"publisher":"Oxford University Press (OUP)","issue":"5","license":[{"start":{"date-parts":[[2026,9,15]],"date-time":"2026-09-15T00:00:00Z","timestamp":1789430400000},"content-version":"vor","delay-in-days":14,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,9,1]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>Molecular mechanisms are highly complex and involve numerous components in non-linear interactions, imposing challenges in analysis and understanding. Networks provide intuitive representations of these systems, enabling visualisation of experimental data and the aggregation of prior knowledge. However, static networks cannot account for key temporal dynamics. Boolean networks address this limitation as discrete dynamical models representing temporal properties of biological regulation through binary variables connected by logical functions, offering scalable frameworks for hypothesis generation while avoiding parameterisation challenges of quantitative modelling approaches.<\/jats:p>\n                  <jats:p>Construction of (Boolean) networks is a mostly manual, labour-intensive and bias-prone process, relying on the review of a large corpora of prior knowledge. This review surveys methods for Boolean network inference that integrate experimental data with or without prior knowledge to automatically construct context-specific, data-informed models. We begin by examining network curation methods from text mining to manual curation given their use as backbones of Boolean networks, then analyse several inference algorithms categorised as heuristic (MIBNI, ATEN, LogicGep, CANTATA, and CellNetOptimizer) and exact (BoNesis, caspo, Sketchbook, RE:IN, and Griffin) methods. For each method, we discuss computational representation, inputs, inference algorithms, and benchmarking.<\/jats:p>\n                  <jats:p>We identify key considerations for method selection, including handling of uncertainty, choice of updating scheme, scalability, and data discretisation challenges. We advise that method selection be guided by the type and extent of available prior knowledge and experimental data, and modelling objectives.<\/jats:p>","DOI":"10.1093\/bib\/bbag499","type":"journal-article","created":{"date-parts":[[2026,8,25]],"date-time":"2026-08-25T11:38:03Z","timestamp":1787657883000},"source":"Crossref","is-referenced-by-count":0,"title":["From prior knowledge to data-informed models: a review of Boolean network inference"],"prefix":"10.1093","volume":"27","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-9391-1285","authenticated-orcid":false,"given":"Pierre","family":"Klemmer","sequence":"first","affiliation":[{"name":"Bioinformatics Core, Luxembourg Centre for Systems Biomedicine (LCSB), University of Luxembourg , 7 Avenue des Hauts-Fourneaux, Esch-sur-Alzette 4362 ,","place":["Luxembourg"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7403-181X","authenticated-orcid":false,"given":"Ahmed Abdelmonem","family":"Hemedan","sequence":"additional","affiliation":[{"name":"Transversal Translational Medicine, Luxembourg Institute of Health (LIH) , 1 A-B Rue Thomas Edison, Strassen 1445 ,","place":["Luxembourg"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8278-1618","authenticated-orcid":false,"given":"Reinhard","family":"Schneider","sequence":"additional","affiliation":[{"name":"Bioinformatics Core, Luxembourg Centre for Systems Biomedicine (LCSB), University of Luxembourg , 7 Avenue des Hauts-Fourneaux, Esch-sur-Alzette 4362 ,","place":["Luxembourg"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1473-370X","authenticated-orcid":false,"given":"Marek","family":"Ostaszewski","sequence":"additional","affiliation":[{"name":"Bioinformatics Core, Luxembourg Centre for Systems Biomedicine (LCSB), University of Luxembourg , 7 Avenue des Hauts-Fourneaux, Esch-sur-Alzette 4362 ,","place":["Luxembourg"]}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"286","published-online":{"date-parts":[[2026,9,15]]},"reference":[{"key":"2026091517572328500_ref1","doi-asserted-by":"publisher","first-page":"e1006906","DOI":"10.1371\/journal.pcbi.1006906","article-title":"Ten quick tips for biocuration","volume":"15","author":"Tang","year":"2019","journal-title":"PLoS Comput Biol"},{"key":"2026091517572328500_ref2","doi-asserted-by":"publisher","DOI":"10.3389\/fbinf.2023.1197310","article-title":"A guide for developing comprehensive systems biology maps of disease mechanisms: planning, construction and maintenance","volume":"3","author":"Mazein","year":"2023","journal-title":"Front Bioinforma"},{"key":"2026091517572328500_ref3","doi-asserted-by":"publisher","first-page":"e1009226","DOI":"10.1371\/journal.pcbi.1009226","article-title":"Ten simple rules for creating reusable pathway models for computational analysis and visualization","volume":"17","author":"Hanspers","year":"2021","journal-title":"PLoS Comput Biol"},{"key":"2026091517572328500_ref4","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.copbio.2019.12.002","article-title":"Network inference in systems biology: recent developments, challenges, and applications","volume":"63","author":"Saint-Antoine","year":"2020","journal-title":"Curr Opin Biotechnol"},{"key":"2026091517572328500_ref5","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1038\/nature19949","article-title":"Mass-spectrometric exploration of proteome structure and function","volume":"537","author":"Aebersold","year":"2016","journal-title":"Nature"},{"key":"2026091517572328500_ref6","first-page":"2024.07.04.602130","article-title":"Gene regulatory network structure informs the distribution of perturbation effects","author":"Aguirre","year":"2024"},{"key":"2026091517572328500_ref7","doi-asserted-by":"publisher","first-page":"eadv6588","DOI":"10.1126\/science.adv6588","article-title":"Multiscale structure of chromatin condensates explains phase separation and material properties","volume":"390","author":"Zhou","year":"2025","journal-title":"Science"},{"key":"2026091517572328500_ref8","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1186\/1471-2105-9-399","article-title":"Presenting and exploring biological pathways with PathVisio","volume":"9","author":"Iersel","year":"2008","journal-title":"BMC Bioinformatics"},{"key":"2026091517572328500_ref9","doi-asserted-by":"publisher","first-page":"16020","DOI":"10.1038\/npjsba.2016.20","article-title":"MINERVA\u2014A platform for visualization and curation of molecular interaction networks","volume":"2","author":"Gawron","year":"2016","journal-title":"npj Syst Biol Appl"},{"key":"2026091517572328500_ref10","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1093\/bib\/bbr033","article-title":"Biological network motif detection: principles and practice","volume":"13","author":"Wong","year":"2012","journal-title":"Brief Bioinform"},{"key":"2026091517572328500_ref11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1038\/s41540-025-00498-x","article-title":"Integrative systems biology framework discovers common gene regulatory signatures in mechanistically distinct inflammatory skin diseases","volume":"11","author":"Mishra","year":"2025","journal-title":"npj Syst Biol Appl"},{"key":"2026091517572328500_ref12","doi-asserted-by":"publisher","DOI":"10.3389\/fphar.2022.1029073","article-title":"Physiologically based pharmacokinetic (PBPK) modeling of the role of CYP2D6 polymorphism for metabolic phenotyping with dextromethorphan","volume":"13","author":"Grzegorzewski","year":"2022","journal-title":"Front Pharmacol"},{"key":"2026091517572328500_ref13","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1038\/s41540-025-00578-y","article-title":"Ordinary differential equation model of cancer-associated fibroblast heterogeneity predicts treatment outcomes","volume":"11","author":"Lee","year":"2025","journal-title":"npj Syst Biol Appl"},{"key":"2026091517572328500_ref14","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1186\/s12885-019-5442-6","article-title":"Prognostic models for breast cancer: a systematic review","volume":"19","author":"Phung","year":"2019","journal-title":"BMC Cancer"},{"key":"2026091517572328500_ref15","doi-asserted-by":"publisher","first-page":"e1000696","DOI":"10.1371\/journal.pcbi.1000696","article-title":"Parameter estimation and model selection in computational biology","volume":"6","author":"Lillacci","year":"2010","journal-title":"PLoS Comput Biol"},{"key":"2026091517572328500_ref16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1140\/epjnbp\/s40366-016-0031-y","article-title":"A comparative study of qualitative and quantitative dynamic models of biological regulatory networks","volume":"4","author":"Saadatpour","year":"2016","journal-title":"EPJ Nonlinear Biomed Phys"},{"key":"2026091517572328500_ref17","doi-asserted-by":"publisher","first-page":"20230607","DOI":"10.1098\/rsif.2023.0607","article-title":"Parameter identifiability and model selection for partial differential equation models of cell invasio","volume":"21","author":"Liu","year":"2024","journal-title":"J R Soc Interface"},{"key":"2026091517572328500_ref18","doi-asserted-by":"publisher","first-page":"e9042","DOI":"10.15252\/msb.20199042","article-title":"Personalized signaling models for personalized treatments","volume":"16","author":"Saez-Rodriguez","year":"2020","journal-title":"Mol Syst Biol"},{"key":"2026091517572328500_ref19","doi-asserted-by":"publisher","first-page":"1886","DOI":"10.1016\/j.csbj.2024.04.058","article-title":"A mini-review on perturbation modelling across single-cell omic modalities","volume":"23","author":"Gavriilidis","year":"2024","journal-title":"Comput Struct Biotechnol J"},{"key":"2026091517572328500_ref20","doi-asserted-by":"publisher","first-page":"3161","DOI":"10.1016\/j.csbj.2022.06.035","article-title":"Boolean modelling as a logic-based dynamic approach in systems medicine","volume":"20","author":"Hemedan","year":"2022","journal-title":"Comput Struct Biotechnol J"},{"key":"2026091517572328500_ref21","doi-asserted-by":"publisher","DOI":"10.3389\/fbinf.2023.1189723","article-title":"Applications of Boolean modeling to study the dynamics of a complex disease and therapeutics responses","volume":"3","author":"Hemedan","year":"2023","journal-title":"Front Bioinforma"},{"key":"2026091517572328500_ref22","doi-asserted-by":"publisher","first-page":"105545","DOI":"10.1016\/j.biosystems.2025.105545","article-title":"Computational analysis of IL-6\/IL-22 signaling in liver disease","volume":"256","author":"Ke\u00dfler","year":"2025","journal-title":"Biosystems"},{"key":"2026091517572328500_ref23","doi-asserted-by":"publisher","first-page":"S8","DOI":"10.1186\/1471-2105-14-S13-S8","article-title":"Integrative network-based Bayesian analysis of diverse genomics data","volume":"14","author":"Wang","year":"2013","journal-title":"BMC Bioinformatics"},{"key":"2026091517572328500_ref24","first-page":"2025.09.29.679145","article-title":"Sex-specific microRNA regulators of Parkinson\u2019s disease: insights from cohort-stratified simulations of compensatory pathway dynamics","author":"Hemedan","year":"2025"},{"key":"2026091517572328500_ref25","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1002\/mds.30039","article-title":"Insulin resistance is a modifying factor for Parkinson\u2019s disease","volume":"40","author":"Zagare","year":"2025","journal-title":"Mov Disord"},{"key":"2026091517572328500_ref26","doi-asserted-by":"publisher","first-page":"4473","DOI":"10.1093\/bioinformatics\/btaa484","article-title":"Automated inference of Boolean models from molecular interaction maps using CaSQ","volume":"36","author":"Aghamiri","year":"2020","journal-title":"Bioinformatics"},{"key":"2026091517572328500_ref27","doi-asserted-by":"publisher","first-page":"bbaa236","DOI":"10.1093\/bib\/bbaa236","article-title":"A practical guide to mechanistic systems modeling in biology using a logic-based approach","volume":"22","author":"Niarakis","year":"2020","journal-title":"Brief Bioinform"},{"key":"2026091517572328500_ref28","doi-asserted-by":"crossref","first-page":"bay036","DOI":"10.1093\/database\/bay036","article-title":"Signalling maps in cancer research: construction and data analysis","volume":"2018","author":"Kondratova","year":"2018","journal-title":"Database"},{"key":"2026091517572328500_ref29","doi-asserted-by":"publisher","first-page":"e1011254","DOI":"10.1371\/journal.pcbi.1011254","article-title":"From time-series transcriptomics to gene regulatory networks: a review on inference methods","volume":"19","author":"Marku","year":"2023","journal-title":"PLoS Comput Biol"},{"key":"2026091517572328500_ref30","doi-asserted-by":"publisher","first-page":"vbae099","DOI":"10.1093\/bioadv\/vbae099","article-title":"Current and future directions in network biology","volume":"4","author":"Zitnik","year":"2024","journal-title":"Bioinforma Adv"},{"key":"2026091517572328500_ref31","doi-asserted-by":"publisher","first-page":"e66031","DOI":"10.1371\/journal.pone.0066031","article-title":"An evaluation of methods for inferring Boolean networks from time-series data","volume":"8","author":"Berestovsky","year":"2013","journal-title":"PLoS One"},{"key":"2026091517572328500_ref32","doi-asserted-by":"publisher","first-page":"e10222","DOI":"10.1016\/j.heliyon.2022.e10222","article-title":"Review and assessment of Boolean approaches for inference of gene regulatory networks","volume":"8","author":"Pu\u0161nik","year":"2022","journal-title":"Heliyon"},{"key":"2026091517572328500_ref33","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1038\/nrg3885","article-title":"Quantitative and logic modelling of molecular and gene networks","volume":"16","author":"Le Nov\u00e8re","year":"2015","journal-title":"Nat Rev Genet"},{"key":"2026091517572328500_ref34","doi-asserted-by":"publisher","DOI":"10.1093\/database\/baac009","article-title":"Evaluating the predictive accuracy of curated biological pathways in a public knowledgebase","volume":"2022","author":"Wright","year":"2022","journal-title":"Database"},{"key":"2026091517572328500_ref35","doi-asserted-by":"publisher","first-page":"14","DOI":"10.15265\/IY-2014-0020","article-title":"Big data in medicine is driving big changes","volume":"9","author":"Martin-Sanchez","year":"2014","journal-title":"Yearb Med Inform"},{"key":"2026091517572328500_ref36","doi-asserted-by":"publisher","DOI":"10.3389\/fcell.2020.00673","article-title":"Named entity recognition and relation detection for biomedical information extraction","volume":"8","author":"Perera","year":"2020","journal-title":"Front Cell Dev Biol"},{"key":"2026091517572328500_ref37","doi-asserted-by":"publisher","DOI":"10.1093\/database\/bay098","article-title":"Large-scale automated machine reading discovers new cancer-driving mechanisms","volume":"2018","author":"Valenzuela-Esc\u00e1rcega","year":"2018","journal-title":"Database J Biol Databases Curation"},{"key":"2026091517572328500_ref38","doi-asserted-by":"publisher","DOI":"10.15252\/msb.20177651","article-title":"From word models to executable models of signaling networks using automated assembly","volume":"13","author":"Gyori","year":"2017","journal-title":"Mol Syst Biol"},{"key":"2026091517572328500_ref39","doi-asserted-by":"publisher","first-page":"1699","DOI":"10.1093\/bioinformatics\/btg207","article-title":"MedScan, a natural language processing engine for MEDLINE abstracts","volume":"19","author":"Novichkova","year":"2003","journal-title":"Bioinforma Oxf Engl"},{"key":"2026091517572328500_ref40","first-page":"1","volume-title":"Proceedings of BioNLP 15","author":"Allen","year":"2015"},{"key":"2026091517572328500_ref41","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1109\/TCBB.2014.2372765","article-title":"RLIMS-P 2.0: a generalizable rule-based information extraction system for literature Mining of Protein Phosphorylation Information","volume":"12","author":"Torii","year":"2015","journal-title":"IEEEACM Trans Comput Biol Bioinforma IEEE ACM"},{"key":"2026091517572328500_ref42","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v30i1.10337","article-title":"Extracting biomolecular interactions using semantic parsing of biomedical text","volume":"30","author":"Garg","year":"2016","journal-title":"Proc AAAI Conf Artif Intell"},{"key":"2026091517572328500_ref43","author":"","year":"2016"},{"key":"2026091517572328500_ref44","doi-asserted-by":"publisher","first-page":"1708","DOI":"10.21105\/joss.01708","article-title":"Adeft: Acromine-based disambiguation of entities from text with applications to the biomedical literature","volume":"5","author":"Steppi","year":"2020","journal-title":"J Open Source Softw"},{"key":"2026091517572328500_ref45","doi-asserted-by":"publisher","first-page":"vbac034","DOI":"10.1093\/bioadv\/vbac034","article-title":"Gilda: biomedical entity text normalization with machine-learned disambiguation as a service","volume":"2","author":"Gyori","year":"2022","journal-title":"Bioinforma Adv"},{"key":"2026091517572328500_ref46","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btz682","article-title":"BioBERT: a pre-trained biomedical language representation model for biomedical text mining","author":"Lee","year":"2019"},{"key":"2026091517572328500_ref47","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3458754","article-title":"Domain-specific language model pretraining for biomedical natural language processing","volume":"3","author":"Gu","year":"2022","journal-title":"ACM Trans Comput Healthc"},{"key":"2026091517572328500_ref48","volume-title":"BERT: Pre-Training of Deep Bidirectional Transformers for Language Understanding","author":"Devlin"},{"key":"2026091517572328500_ref49","doi-asserted-by":"publisher","first-page":"btae163","DOI":"10.1093\/bioinformatics\/btae163","article-title":"Advancing entity recognition in biomedicine via instruction tuning of large language models","volume":"40","author":"Keloth","year":"2024","journal-title":"Bioinformatics"},{"key":"2026091517572328500_ref50","article-title":"LLaMA: open and efficient foundation language models","author":"Touvron","year":"2023"},{"key":"2026091517572328500_ref51","article-title":"Llama 2: open foundation and fine-tuned chat models","author":"Touvron","year":"2023"},{"key":"2026091517572328500_ref52","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jbi.2013.12.006","article-title":"NCBI disease corpus: a resource for disease name recognition and concept normalization","volume":"47","author":"Do\u011fan","year":"2014","journal-title":"J Biomed Inform"},{"key":"2026091517572328500_ref53","doi-asserted-by":"publisher","first-page":"baw068","DOI":"10.1093\/database\/baw068","article-title":"BioCreative V CDR task corpus: a resource for chemical disease relation extraction","volume":"2016","author":"Li","year":"2016","journal-title":"Database J Biol Databases Curation"},{"key":"2026091517572328500_ref54","doi-asserted-by":"publisher","first-page":"S2","DOI":"10.1186\/gb-2008-9-s2-s2","article-title":"Overview of BioCreative II gene mention recognition","volume":"9","author":"Smith","year":"2008","journal-title":"Genome Biol"},{"key":"2026091517572328500_ref55","doi-asserted-by":"publisher","DOI":"10.1109\/ICHI64645.2025.00048","article-title":"Do LLMs surpass encoders for biomedical NER?","author":"Obeidat","year":"2025"},{"key":"2026091517572328500_ref56","doi-asserted-by":"publisher","first-page":"e11325","DOI":"10.15252\/msb.202211325","article-title":"Automated assembly of molecular mechanisms at scale from text mining and curated databases","volume":"19","author":"Bachman","year":"2023","journal-title":"Mol Syst Biol"},{"key":"2026091517572328500_ref57","doi-asserted-by":"publisher","first-page":"109623","DOI":"10.1016\/j.compbiomed.2024.109623","article-title":"BioBERT based text mining for incorporating prior knowledge in the inference of genetic network models","volume":"186","author":"Gill","year":"2025","journal-title":"Comput Biol Med"},{"key":"2026091517572328500_ref58","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1186\/1471-2105-9-559","article-title":"WGCNA: an R package for weighted correlation network analysis","volume":"9","author":"Langfelder","year":"2008","journal-title":"BMC Bioinformatics"},{"key":"2026091517572328500_ref59","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1038\/s43588-023-00429-y","article-title":"Large-scale correlation network construction for unraveling the coordination of complex biological systems","volume":"3","author":"Becker","year":"2023","journal-title":"Nat Comput Sci"},{"key":"2026091517572328500_ref60","doi-asserted-by":"publisher","DOI":"10.1126\/stke.2812005pl4","article-title":"Bayesian network analysis of Signaling networks: a primer","volume":"2005","author":"Pe\u2019er","year":"2005","journal-title":"Sci STKE"},{"key":"2026091517572328500_ref61","doi-asserted-by":"publisher","first-page":"e12776","DOI":"10.1371\/journal.pone.0012776","article-title":"Inferring regulatory networks from expression data using tree-based methods","volume":"5","author":"Huynh-Thu","year":"2010","journal-title":"PLoS One"},{"key":"2026091517572328500_ref62","doi-asserted-by":"publisher","first-page":"S7","DOI":"10.1186\/1471-2105-7-S1-S7","article-title":"ARACNE: an algorithm for the reconstruction of gene regulatory networks in a mammalian cellular context","volume":"7","author":"Margolin","year":"2006","journal-title":"BMC Bioinformatics"},{"key":"2026091517572328500_ref63","doi-asserted-by":"publisher","first-page":"5130","DOI":"10.1073\/pnas.1522586113","article-title":"Part mutual information for quantifying direct associations in networks","volume":"113","author":"Zhao","year":"2016","journal-title":"Proc Natl Acad Sci"},{"key":"2026091517572328500_ref64","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1186\/s12859-024-05895-3","article-title":"Inference of single-cell network using mutual information for scRNA-seq data analysis","volume":"25","author":"Chang","year":"2024","journal-title":"BMC Bioinformatics"},{"key":"2026091517572328500_ref65","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1186\/s13015-017-0100-5","article-title":"The feasibility of genome-scale biological network inference using graphics processing units","volume":"12","author":"Thiagarajan","year":"2017","journal-title":"Algorithms Mol Biol AMB"},{"key":"2026091517572328500_ref66","doi-asserted-by":"publisher","first-page":"btae355","DOI":"10.1093\/bioinformatics\/btae355","article-title":"D\u2019or: deep orienter of protein\u2013protein interaction networks","volume":"40","author":"Pirak","year":"2024","journal-title":"Bioinformatics"},{"key":"2026091517572328500_ref67","doi-asserted-by":"publisher","first-page":"D638","DOI":"10.1093\/nar\/gkac1000","article-title":"The STRING database in 2023: protein-protein association networks and functional enrichment analyses for any sequenced genome of interest","volume":"51","author":"Szklarczyk","year":"2023","journal-title":"Nucleic Acids Res"},{"key":"2026091517572328500_ref68","doi-asserted-by":"publisher","first-page":"D672","DOI":"10.1093\/nar\/gkad1025","article-title":"The Reactome pathway knowledgebase 2024","volume":"52","author":"Milacic","year":"2024","journal-title":"Nucleic Acids Res"},{"key":"2026091517572328500_ref69","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1038\/s41540-018-0059-y","article-title":"Systems medicine disease maps: community-driven comprehensive representation of disease mechanisms","volume":"4","author":"Mazein","year":"2018","journal-title":"npj Syst Biol Appl"},{"key":"2026091517572328500_ref70","doi-asserted-by":"publisher","first-page":"D845","DOI":"10.1093\/nar\/gkz1021","article-title":"The DisGeNET knowledge platform for disease genomics: 2019 update","volume":"48","author":"Pi\u00f1ero","year":"2020","journal-title":"Nucleic Acids Res"},{"key":"2026091517572328500_ref71","doi-asserted-by":"publisher","first-page":"D489","DOI":"10.1093\/nar\/gkz946","article-title":"Pathway commons 2019 update: integration, analysis and exploration of pathway data","volume":"48","author":"Rodchenkov","year":"2020","journal-title":"Nucleic Acids Res"},{"key":"2026091517572328500_ref72","doi-asserted-by":"publisher","DOI":"10.3389\/fbioe.2015.00019","article-title":"Promoting coordinated development of community-based information standards for Modeling in biology: the COMBINE initiative. Front Bioeng","volume":"3","author":"Hucka","year":"2015","journal-title":"Biotechnol"},{"key":"2026091517572328500_ref73","doi-asserted-by":"publisher","first-page":"942","DOI":"10.3390\/genes14040942","article-title":"PMIDigest: interactive review of large collections of PubMed entries to Distill relevant information","volume":"14","author":"Novoa","year":"2023","journal-title":"Genes"},{"key":"2026091517572328500_ref74","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1016\/j.csbj.2020.03.001","article-title":"Concepts in Boolean network modeling: what do they all mean?","volume":"18","author":"Schwab","year":"2020","journal-title":"Comput Struct Biotechnol J"},{"key":"2026091517572328500_ref75","doi-asserted-by":"publisher","first-page":"1917","DOI":"10.1093\/bioinformatics\/btn336","article-title":"Synchronous versus asynchronous modeling of gene regulatory networks","volume":"24","author":"Garg","year":"2008","journal-title":"Bioinformatics"},{"key":"2026091517572328500_ref76","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.biosystems.2009.03.006","article-title":"On the robustness of update schedules in Boolean networks","volume":"97","author":"Aracena","year":"2009","journal-title":"Biosystems"},{"key":"2026091517572328500_ref77","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1016\/j.jtbi.2010.07.022","article-title":"Attractor analysis of asynchronous Boolean models of signal transduction networks","volume":"266","author":"Saadatpour","year":"2010","journal-title":"J Theor Biol"},{"key":"2026091517572328500_ref78","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/S1478-5382(03)02370-9","article-title":"CellDesigner: a process diagram editor for gene-regulatory and biochemical networks","volume":"1","author":"Funahashi","year":"2003","journal-title":"BIOSILICO"},{"key":"2026091517572328500_ref79","doi-asserted-by":"publisher","first-page":"1254","DOI":"10.1109\/JPROC.2008.925458","article-title":"CellDesigner 3.5: a versatile modeling tool for biochemical networks","volume":"96","author":"Funahashi","year":"2008","journal-title":"Proc IEEE"},{"key":"2026091517572328500_ref80","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.tcs.2014.06.022","article-title":"Learning Boolean logic models of signaling networks with ASP","volume":"599","author":"Videla","year":"2015","journal-title":"Theor Comput Sci"},{"key":"2026091517572328500_ref81","doi-asserted-by":"publisher","first-page":"4893","DOI":"10.1093\/bioinformatics\/btac623","article-title":"CANTATA\u2014 prediction of missing links in Boolean networks using genetic programming","volume":"38","author":"M\u00fcssel","year":"2022","journal-title":"Bioinformatics"},{"key":"2026091517572328500_ref82","doi-asserted-by":"publisher","first-page":"121129","DOI":"10.1016\/j.ins.2024.121129","article-title":"MIFuGP: Boolean network inference from multivariate time series using fuzzy genetic programming","volume":"680","author":"Liu","year":"2024","journal-title":"Inf Sci"},{"key":"2026091517572328500_ref83","doi-asserted-by":"publisher","first-page":"e0171097","DOI":"10.1371\/journal.pone.0171097","article-title":"A novel mutual information-based Boolean network inference method from time-series gene expression data","volume":"12","author":"Barman","year":"2017","journal-title":"PLoS One"},{"key":"2026091517572328500_ref84","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1093\/bioinformatics\/btz563","article-title":"ATEN: and\/or tree ensemble for inferring accurate Boolean network topology and dynamics","volume":"36","author":"Shi","year":"2020","journal-title":"Bioinformatics"},{"key":"2026091517572328500_ref85","doi-asserted-by":"publisher","first-page":"bbae286","DOI":"10.1093\/bib\/bbae286","article-title":"LogicGep: Boolean networks inference using symbolic regression from time-series transcriptomic profiling data","volume":"25","author":"Zhang","year":"2024","journal-title":"Brief Bioinform"},{"key":"2026091517572328500_ref86","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1038\/msb.2009.87","article-title":"Discrete logic modelling as a means to link protein signalling networks with functional analysis of mammalian signal transduction","volume":"5","author":"Saez-Rodriguez","year":"2009","journal-title":"Mol Syst Biol"},{"key":"2026091517572328500_ref87","doi-asserted-by":"publisher","first-page":"4523","DOI":"10.1093\/bioinformatics\/btaa561","article-title":"Converting networks to predictive logic models from perturbation signalling data with CellNOpt","volume":"36","author":"Gjerga","year":"2020","journal-title":"Bioinforma Oxf Engl"},{"key":"2026091517572328500_ref88","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.1909.04309","article-title":"Synthesis of Boolean networks from biological dynamical constraints using answer-set programming","author":"Chevalier","year":"2020"},{"key":"2026091517572328500_ref89","doi-asserted-by":"publisher","author":"Chevalier","year":"2024","DOI":"10.1007\/978-3-031-71671-3_6"},{"key":"2026091517572328500_ref90","doi-asserted-by":"publisher","first-page":"2320","DOI":"10.1093\/bioinformatics\/btt393","article-title":"Exhaustively characterizing feasible logic models of a signaling network using answer set programming","volume":"29","author":"Guziolowski","year":"2013","journal-title":"Bioinforma Oxf Engl"},{"key":"2026091517572328500_ref91","doi-asserted-by":"publisher","first-page":"947","DOI":"10.1093\/bioinformatics\/btw738","article-title":"Caspo: a toolbox for automated reasoning on the response of logical signaling networks families","volume":"33","author":"Videla","year":"2017","journal-title":"Bioinformatics"},{"key":"2026091517572328500_ref92","doi-asserted-by":"publisher","first-page":"btad158","DOI":"10.1093\/bioinformatics\/btad158","article-title":"Boolean network sketches: a unifying framework for logical model inference","volume":"39","author":"Bene\u0161","year":"2023","journal-title":"Bioinformatics"},{"key":"2026091517572328500_ref93","volume-title":"Sybila\/Biodivine-Sketchbook","author":"Huvar"},{"key":"2026091517572328500_ref94","doi-asserted-by":"publisher","first-page":"16010","DOI":"10.1038\/npjsba.2016.10","article-title":"A method to identify and analyze biological programs through automated reasoning","volume":"2","author":"Yordanov","year":"2016","journal-title":"npj Syst Biol Appl"},{"key":"2026091517572328500_ref95","doi-asserted-by":"publisher","DOI":"10.3389\/fgene.2018.00039","article-title":"Griffin: a tool for symbolic inference of synchronous Boolean molecular networks","volume":"9","author":"Mu\u00f1oz","year":"2018","journal-title":"Front Genet"},{"key":"2026091517572328500_ref96","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1109\/TCBB.2011.62","article-title":"Multiscale binarization of gene expression data for reconstructing Boolean networks","volume":"9","author":"Hopfensitz","year":"2012","journal-title":"IEEE\/ACM Trans Comput Biol Bioinform"},{"key":"2026091517572328500_ref97","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1007\/978-3-030-53288-8_28","volume-title":"Computer Aided Verification","author":"Bene\u0161","year":"2020"},{"key":"2026091517572328500_ref98","doi-asserted-by":"publisher","first-page":"1378","DOI":"10.1093\/bioinformatics\/btq124","article-title":"BoolNet\u2014an R package for generation, reconstruction and analysis of Boolean networks","volume":"26","author":"M\u00fcssel","year":"2010","journal-title":"Bioinformatics"},{"key":"2026091517572328500_ref99","doi-asserted-by":"publisher","first-page":"840","DOI":"10.1093\/bioinformatics\/btn018","article-title":"Flexible informatics for linking experimental data to mathematical models via DataRail","volume":"24","author":"Saez-Rodriguez","year":"2008","journal-title":"Bioinformatics"},{"key":"2026091517572328500_ref100","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1016\/j.jbiotec.2007.02.009","article-title":"Systems biology--an engineering perspective","volume":"129","author":"Kremling","year":"2007","journal-title":"J Biotechnol"},{"key":"2026091517572328500_ref101","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1186\/1752-0509-7-135","article-title":"SBML qualitative models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools","volume":"7","author":"Chaouiya","year":"2013","journal-title":"BMC Syst Biol"},{"key":"2026091517572328500_ref102","doi-asserted-by":"publisher","first-page":"e9110","DOI":"10.15252\/msb.20199110","article-title":"SBML level 3: an extensible format for the exchange and reuse of biological models","volume":"16","author":"Keating","year":"2020","journal-title":"Mol Syst Biol"},{"key":"2026091517572328500_ref103","doi-asserted-by":"publisher","first-page":"1154","DOI":"10.1093\/bioinformatics\/btv013","article-title":"Cooperative development of logical modelling standards and tools with CoLoMoTo","volume":"31","author":"Naldi","year":"2015","journal-title":"Bioinformatics"},{"key":"2026091517572328500_ref104","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1089\/106652700750050817","article-title":"Algorithms for identifying Boolean networks and related biological networks based on matrix multiplication and fingerprint function","volume":"7","author":"Akutsu","year":"2000","journal-title":"J Comput Biol"},{"key":"2026091517572328500_ref105","first-page":"885","volume-title":"Heuristic Optimization","author":"Wang","year":"2013"},{"key":"2026091517572328500_ref106","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1186\/1471-2105-7-56","article-title":"A methodology for the structural and functional analysis of signaling and regulatory networks","volume":"7","author":"Klamt","year":"2006","journal-title":"BMC Bioinformatics"},{"key":"2026091517572328500_ref107","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.1808.10240","article-title":"Most permissive semantics of Boolean networks","author":"Chatain","year":"2020"},{"key":"2026091517572328500_ref108","doi-asserted-by":"publisher","first-page":"4256","DOI":"10.1038\/s41467-020-18112-5","article-title":"Reconciling qualitative, abstract, and scalable modeling of biological networks","volume":"11","author":"Paulev\u00e9","year":"2020","journal-title":"Nat Commun"},{"key":"2026091517572328500_ref109","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068418000054","article-title":"Multi-shot ASP solving with clingo","author":"Gebser","year":"2019"},{"key":"2026091517572328500_ref110","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.artint.2012.04.001","article-title":"Conflict-driven answer set solving: from theory to practice","volume":"187-188","author":"Gebser","year":"2012","journal-title":"Artif Intell"},{"key":"2026091517572328500_ref111","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Moura","year":"2008"},{"key":"2026091517572328500_ref112","doi-asserted-by":"publisher","first-page":"1393","DOI":"10.1109\/TCBB.2010.20","article-title":"A SAT-based algorithm for finding attractors in synchronous Boolean networks","volume":"8","author":"Dubrova","year":"2011","journal-title":"IEEE\/ACM Trans Comput Biol Bioinform"},{"key":"2026091517572328500_ref113","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1023\/A:1023905711304","article-title":"On learning gene regulatory networks under the Boolean network model","volume":"52","author":"L\u00e4hdesm\u00e4ki","year":"2003","journal-title":"Mach Learn"},{"key":"2026091517572328500_ref114","doi-asserted-by":"publisher","first-page":"i927","DOI":"10.1093\/bioinformatics\/bty584","article-title":"A Boolean network inference from time-series gene expression data using a genetic algorithm","volume":"34","author":"Barman","year":"2018","journal-title":"Bioinforma Oxf Engl"},{"key":"2026091517572328500_ref115","article-title":"Reveal, a general reverse engineering algorithm for inference of genetic network architectures","author":"Liang","year":"1998","journal-title":"Pac Symp Biocomput"},{"key":"2026091517572328500_ref116","doi-asserted-by":"publisher","first-page":"D98","DOI":"10.1093\/nar\/gkq1110","article-title":"RegulonDB version 7.0: transcriptional regulation of Escherichia coli K-12 integrated within genetic sensory response units (Gensor units)","volume":"39","author":"Gama-Castro","year":"2011","journal-title":"Nucleic Acids Res"},{"key":"2026091517572328500_ref117","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1186\/1471-2105-15-136","article-title":"MEIGO: an open-source software suite based on metaheuristics for global optimization in systems biology and bioinformatics","volume":"15","author":"Egea","year":"2014","journal-title":"BMC Bioinformatics"},{"key":"2026091517572328500_ref118","author":"Bioasp\/Caspo"},{"key":"2026091517572328500_ref119","doi-asserted-by":"publisher","first-page":"e9202","DOI":"10.1371\/annotation\/f633213a-dc4f-4bee-b6c5-72d50e7073b8","article-title":"Towards a rigorous assessment of systems biology models: the DREAM3 challenges","volume":"5","author":"Prill","year":"2010","journal-title":"PLoS One"},{"key":"2026091517572328500_ref120","doi-asserted-by":"publisher","first-page":"2025.09.12.675817","DOI":"10.1101\/2025.09.12.675817","article-title":"Benchmarking of optimization algorithms for Boolean model inference in biomedicine","author":"Jiang","year":"2025"},{"key":"2026091517572328500_ref121","doi-asserted-by":"publisher","first-page":"5400","DOI":"10.1158\/0008-5472.CAN-10-4453","article-title":"Comparing SIGNALING networks between normal and transformed hepatocytes using discrete logical models","volume":"71","author":"Saez-Rodriguez","year":"2011","journal-title":"Cancer Res"},{"key":"2026091517572328500_ref122","doi-asserted-by":"publisher","first-page":"e1005488","DOI":"10.1371\/journal.pcbi.1005488","article-title":"A dynamic genetic-hormonal regulatory network model explains multiple cellular behaviours of the root apical meristem of Arabidopsis thaliana","volume":"13","author":"Garc\u00eda-G\u00f3mez","year":"2017","journal-title":"PLoS Comput Biol"},{"key":"2026091517572328500_ref123","doi-asserted-by":"publisher","first-page":"1330827","DOI":"10.3389\/fevo.2024.1330827","article-title":"A gene regulatory network model that recovers the abaxial-adaxial polarity in Arabidopsis thaliana leaf primordium","author":"Yuste","year":"2024","journal-title":"Front Ecol Evol"},{"key":"2026091517572328500_ref124","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1038\/s41540-025-00569-z","article-title":"Data-driven inference of Boolean networks from transcriptomes to predict cellular differentiation and reprogramming","volume":"11","author":"Chevalier","year":"2025","journal-title":"npj Syst Biol Appl"},{"key":"2026091517572328500_ref125","doi-asserted-by":"publisher","first-page":"e100003","DOI":"10.15252\/embj.2018100003","article-title":"A common molecular logic determines embryonic stem cell self-renewal and reprogramming","volume":"38","author":"Dunn","year":"2019","journal-title":"EMBO J"},{"key":"2026091517572328500_ref130","doi-asserted-by":"publisher","first-page":"eadj0822","DOI":"10.1126\/sciadv.adj0822","article-title":"A meta-analysis of Boolean network models reveals design principles of gene regulatory networks","volume":"10","author":"Kadelka","year":"2024","journal-title":"Sci Adv"},{"key":"2026091517572328500_ref126","doi-asserted-by":"publisher","first-page":"055101","DOI":"10.1103\/PhysRevE.72.055101","article-title":"Stable and unstable attractors in Boolean networks","volume":"72","author":"Klemm","year":"2005","journal-title":"Phys Rev E Stat Nonlinear Soft Matter Phys"},{"key":"2026091517572328500_ref127","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1186\/1752-0509-3-98","article-title":"Transforming Boolean models to continuous models: methodology and application to T-cell receptor signaling","volume":"3","author":"Wittmann","year":"2009","journal-title":"BMC Syst Biol"},{"key":"2026091517572328500_ref128","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1002\/wsbm.1273","article-title":"Boolean modeling: a logic-based dynamic approach for understanding signaling and regulatory networks and for making useful predictions","volume":"6","author":"Albert","year":"2014","journal-title":"WIREs Syst Biol Med"},{"key":"2026091517572328500_ref129","doi-asserted-by":"publisher","first-page":"1328","DOI":"10.3389\/fphys.2018.01328","article-title":"A novel data-driven Boolean model for genetic regulatory networks","volume":"9","author":"Chen","year":"2018","journal-title":"Front Physiol"},{"key":"2026091517572328500_ref131","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/s40656-017-0183-9","article-title":"Modeling complexity: cognitive constraints and computational model-building in integrative systems biology","volume":"40","author":"MacLeod","year":"2018","journal-title":"Hist Philos Life Sci"},{"key":"2026091517572328500_ref132","doi-asserted-by":"publisher","first-page":"2499","DOI":"10.1109\/TCBB.2021.3063817","article-title":"TaBooN Boolean network synthesis based on tabu search","volume":"19","author":"Aghamiri","year":"2022","journal-title":"IEEE\/ACM Trans Comput Biol Bioin-form"},{"key":"2026091517572328500_ref133","doi-asserted-by":"publisher","first-page":"e1003252","DOI":"10.1371\/journal.pcbi.1003252","article-title":"Integrated module and gene-specific regulatory inference implicates upstream Signaling networks","volume":"9","author":"Roy","year":"2013","journal-title":"PLoS Comput Biol"},{"key":"2026091517572328500_ref134","doi-asserted-by":"publisher","first-page":"e115806","DOI":"10.1371\/journal.pone.0115806","article-title":"A full Bayesian approach for Boolean genetic network inference","volume":"9","author":"Han","year":"2014","journal-title":"PLoS One"},{"key":"2026091517572328500_ref135","doi-asserted-by":"publisher","first-page":"3257","DOI":"10.1073\/pnas.96.6.3257","article-title":"Measures of degeneracy and redundancy in biological networks","volume":"96","author":"Tononi","year":"1999","journal-title":"Proc Natl Acad Sci"}],"container-title":["Briefings in Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/bib\/article-pdf\/27\/5\/bbag499\/71090527\/bbag499.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/bib\/article-pdf\/27\/5\/bbag499\/71090527\/bbag499.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,9,15]],"date-time":"2026-09-15T21:57:31Z","timestamp":1789509451000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/bib\/article\/doi\/10.1093\/bib\/bbag499\/8796218"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,9,1]]},"references-count":135,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2026,9,1]]}},"URL":"https:\/\/doi.org\/10.1093\/bib\/bbag499","relation":{},"ISSN":["1467-5463","1477-4054"],"issn-type":[{"value":"1467-5463","type":"print"},{"value":"1477-4054","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2026,9]]},"published":{"date-parts":[[2026,9,1]]},"article-number":"bbag499"}}