{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T18:15:27Z","timestamp":1725819327872},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319164823"},{"type":"electronic","value":"9783319164830"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-16483-0_58","type":"book-chapter","created":{"date-parts":[[2015,3,16]],"date-time":"2015-03-16T06:36:38Z","timestamp":1426487798000},"page":"599-612","source":"Crossref","is-referenced-by-count":6,"title":["Logical Modeling and Analysis of Regulatory Genetic Networks in a Non Monotonic Framework"],"prefix":"10.1007","author":[{"given":"Nicolas","family":"Mobilia","sequence":"first","affiliation":[]},{"given":"Alexandre","family":"Rocca","sequence":"additional","affiliation":[]},{"given":"Samuel","family":"Chorlton","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Fanchon","sequence":"additional","affiliation":[]},{"given":"Laurent","family":"Trilling","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"58_CR1","doi-asserted-by":"crossref","unstructured":"Alves, F., Dilao, R.: Modeling segmental patterning in drosophila: Maternal and gap genes. J. Theor. Biol.\u00a0241, 342\u2013359 (2006)","DOI":"10.1016\/j.jtbi.2005.11.034"},{"key":"58_CR2","doi-asserted-by":"crossref","unstructured":"Baral, C.: Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press, New York (2003)","DOI":"10.1017\/CBO9780511543357"},{"key":"58_CR3","doi-asserted-by":"crossref","unstructured":"Batt, G., Page, M., Cantone, I., Goessler, G., Monteiro, P., De Jong, H.: Efficient parameter search for qualitative models of regulatory networks using symbolic model checking. Bioinformatics\u00a026(18), i603\u2013i610 (2010)","DOI":"10.1093\/bioinformatics\/btq387"},{"key":"58_CR4","doi-asserted-by":"crossref","unstructured":"Bernot, G., Comet, J.-P., Richard, A., Guespin, J.: Application of formal methods to biological regulatory networks: extending Thomas\u2019 asynchronous logical approach with temporal logic. Journal of Theoretical Biology\u00a0229(3), 339\u2013347 (2004)","DOI":"10.1016\/j.jtbi.2004.04.003"},{"key":"58_CR5","doi-asserted-by":"crossref","unstructured":"Besnard, P.: An Introduction to Default Logic. Springer (1989)","DOI":"10.1007\/978-3-662-05689-9"},{"key":"58_CR6","doi-asserted-by":"crossref","unstructured":"Cantone, I., Marucci, L., Iorio, F., Ricci, M.A., Belcastro, V., Bansal, M., Santini, S., di Bernardo, M., di Bernardo, D., Cosma, M.P.: A yeast synthetic network for in vivo assessment of reverse-engineering and modeling approaches. Cell\u00a0137(1), 172\u2013181 (2009)","DOI":"10.1016\/j.cell.2009.01.055"},{"key":"58_CR7","doi-asserted-by":"crossref","unstructured":"Corblin, F., Fanchon, E., Trilling, L., Chaouiya, C., Thieffry, D.: Automatic inference of regulatory and dynamical properties from incomplete gene interaction and expression data. In: Lones, M.A., Smith, S.L., Teichmann, S., Naef, F., Walker, J.A., Trefzer, M.A. (eds.) IPCAT 2012. LNCS, vol.\u00a07223, pp. 25\u201330. Springer, Heidelberg (2012)","DOI":"10.1007\/978-3-642-28792-3_4"},{"key":"58_CR8","doi-asserted-by":"crossref","unstructured":"Corblin, F., Tripodi, S., Fanchon, \u00c9., Ropers, D., Trilling, L.: A declarative constraint-based method for analyzing discrete genetic regulatory networks. Biosystems\u00a098, 91\u2013104 (2009)","DOI":"10.1016\/j.biosystems.2009.07.007"},{"key":"58_CR9","doi-asserted-by":"crossref","unstructured":"Farinas de Cerro, L., Inoue, K. (eds.): Logical Modeling of Biological Systems, pp. 167\u2013206. Wiley, Chichester (2014)","DOI":"10.1002\/9781119005223"},{"key":"58_CR10","doi-asserted-by":"crossref","unstructured":"Fayruzov, T., Janssen, J., Vermeir, D., Cornelis, C., Cock, M.D.: Modelling gene and protein regulatory networks with answer set programming. Int. J. Data Min. Bioinformatics\u00a05(2), 209\u2013229 (2011)","DOI":"10.1504\/IJDMB.2011.039178"},{"key":"58_CR11","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Thiele, S.: A user\u2019s guide to gringo, clasp, clingo, and iclingo (version 3.x) (October 2010)"},{"key":"58_CR12","doi-asserted-by":"crossref","unstructured":"Jaeger, J., Blagov, M., Kosman, D., Kozlov, K.N., Myasnikova, M.E., Surkova, S., Vanario-Alonso, C.E., Samsonova, M., Sharp, D.H., Reinitz, J.: Dynamical analysis of regulatory interactions in the gap gene system of drosophila melanogaster. Genetics\u00a0167, 1721\u20131737 (2004)","DOI":"10.1534\/genetics.104.027334"},{"key":"58_CR13","doi-asserted-by":"crossref","unstructured":"Ropers, D., de Jong, H., Page, M., Schneider, D., Geiselmann, J.: Qualitative simulation of the carbon starvation response in escherichia coli. Biosystems\u00a084(2), 124\u2013152 (2006)","DOI":"10.1016\/j.biosystems.2005.10.005"},{"key":"58_CR14","doi-asserted-by":"crossref","unstructured":"S\u00e1nchez, L., Thieffry, D.: A logical analysis of the Drosophila gap-gene system. J. Theor. Biol.\u00a0211, 115\u2013141 (2001)","DOI":"10.1006\/jtbi.2001.2335"},{"key":"58_CR15","doi-asserted-by":"crossref","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\u00a011(1), 180\u2013195 (2001)","DOI":"10.1063\/1.1349893"},{"key":"58_CR16","doi-asserted-by":"crossref","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. Theoretical Computer Science (2014)","DOI":"10.1016\/j.tcs.2014.06.022"}],"container-title":["Lecture Notes in Computer Science","Bioinformatics and Biomedical Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-16483-0_58","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T12:49:53Z","timestamp":1559134193000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-16483-0_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319164823","9783319164830"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-16483-0_58","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}