{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T00:11:55Z","timestamp":1773274315681,"version":"3.50.1"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030202415","type":"print"},{"value":"9783030202422","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-20242-2_9","type":"book-chapter","created":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T14:34:37Z","timestamp":1558362877000},"page":"100-112","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Model Revision of Boolean Regulatory Networks at Stable State"],"prefix":"10.1007","author":[{"given":"Filipe","family":"Gouveia","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,5,9]]},"reference":[{"key":"9_CR1","volume-title":"Handbook of Satisfiability","author":"A Biere","year":"2009","unstructured":"Biere, A., Heule, M., van Maaren, H.: Handbook of Satisfiability, vol. 185. IOS Press, Amsterdam (2009)"},{"key":"9_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511852008","volume-title":"Boolean Functions: Theory, Algorithms, and Applications","author":"Y Crama","year":"2011","unstructured":"Crama, Y., Hammer, P.L.: Boolean Functions: Theory, Algorithms, and Applications. Cambridge University Press, Cambridge (2011)"},{"key":"9_CR3","unstructured":"Cury, J.E., Monteiro, P.T., Chaouiya, C.: Partial Order on the set of Boolean Regulatory Functions. arXiv preprint arXiv:1901.07623 (2019)"},{"issue":"2","key":"9_CR4","doi-asserted-by":"publisher","first-page":"e1672","DOI":"10.1371\/journal.pone.0001672","volume":"3","author":"MI Davidich","year":"2008","unstructured":"Davidich, M.I., Bornholdt, S.: Boolean network model predicts cell cycle sequence of fission yeast. PLoS ONE 3(2), e1672 (2008)","journal-title":"PLoS ONE"},{"issue":"14","key":"9_CR5","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)","journal-title":"Bioinformatics"},{"key":"9_CR6","unstructured":"Gebser, M., et al.: Repair and prediction (under inconsistency) in large biological networks with answer set programming. In: KR (2010)"},{"issue":"3","key":"9_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2200\/S00457ED1V01Y201211AIM019","volume":"6","author":"M Gebser","year":"2012","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Answer set solving in practice. Synth. Lect. Artif. Intell. Mach. Learn. 6(3), 1\u2013238 (2012)","journal-title":"Synth. Lect. Artif. Intell. Mach. Learn."},{"issue":"2\u20133","key":"9_CR8","first-page":"323","volume":"11","author":"M Gebser","year":"2011","unstructured":"Gebser, M., Schaub, T., Thiele, S., Veber, P.: Detecting inconsistencies in large biological networks with answer set programming. TPLP 11(2\u20133), 323\u2013360 (2011)","journal-title":"TPLP"},{"key":"9_CR9","unstructured":"Gouveia, F., Lynce, I., Monteiro, P.T.: Model revision of logical regulatory networks using logic-based tools. In: ICLP 2018 (Technical Communications). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2018)"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"941","DOI":"10.1007\/978-3-642-33558-7_67","volume-title":"Principles and Practice of Constraint Programming","author":"J Guerra","year":"2012","unstructured":"Guerra, J., Lynce, I.: Reasoning over biological networks using maximum satisfiability. In: Milano, M. (ed.) CP 2012. LNCS, pp. 941\u2013956. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33558-7_67"},{"issue":"1","key":"9_CR11","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/s00180-012-0324-2","volume":"28","author":"M Hopfensitz","year":"2012","unstructured":"Hopfensitz, M., M\u00fcssel, C., Maucher, M., Kestler, H.A.: Attractors in Boolean networks: a tutorial. Comput. Stat. 28(1), 19\u201336 (2012)","journal-title":"Comput. Stat."},{"issue":"10","key":"9_CR12","doi-asserted-by":"publisher","first-page":"770","DOI":"10.1038\/nrm2503","volume":"9","author":"G Karlebach","year":"2008","unstructured":"Karlebach, G., Shamir, R.: Modelling and analysis of gene regulatory networks. Nat. Rev. Mol. Cell Biol. 9(10), 770 (2008)","journal-title":"Nat. Rev. Mol. Cell Biol."},{"issue":"1","key":"9_CR13","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1186\/1471-2105-7-56","volume":"7","author":"S Klamt","year":"2006","unstructured":"Klamt, S., Saez-Rodriguez, J., Lindquist, J.A., Simeoni, L., Gilles, E.D.: A methodology for the structural and functional analysis of signaling and regulatory networks. BMC Bioinform. 7(1), 56 (2006)","journal-title":"BMC Bioinform."},{"issue":"1","key":"9_CR14","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1186\/1742-4682-3-13","volume":"3","author":"L Mendoza","year":"2006","unstructured":"Mendoza, L., Xenarios, I.: A method for the generation of standardized qualitative dynamical systems of regulatory networks. Theor. Biol. Med. Model. 3(1), 13 (2006)","journal-title":"Theor. Biol. Med. Model."},{"key":"9_CR15","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)","journal-title":"Int. J. Approx. Reason."},{"issue":"16","key":"9_CR16","doi-asserted-by":"publisher","first-page":"i227","DOI":"10.1093\/bioinformatics\/btn275","volume":"24","author":"PT Monteiro","year":"2008","unstructured":"Monteiro, P.T., Ropers, D., Mateescu, R., Freitas, A.T., De Jong, H.: Temporal logic patterns for querying dynamic models of cellular interaction networks. Bioinformatics 24(16), i227\u2013i233 (2008)","journal-title":"Bioinformatics"},{"issue":"21","key":"9_CR17","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. 412(21), 2207\u20132218 (2011)","journal-title":"Theor. Comput. Sci."},{"key":"9_CR18","doi-asserted-by":"publisher","first-page":"1167","DOI":"10.1109\/TCBB.2017.2749225","volume":"15","author":"L Paulev\u00e9","year":"2017","unstructured":"Paulev\u00e9, L.: Reduction of qualitative models of biological networks for transient dynamics analysis. IEEE\/ACM Trans. Comput. Biol. Bioinform. 15, 1167\u20131179 (2017)","journal-title":"IEEE\/ACM Trans. Comput. Biol. Bioinform."},{"issue":"8","key":"9_CR19","doi-asserted-by":"publisher","first-page":"1059","DOI":"10.1387\/ijdb.072439ls","volume":"52","author":"L S\u00e1nchez","year":"2002","unstructured":"S\u00e1nchez, L., Chaouiya, C., Thieffry, D.: Segmenting the fly embryo: logical analysis of the role of the segment polarity cross-regulatory module. Int. J. Dev. Biol. 52(8), 1059\u20131075 (2002)","journal-title":"Int. J. Dev. Biol."},{"issue":"3","key":"9_CR20","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1016\/0022-5193(73)90247-6","volume":"42","author":"R Thomas","year":"1973","unstructured":"Thomas, R.: Boolean formalization of genetic control circuits. J. Theor. Biol. 42(3), 563\u2013585 (1973)","journal-title":"J. Theor. Biol."},{"issue":"1\u20133","key":"9_CR21","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1016\/S0019-9958(85)80036-X","volume":"67","author":"I Wegner","year":"1985","unstructured":"Wegner, I.: The critical complexity of all (monotone) Boolean functions and monotone graph properties. Inf. Control. 67(1\u20133), 212\u2013222 (1985)","journal-title":"Inf. Control."}],"container-title":["Lecture Notes in Computer Science","Bioinformatics Research and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-20242-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T13:17:27Z","timestamp":1710335847000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-20242-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030202415","9783030202422"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-20242-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"9 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISBRA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Bioinformatics Research and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Barcelona","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 June 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 June 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isbra2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/alan.cs.gsu.edu\/isbra19\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}