{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T08:41:31Z","timestamp":1769848891146,"version":"3.49.0"},"reference-count":25,"publisher":"Oxford University Press (OUP)","issue":"18","license":[{"start":{"date-parts":[[2016,10,2]],"date-time":"2016-10-02T00:00:00Z","timestamp":1475366400000},"content-version":"vor","delay-in-days":1178,"URL":"http:\/\/creativecommons.org\/licenses\/by\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9,15]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Motivation: Logic modeling is a useful tool to study signal transduction across multiple pathways. Logic models can be generated by training a network containing the prior knowledge to phospho-proteomics data. The training can be performed using stochastic optimization procedures, but these are unable to guarantee a global optima or to report the complete family of feasible models. This, however, is essential to provide precise insight in the mechanisms underlaying signal transduction and generate reliable predictions.<\/jats:p>\n               <jats:p>Results: We propose the use of Answer Set Programming to explore exhaustively the space of feasible logic models. Toward this end, we have developed caspo, an open-source Python package that provides a powerful platform to learn and characterize logic models by leveraging the rich modeling language and solving technologies of Answer Set Programming. We illustrate the usefulness of caspo by revisiting a model of pro-growth and inflammatory pathways in liver cells. We show that, if experimental error is taken into account, there are thousands (11 700) of models compatible with the data. Despite the large number, we can extract structural features from the models, such as links that are always (or never) present or modules that appear in a mutual exclusive fashion. To further characterize this family of models, we investigate the input\u2013output behavior of the models. We find 91 behaviors across the 11 700 models and we suggest new experiments to discriminate among them. Our results underscore the importance of characterizing in a global and exhaustive manner the family of feasible models, with important implications for experimental design.<\/jats:p>\n               <jats:p>Availability: \u00a0caspo is freely available for download (license GPLv3) and as a web service at http:\/\/caspo.genouest.org\/.<\/jats:p>\n               <jats:p>Supplementary information: \u00a0Supplementary materials are available at Bioinformatics online.<\/jats:p>\n               <jats:p>Contact: \u00a0anne.siegel@irisa.fr or saezrodriguez@ebi.ac.uk<\/jats:p>","DOI":"10.1093\/bioinformatics\/btt393","type":"journal-article","created":{"date-parts":[[2013,7,13]],"date-time":"2013-07-13T04:58:08Z","timestamp":1373691488000},"page":"2320-2326","source":"Crossref","is-referenced-by-count":53,"title":["Exhaustively characterizing feasible logic models of a signaling network using Answer Set Programming"],"prefix":"10.1093","volume":"29","author":[{"given":"Carito","family":"Guziolowski","sequence":"first","affiliation":[{"name":"1 \u00c9cole Centrale de Nantes, IRCCyN UMR CNRS 6597, 44321, Nantes, France, 2CNRS, UMR 6074 IRISA, Campus de Beaulieu, 35042 Rennes, France, 3INRIA, Dyliss project, Campus de Beaulieu, 35042 Rennes, France, 4Universit\u00e4t Potsdam, Institut f\u00fcr Informatik, D-14482 Potsdam, Germany and 5European Molecular Biology Laboratory, EuropeanBioinformatics Institute, Hinxton CB10 1SD, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Santiago","family":"Videla","sequence":"additional","affiliation":[{"name":"1 \u00c9cole Centrale de Nantes, IRCCyN UMR CNRS 6597, 44321, Nantes, France, 2CNRS, UMR 6074 IRISA, Campus de Beaulieu, 35042 Rennes, France, 3INRIA, Dyliss project, Campus de Beaulieu, 35042 Rennes, France, 4Universit\u00e4t Potsdam, Institut f\u00fcr Informatik, D-14482 Potsdam, Germany and 5European Molecular Biology Laboratory, EuropeanBioinformatics Institute, Hinxton CB10 1SD, UK"},{"name":"1 \u00c9cole Centrale de Nantes, IRCCyN UMR CNRS 6597, 44321, Nantes, France, 2CNRS, UMR 6074 IRISA, Campus de Beaulieu, 35042 Rennes, France, 3INRIA, Dyliss project, Campus de Beaulieu, 35042 Rennes, France, 4Universit\u00e4t Potsdam, Institut f\u00fcr Informatik, D-14482 Potsdam, Germany and 5European Molecular Biology Laboratory, EuropeanBioinformatics Institute, Hinxton CB10 1SD, UK"},{"name":"1 \u00c9cole Centrale de Nantes, IRCCyN UMR CNRS 6597, 44321, Nantes, France, 2CNRS, UMR 6074 IRISA, Campus de Beaulieu, 35042 Rennes, France, 3INRIA, Dyliss project, Campus de Beaulieu, 35042 Rennes, France, 4Universit\u00e4t Potsdam, Institut f\u00fcr Informatik, D-14482 Potsdam, Germany and 5European Molecular Biology Laboratory, EuropeanBioinformatics Institute, Hinxton CB10 1SD, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Federica","family":"Eduati","sequence":"additional","affiliation":[{"name":"1 \u00c9cole Centrale de Nantes, IRCCyN UMR CNRS 6597, 44321, Nantes, France, 2CNRS, UMR 6074 IRISA, Campus de Beaulieu, 35042 Rennes, France, 3INRIA, Dyliss project, Campus de Beaulieu, 35042 Rennes, France, 4Universit\u00e4t Potsdam, Institut f\u00fcr Informatik, D-14482 Potsdam, Germany and 5European Molecular Biology Laboratory, EuropeanBioinformatics Institute, Hinxton CB10 1SD, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sven","family":"Thiele","sequence":"additional","affiliation":[{"name":"1 \u00c9cole Centrale de Nantes, IRCCyN UMR CNRS 6597, 44321, Nantes, France, 2CNRS, UMR 6074 IRISA, Campus de Beaulieu, 35042 Rennes, France, 3INRIA, Dyliss project, Campus de Beaulieu, 35042 Rennes, France, 4Universit\u00e4t Potsdam, Institut f\u00fcr Informatik, D-14482 Potsdam, Germany and 5European Molecular Biology Laboratory, EuropeanBioinformatics Institute, Hinxton CB10 1SD, UK"},{"name":"1 \u00c9cole Centrale de Nantes, IRCCyN UMR CNRS 6597, 44321, Nantes, France, 2CNRS, UMR 6074 IRISA, Campus de Beaulieu, 35042 Rennes, France, 3INRIA, Dyliss project, Campus de Beaulieu, 35042 Rennes, France, 4Universit\u00e4t Potsdam, Institut f\u00fcr Informatik, D-14482 Potsdam, Germany and 5European Molecular Biology Laboratory, EuropeanBioinformatics Institute, Hinxton CB10 1SD, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Cokelaer","sequence":"additional","affiliation":[{"name":"1 \u00c9cole Centrale de Nantes, IRCCyN UMR CNRS 6597, 44321, Nantes, France, 2CNRS, UMR 6074 IRISA, Campus de Beaulieu, 35042 Rennes, France, 3INRIA, Dyliss project, Campus de Beaulieu, 35042 Rennes, France, 4Universit\u00e4t Potsdam, Institut f\u00fcr Informatik, D-14482 Potsdam, Germany and 5European Molecular Biology Laboratory, EuropeanBioinformatics Institute, Hinxton CB10 1SD, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anne","family":"Siegel","sequence":"additional","affiliation":[{"name":"1 \u00c9cole Centrale de Nantes, IRCCyN UMR CNRS 6597, 44321, Nantes, France, 2CNRS, UMR 6074 IRISA, Campus de Beaulieu, 35042 Rennes, France, 3INRIA, Dyliss project, Campus de Beaulieu, 35042 Rennes, France, 4Universit\u00e4t Potsdam, Institut f\u00fcr Informatik, D-14482 Potsdam, Germany and 5European Molecular Biology Laboratory, EuropeanBioinformatics Institute, Hinxton CB10 1SD, UK"},{"name":"1 \u00c9cole Centrale de Nantes, IRCCyN UMR CNRS 6597, 44321, Nantes, France, 2CNRS, UMR 6074 IRISA, Campus de Beaulieu, 35042 Rennes, France, 3INRIA, Dyliss project, Campus de Beaulieu, 35042 Rennes, France, 4Universit\u00e4t Potsdam, Institut f\u00fcr Informatik, D-14482 Potsdam, Germany and 5European Molecular Biology Laboratory, EuropeanBioinformatics Institute, Hinxton CB10 1SD, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julio","family":"Saez-Rodriguez","sequence":"additional","affiliation":[{"name":"1 \u00c9cole Centrale de Nantes, IRCCyN UMR CNRS 6597, 44321, Nantes, France, 2CNRS, UMR 6074 IRISA, Campus de Beaulieu, 35042 Rennes, France, 3INRIA, Dyliss project, Campus de Beaulieu, 35042 Rennes, France, 4Universit\u00e4t Potsdam, Institut f\u00fcr Informatik, D-14482 Potsdam, Germany and 5European Molecular Biology Laboratory, EuropeanBioinformatics Institute, Hinxton CB10 1SD, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2013,7,12]]},"reference":[{"key":"2023070311321813900_btt393-B1","doi-asserted-by":"crossref","first-page":"1849","DOI":"10.1074\/mcp.M110.000406","article-title":"Networks inferred from biochemical data reveal profound differences in toll-like receptor and inflammatory signaling between normal and transformed hepatocytes","volume":"9","author":"Alexopoulos","year":"2010","journal-title":"Mol. Cell Proteomics"},{"key":"2023070311321813900_btt393-B2","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1186\/1752-0509-2-47","article-title":"Optimization in computational systems biology","volume":"2","author":"Banga","year":"2008","journal-title":"BMC Syst. Biol."},{"key":"2023070311321813900_btt393-B3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"Baral","year":"2003"},{"key":"2023070311321813900_btt393-B4","doi-asserted-by":"crossref","first-page":"e1000702","DOI":"10.1371\/journal.pcbi.1000702","article-title":"Mathematical modelling of cell-fate decision in response to death receptor engagement","volume":"6","author":"Calzone","year":"2010","journal-title":"PLoS Comput. Biol."},{"key":"2023070311321813900_btt393-B5","doi-asserted-by":"crossref","first-page":"749","DOI":"10.1017\/S1471068411000287","article-title":"Automatic network reconstruction using ASP","volume":"11","author":"Durzinsky","year":"2011","journal-title":"Theory Pract. Logic Program."},{"key":"2023070311321813900_btt393-B6","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1109\/BIBM.2009.9","article-title":"Modeling Protein Interaction Networks with Answer Set Programming","volume-title":"International Conference on Bioinformatics and Biomedicine, 2009","author":"Fayruzov","year":"2009"},{"key":"2023070311321813900_btt393-B7","first-page":"497","article-title":"Repair and prediction (under inconsistency) in large biological networks with answer set programming","volume-title":"12th International Conference on Principles of Knowledge Representation and Reasoning","author":"Gebser","year":"2010"},{"key":"2023070311321813900_btt393-B8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01561-8","volume-title":"Answer Set Solving in Practice","author":"Gebser","year":"2013"},{"key":"2023070311321813900_btt393-B9","doi-asserted-by":"crossref","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":"2023070311321813900_btt393-B10","doi-asserted-by":"crossref","first-page":"7433","DOI":"10.1021\/bi300846p","article-title":"Measurement and Modeling of Signaling at a Single-Cell Level","volume":"51","author":"Kolitz","year":"2012","journal-title":"Biochemistry"},{"key":"2023070311321813900_btt393-B11","doi-asserted-by":"crossref","first-page":"923","DOI":"10.1111\/j.1742-4658.2008.06843.x","article-title":"Systems biology: experimental design","volume":"276","author":"Kreutz","year":"2009","journal-title":"FEBS J."},{"key":"2023070311321813900_btt393-B12","article-title":"Answer set programming via mixed integer programming","volume-title":"13th Int. Conf. on Principles of Knowledge Representation and Reasoning","author":"Liu","year":"2012"},{"key":"2023070311321813900_btt393-B13","doi-asserted-by":"crossref","first-page":"e1000591","DOI":"10.1371\/journal.pcbi.1000591","article-title":"Identifying drug effects via pathway alterations using an integer linear programming optimization formulation on phosphoproteomic data","volume":"5","author":"Mitsos","year":"2009","journal-title":"PLoS Comp. Biol."},{"key":"2023070311321813900_btt393-B14","doi-asserted-by":"crossref","first-page":"e1001099","DOI":"10.1371\/journal.pcbi.1001099","article-title":"Training signaling pathway maps to biochemical data with constrained fuzzy logic: quantitative analysis of liver cell responses to inflammatory stimuli","volume":"7","author":"Morris","year":"2011","journal-title":"PLoS Comp. Biol."},{"key":"2023070311321813900_btt393-B15","doi-asserted-by":"crossref","first-page":"3005","DOI":"10.1093\/bioinformatics\/btp493","article-title":"Mobyle: a new full web bioinformatics framework","volume":"25","author":"N\u00e9ron","year":"2009","journal-title":"Bioinformatics"},{"key":"2023070311321813900_btt393-B16","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1017\/S1471068412000142","article-title":"ASP modulo CSP: The clingcon system","volume":"12","author":"Ostrowski","year":"2012","journal-title":"Theory Pract. Logic Program."},{"key":"2023070311321813900_btt393-B17","doi-asserted-by":"crossref","first-page":"e50881","DOI":"10.1371\/journal.pone.0050881","article-title":"Using Answer Set Programming to Integrate RNA Expression with Signalling Pathway Information to Infer How Mutations Affect Ageing","volume":"7","author":"Papatheodorou","year":"2012","journal-title":"PLoS One"},{"key":"2023070311321813900_btt393-B18","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-3-642-28067-2_10","article-title":"Analyzing pathways using ASP-based approaches","volume":"6479","author":"Ray","year":"2012","journal-title":"Algebr. Numeric Biol."},{"key":"2023070311321813900_btt393-B19","doi-asserted-by":"crossref","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":"2023070311321813900_btt393-B20","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-02846-5_27","article-title":"Metabolic network expansion with answer set programming","volume-title":"25th International Conference on Logic Programming","author":"Schaub","year":"2009"},{"key":"2023070311321813900_btt393-B21","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/978-3-642-29627-7_28","article-title":"Reconstructing Boolean models of signaling","volume-title":"Research in Computational Molecular Biology","author":"Sharan","year":"2012"},{"key":"2023070311321813900_btt393-B22","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1186\/1752-0509-6-133","article-title":"CellNOptR: a flexible toolkit to train protein signaling networks to data using multiple logic formalisms","volume":"6","author":"Terfve","year":"2012","journal-title":"BMC Syst. Biol."},{"key":"2023070311321813900_btt393-B23","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-33636-2_20","article-title":"Revisiting the Training of Logic Models of Protein Signaling Networks with ASP","volume-title":"10th International Conference on Computational Methods in Systems Biology","author":"Videla","year":"2012"},{"key":"2023070311321813900_btt393-B24","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0378-4754(95)00123-9","article-title":"On the identifiability and distinguishability of nonlinear parametric models","volume":"42","author":"Walter","year":"1996","journal-title":"Math. Comput. Simul."},{"key":"2023070311321813900_btt393-B25","doi-asserted-by":"crossref","first-page":"055001","DOI":"10.1088\/1478-3975\/9\/5\/055001","article-title":"Boolean modeling in systems biology: an overview of methodology and applications","volume":"9","author":"Wang","year":"2012","journal-title":"Phys. Biol."}],"container-title":["Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/29\/18\/2320\/50782227\/bioinformatics_29_18_2320.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/29\/18\/2320\/50782227\/bioinformatics_29_18_2320.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,3]],"date-time":"2023-07-03T11:34:18Z","timestamp":1688384058000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article\/29\/18\/2320\/240224"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,12]]},"references-count":25,"journal-issue":{"issue":"18","published-print":{"date-parts":[[2013,9,15]]}},"URL":"https:\/\/doi.org\/10.1093\/bioinformatics\/btt393","relation":{},"ISSN":["1367-4811","1367-4803"],"issn-type":[{"value":"1367-4811","type":"electronic"},{"value":"1367-4803","type":"print"}],"subject":[],"published-other":{"date-parts":[[2013,9,15]]},"published":{"date-parts":[[2013,7,12]]}}}