{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T00:11:02Z","timestamp":1773274262319,"version":"3.50.1"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2019,3,25]],"date-time":"2019-03-25T00:00:00Z","timestamp":1553472000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","award":["UID\/CEC\/50021\/2013"],"award-info":[{"award-number":["UID\/CEC\/50021\/2013"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","award":["PTDC\/EEI-CTP\/2914\/2014"],"award-info":[{"award-number":["PTDC\/EEI-CTP\/2914\/2014"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","award":["TDC\/BBB-BIO\/4004\/2014"],"award-info":[{"award-number":["TDC\/BBB-BIO\/4004\/2014"]}]},{"DOI":"10.13039\/501100005765","name":"Universidade de Lisboa","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100005765","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Algorithms Mol Biol"],"published-print":{"date-parts":[[2019,12]]},"DOI":"10.1186\/s13015-019-0145-8","type":"journal-article","created":{"date-parts":[[2019,3,25]],"date-time":"2019-03-25T13:02:41Z","timestamp":1553518961000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Repairing Boolean logical models from time-series data using Answer Set Programming"],"prefix":"10.1186","volume":"14","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3876-1011","authenticated-orcid":false,"given":"Alexandre","family":"Lemos","sequence":"first","affiliation":[]},{"given":"In\u00eas","family":"Lynce","sequence":"additional","affiliation":[]},{"given":"Pedro T.","family":"Monteiro","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,3,25]]},"reference":[{"issue":"3","key":"145_CR1","doi-asserted-by":"publisher","first-page":"2002050","DOI":"10.1371\/journal.pbio.2002050","volume":"15","author":"F Markowetz","year":"2017","unstructured":"Markowetz F. All biology is computational biology. PLoS Biol. 2017;15(3):2002050. \n                    https:\/\/doi.org\/10.1371\/journal.pbio.2002050\n                    \n                  .","journal-title":"PLoS Biol"},{"issue":"4","key":"145_CR2","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1093\/bib\/bbm029","volume":"8","author":"C Chaouiya","year":"2007","unstructured":"Chaouiya C. Petri net modelling of biological networks. Brief Bioinform. 2007;8(4):210\u20139. \n                    https:\/\/doi.org\/10.1093\/bib\/bbm029\n                    \n                  .","journal-title":"Brief Bioinform"},{"issue":"1","key":"145_CR3","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0022-5193(73)90208-7","volume":"39","author":"L Glass","year":"1973","unstructured":"Glass L, Kauffman S. The logical analysis of continuous, non-linear biochemical control networks. J Theor Biol. 1973;39(1):103\u201329. \n                    https:\/\/doi.org\/10.1016\/0022-5193(73)90208-7\n                    \n                  .","journal-title":"J Theor Biol"},{"issue":"2","key":"145_CR4","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/BF02460618","volume":"57","author":"R Thomas","year":"1995","unstructured":"Thomas R, Thieffry D, Kaufman M. Dynamical behaviour of biological regulatory networks: I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state. Bull Math Biol. 1995;57(2):247\u201376. \n                    https:\/\/doi.org\/10.1007\/BF02460618\n                    \n                  .","journal-title":"Bull Math Biol"},{"key":"145_CR5","doi-asserted-by":"publisher","first-page":"94","DOI":"10.3389\/fgene.2016.00094","volume":"7","author":"W Abou-Jaoude","year":"2016","unstructured":"Abou-Jaoude W, Traynard P, Monteiro PT, Saez-Rodriguez J, Helikar T, Thieffry D, Chaouiya C. Logical modeling and dynamical analysis of cellular networks. Front Genet. 2016;7:94. \n                    https:\/\/doi.org\/10.3389\/fgene.2016.00094\n                    \n                  .","journal-title":"Front Genet"},{"issue":"Suppl 1","key":"145_CR6","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1098\/rsif.2008.0132.focus","volume":"5","author":"S Bornholdt","year":"2008","unstructured":"Bornholdt S. Boolean network models of cellular regulation: prospects and limitations. J R Soc Interface. 2008;5(Suppl 1):85\u201394. \n                    https:\/\/doi.org\/10.1098\/rsif.2008.0132.focus\n                    \n                  .","journal-title":"J R Soc Interface"},{"key":"145_CR7","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/978-3-642-81703-824","volume":"9","author":"R Thomas","year":"1981","unstructured":"Thomas R. On the relation between the logical structure of systems and their ability to generate multiple steady states or sustained oscillations. Springer Ser Synerg. 1981;9:180\u201393. \n                    https:\/\/doi.org\/10.1007\/978-3-642-81703-824\n                    \n                  .","journal-title":"Springer Ser Synerg"},{"issue":"7","key":"145_CR8","doi-asserted-by":"publisher","first-page":"866","DOI":"10.1093\/bioinformatics\/btm021","volume":"23","author":"S Martin","year":"2007","unstructured":"Martin S, Zhang Z, Martino A, Faulon J-L. Boolean dynamics of genetic regulatory networks inferred from microarray time series data. Bioinformatics. 2007;23(7):866. \n                    https:\/\/doi.org\/10.1093\/bioinformatics\/btm021\n                    \n                  .","journal-title":"Bioinformatics"},{"key":"145_CR9","doi-asserted-by":"publisher","unstructured":"Ostrowski M, Pauleve L, Schaub T, Siegel A, Guziolowski C. In: Roux O, Bourdon J, editors. Boolean network identification from multiplex time series data. Cham: Springer; 2015. p. 170\u201381. \n                    https:\/\/doi.org\/10.1007\/978-3-319-23401-4\n                    \n                  .","DOI":"10.1007\/978-3-319-23401-4"},{"key":"145_CR10","doi-asserted-by":"publisher","unstructured":"Abdallah EB, Ribeiro T, Magnin M, Roux OF, Inoue K. Inference of delayed biological regulatory networks from time series data. In: Computational methods in systems biology\u201414th international conference, CMSB 2016, Cambridge, UK, September 21\u201323, 2016, proceedings. 2016. p. 30\u201348. \n                    https:\/\/doi.org\/10.1007\/978-3-319-45177-0\n                    \n                  .","DOI":"10.1007\/978-3-319-45177-0"},{"key":"145_CR11","doi-asserted-by":"publisher","unstructured":"Guziolowski C, Videla S, Eduati F, Thiele S, Cokelaer T, Siegel A, Saez-Rodriguez J. Exhaustively characterizing feasible logic models of a signaling network using answer set programming. Bioinformatics. 2013;393. \n                    https:\/\/doi.org\/10.1093\/bioinformatics\/btt393\n                    \n                  .","DOI":"10.1093\/bioinformatics\/btt393"},{"key":"145_CR12","doi-asserted-by":"publisher","unstructured":"Abdallah EB, Folschette M, Roux O, Magnin M. Exhaustive analysis of dynamical properties of biological regulatory networks with answer set programming. In: 2015 IEEE international conference on bioinformatics and biomedicine (BIBM). 2015. p. 281\u20135. \n                    https:\/\/doi.org\/10.1109\/BIBM.2015.7359694","DOI":"10.1109\/BIBM.2015.7359694"},{"key":"145_CR13","unstructured":"Gebser M, Guziolowski C, Ivanchev M, Schaub T, Siegel A, Thiele S, Veber P. Repair and prediction (under inconsistency) in large biological networks with answer set programming. In: Principles of knowledge representation and reasoning: proceedings of the twelfth international conference, KR 2010, Toronto, Ontario, Canada, May 9\u201313. 2010."},{"issue":"1","key":"145_CR14","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/j.jtbi.2010.09.017","volume":"270","author":"G Didier","year":"2010","unstructured":"Didier G, Remy E, Chaouiya C. Mapping multivalued onto Boolean dynamics. J Theor Biol. 2010;270(1):177\u201384. \n                    https:\/\/doi.org\/10.1016\/j.jtbi.2010.09.017\n                    \n                  .","journal-title":"J Theor Biol"},{"key":"145_CR15","doi-asserted-by":"publisher","unstructured":"Gebser M, Konig A, Schaub T, Thiele S, Veber P. The bioasp library: ASP solutions for systems biology. In: 22nd IEEE international conference on tools with artificial intelligence, ICTAI 2010, Arras, France, 27\u201329 October 2010, vol. 1. 2010. p. 383\u20139. \n                    https:\/\/doi.org\/10.1109\/ICTAI.2010.62\n                    \n                  .","DOI":"10.1109\/ICTAI.2010.62"},{"key":"145_CR16","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1186\/s12918-015-0179-6","volume":"9","author":"A Kittas","year":"2015","unstructured":"Kittas A, Barozet A, Sereshti J, Grabe N, Tsoka S. Cytoasp: a cytoscape app for qualitative consistency reasoning, prediction and repair in biological networks. BMC Syst Biol. 2015;9:34. \n                    https:\/\/doi.org\/10.1186\/s12918-015-0179-6\n                    \n                  .","journal-title":"BMC Syst Biol"},{"key":"145_CR17","doi-asserted-by":"publisher","unstructured":"Merhej E, Schockaert S, Cock MD. Using rules of thumb for repairing inconsistent answer set programs. In: Scalable uncertainty management\u20149th international conference, SUM Quebec City, QC, Canada, September 16\u201318, proceedings. 2015. p. 368\u201381. \n                    https:\/\/doi.org\/10.1007\/978-3-319-23540-0\n                    \n                  .","DOI":"10.1007\/978-3-319-23540-0"},{"key":"145_CR18","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, Cock MD. Repairing inconsistent answer set programs using rules of thumb: a gene regulatory networks case study. Int J Approx Reason. 2017;83:243\u201364. \n                    https:\/\/doi.org\/10.1016\/j.ijar.2017.01.012","journal-title":"Int J Approx Reason"},{"key":"145_CR19","doi-asserted-by":"crossref","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: Bioinformatics and biomedical engineering: third international conference, IWBBIO, Granada, Spain, April 15\u201317, proceedings, Part I. 2015. p. 599\u2013612.","DOI":"10.1007\/978-3-319-16483-0_58"},{"key":"145_CR20","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.tcs.2014.06.022","volume":"599","author":"S Videla","year":"2015","unstructured":"Videla S, Guziolowski C, Eduati F, Thiele S, Gebser M, Nicolas J, Saez-Rodriguez J, Schaub T, Siegel A. Learning boolean logic models of signaling networks with ASP. Theor Comput Sci. 2015;599:79\u2013101. \n                    https:\/\/doi.org\/10.1016\/j.tcs.2014.06.022\n                    \n                  .","journal-title":"Theor Comput Sci"},{"key":"145_CR21","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1002\/9781119005223.ch5","volume-title":"ASP for construction and validation of regulatory biological networks","author":"A Rocca","year":"2014","unstructured":"Rocca A, Mobilia N, Fanchon E, Ribeiro T, Trilling L, Inoue K. ASP for construction and validation of regulatory biological networks. New York: Wiley; 2014. p. 167\u2013206. \n                    https:\/\/doi.org\/10.1002\/9781119005223.ch5\n                    \n                  ."},{"issue":"21","key":"145_CR22","doi-asserted-by":"publisher","first-page":"2207","DOI":"10.1016\/j.tcs.2010.10.021","volume":"412","author":"A Naldi","year":"2011","unstructured":"Naldi A, Remy E, Thieffry D, Chaouiya C. Dynamically consistent reduction of logical regulatory graphs. Theor Comput Sci. 2011;412(21):2207\u201318. \n                    https:\/\/doi.org\/10.1016\/j.tcs.2010.10.021\n                    \n                  .","journal-title":"Theor Comput Sci"},{"issue":"14","key":"145_CR23","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1093\/bioinformatics\/btl210","volume":"22","author":"A Faure","year":"2006","unstructured":"Faure A, Naldi A, Chaouiya C, Thieffry D. Dynamical analysis of a generic boolean model for the control of the mammalian cell cycle. Bioinformatics. 2006;22(14):124. \n                    https:\/\/doi.org\/10.1093\/bioinformatics\/btl210\n                    \n                  .","journal-title":"Bioinformatics"},{"issue":"17","key":"145_CR24","doi-asserted-by":"publisher","first-page":"1917","DOI":"10.1093\/bioinformatics\/btn336","volume":"24","author":"A Garg","year":"2008","unstructured":"Garg A, Di Cara A, Xenarios I, Mendoza L, De Micheli G. Synchronous versus asynchronous modeling of gene regulatory networks. Bioinformatics. 2008;24(17):1917\u201325. \n                    https:\/\/doi.org\/10.1093\/bioinformatics\/btn336\n                    \n                  .","journal-title":"Bioinformatics"},{"key":"145_CR25","unstructured":"Harvey I, Bossomaier T. Time out of joint: attractors in asynchronous random Boolean networks. In: 4th European conf. on artificial life (ECAL). 1997. p. 67\u201375."},{"issue":"1","key":"145_CR26","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1186\/1752-0509-7-135","volume":"7","author":"C Chaouiya","year":"2013","unstructured":"Chaouiya C, Berenguier D, Keating SM, Naldi A, van Iersel MP, Rodriguez N, Dmger A, Biichel F, Cokelaer T, Kowal B, Wicks B, Goncalves E, Dorier J, Page M, Monteiro PT, von Kamp A, Xenarios I, de Jong H, Hucka M, Klamt S, Thieffry D, Novere NL, Saez-Rodriguez J, Helikar T. SBML qualitative models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools. BMC Syst Biol. 2013;7(1):135. \n                    https:\/\/doi.org\/10.1186\/1752-0509-7-135\n                    \n                  .","journal-title":"BMC Syst Biol"},{"key":"145_CR27","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-94-010-2196-8","volume-title":"Advanced combinatorics: the art of finite and infinite expansions","author":"L Comtet","year":"1974","unstructured":"Comtet L. Advanced combinatorics: the art of finite and infinite expansions. Holland: Springer; 1974. p. 187."},{"key":"145_CR28","volume-title":"Answer set solving in practice. Synthesis lectures on artificial intelligence and machine learning","author":"M Gebser","year":"2012","unstructured":"Gebser M, Kaminski R, Kaufmann B, Schaub T. Answer set solving in practice. Synthesis lectures on artificial intelligence and machine learning. San Rafael: Morgan and Claypool Publishers; 2012."},{"key":"145_CR29","unstructured":"Gelfond M, Lifschitz V. The stable model semantics for logic programming. In: Logic programming, proceedings of the fifth international conference and symposium, Seattle, Washington, August 15\u201319, 1988, vol. 2. 1988. p. 1070\u201380."},{"issue":"3","key":"145_CR30","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1609\/aimag.v37i3.2670","volume":"37","author":"V Lifschitz","year":"2016","unstructured":"Lifschitz V. Answer sets and the language of answer set programming. AI Mag. 2016;37(3):7\u201312. \n                    https:\/\/doi.org\/10.1609\/aimag.v37i3.2670\n                    \n                  .","journal-title":"AI Mag"},{"key":"145_CR31","doi-asserted-by":"publisher","unstructured":"Lloyd JW. Foundations of Logic Programming. 2nd ed. Artificial intelligence. Berlin: Springer; 1987. \n                    https:\/\/doi.org\/10.1007\/978-3-642-83189-8\n                    \n                  .","DOI":"10.1007\/978-3-642-83189-8"},{"key":"145_CR32","unstructured":"Gebser M, Kaminski R, Kaufmann B, Schaub T. Clingo = ASP + control: preliminary report. In: Leuschel M, Schrijvers T, editors. Technical communications of the thirtieth international conference on logic programming (ICLP\u201914). 2014. \n                    arXiv:1405.3694v1\n                    \n                  . Theory and Practice of Logic Programming, Online Supplement."},{"key":"145_CR33","doi-asserted-by":"crossref","unstructured":"Gebser M, Kaminski R, Kaufmann B, Schaub T. Multi-shot ASP solving with clingo. 2017. \n                    arXiv:1705.09811\n                    \n                  .","DOI":"10.1017\/S1471068418000054"},{"issue":"8","key":"145_CR34","doi-asserted-by":"publisher","first-page":"521","DOI":"10.2307\/2308219","volume":"59","author":"WV Quine","year":"1952","unstructured":"Quine WV. The problem of simplifying truth functions. Am Math Mon. 1952;59(8):521\u201331. \n                    https:\/\/doi.org\/10.2307\/2308219\n                    \n                  .","journal-title":"Am Math Mon"},{"issue":"1","key":"145_CR35","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1186\/s12859-016-1287-z","volume":"17","author":"J Dorier","year":"2016","unstructured":"Dorier J, Crespo I, Niknejad A, Liechti R, Ebeling M, Xenarios I. Boolean regulatory network reconstruction using literature based knowledge with a genetic algorithm optimization method. BMC Bioinformatics. 2016;17(1):410. \n                    https:\/\/doi.org\/10.1186\/s12859-016-1287-z\n                    \n                  .","journal-title":"BMC Bioinformatics"},{"issue":"1","key":"145_CR36","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1063\/1.1349893","volume":"11","author":"R Thomas","year":"2001","unstructured":"Thomas R, Kaufman M. Multistationarity, the basis of cell differentiation and memory. II. Logical analysis of regulatory networks in terms of feedback circuits. Chaos. 2001;11(1):180\u201395. \n                    https:\/\/doi.org\/10.1063\/1.1349893\n                    \n                  .","journal-title":"Chaos"},{"key":"145_CR37","doi-asserted-by":"publisher","unstructured":"Hashimoto RF, Stagni H, Higa CHA. Budding yeast cell cycle modeled by context-sensitive probabilistic Boolean network. In: IEEE international workshop on genomic signal processing and statistics, GENSIPS. 2009. p. 1\u20134. \n                    https:\/\/doi.org\/10.1109\/GENSIPS.2009.5174356\n                    \n                  .","DOI":"10.1109\/GENSIPS.2009.5174356"},{"issue":"1","key":"145_CR38","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/1475-925X-12-S1-S1","volume":"12","author":"X Huang","year":"2013","unstructured":"Huang X, Chen L, Chim H, Chan LLH, Zhao Z, Yan H. Boolean genetic network model for the control of C. elegans early embryonic cell cycles. Biomed Eng Online. 2013;12(1):1. \n                    https:\/\/doi.org\/10.1186\/1475-925X-12-S1-S1\n                    \n                  .","journal-title":"Biomed Eng Online"},{"issue":"2","key":"145_CR39","doi-asserted-by":"publisher","first-page":"1672","DOI":"10.1371\/journal.pone.0001672","volume":"3","author":"MI Davidich","year":"2008","unstructured":"Davidich MI, Bornholdt S. Boolean network model predicts cell cycle sequence of fission yeast. PLoS ONE. 2008;3(2):1672. \n                    https:\/\/doi.org\/10.1371\/journal.pone.0001672\n                    \n                  .","journal-title":"PLoS ONE"},{"issue":"14","key":"145_CR40","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1093\/bioinformatics\/btl210","volume":"22","author":"A Faure","year":"2006","unstructured":"Faure A, Naldi A, Chaouiya C, Thieffry D. Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle. Bioinformatics. 2006;22(14):124\u201331. \n                    https:\/\/doi.org\/10.1093\/bioinformatics\/btl210\n                    \n                  .","journal-title":"Bioinformatics"},{"issue":"4","key":"145_CR41","first-page":"139","volume":"7","author":"O Roussel","year":"2011","unstructured":"Roussel O. Controlling a solver execution with the runsolver tool. JSAT. 2011;7(4):139\u201344.","journal-title":"JSAT"}],"container-title":["Algorithms for Molecular Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s13015-019-0145-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1186\/s13015-019-0145-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s13015-019-0145-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,24]],"date-time":"2020-03-24T00:05:47Z","timestamp":1585008347000},"score":1,"resource":{"primary":{"URL":"https:\/\/almob.biomedcentral.com\/articles\/10.1186\/s13015-019-0145-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3,25]]},"references-count":41,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,12]]}},"alternative-id":["145"],"URL":"https:\/\/doi.org\/10.1186\/s13015-019-0145-8","relation":{},"ISSN":["1748-7188"],"issn-type":[{"value":"1748-7188","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,3,25]]},"assertion":[{"value":"12 December 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 March 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 March 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"9"}}