{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T23:58:29Z","timestamp":1743033509276,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319235394"},{"type":"electronic","value":"9783319235400"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23540-0_25","type":"book-chapter","created":{"date-parts":[[2015,9,15]],"date-time":"2015-09-15T11:48:00Z","timestamp":1442317680000},"page":"368-381","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Using Rules of Thumb for Repairing Inconsistent Answer Set Programs"],"prefix":"10.1007","author":[{"given":"Elie","family":"Merhej","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steven","family":"Schockaert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martine","family":"De Cock","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,9,16]]},"reference":[{"key":"25_CR1","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1017\/S1471068403001832","volume":"3","author":"M Arenas","year":"2003","unstructured":"Arenas, M., Bertossi, L., Chomicki, J.: Answer sets for consistent query answering in inconsistent databases. Theory Pract. Logic Program. 3, 393\u2013424 (2003)","journal-title":"Theory Pract. Logic Program."},{"key":"25_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/978-3-540-24627-5_3","volume-title":"Foundations of Information and Knowledge Systems","author":"O Arieli","year":"2004","unstructured":"Arieli, O., Denecker, M., Van Nuffelen, B., Bruynooghe, M.: Database repair by signed formulae. In: Seipel, D., Turull-Torres, J.M. (eds.) FoIKS 2004. LNCS, vol. 2942, pp. 14\u201330. Springer, Heidelberg (2004)"},{"issue":"1","key":"25_CR3","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1186\/1471-2105-14-361","volume":"14","author":"N Berntenis","year":"2013","unstructured":"Berntenis, N., Ebeling, M.: Detection of attractors of large boolean networks via exhaustive enumeration of appropriate subspaces of the state space. BMC Bioinform. 14(1), 361 (2013)","journal-title":"BMC Bioinform."},{"issue":"1","key":"25_CR4","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/S0167-8191(00)00092-2","volume":"27","author":"T Chen","year":"2001","unstructured":"Chen, T., Filkov, V., Skiena, S.S.: Identifying gene regulatory networks from experimental data. Parallel Comput. 27(1), 141\u2013162 (2001)","journal-title":"Parallel Comput."},{"issue":"5","key":"25_CR5","doi-asserted-by":"publisher","first-page":"058701","DOI":"10.1103\/PhysRevLett.90.058701","volume":"90","author":"R Cohen","year":"2003","unstructured":"Cohen, R., Havlin, S.: Scale-free networks are ultrasmall. Phys. Rev. Lett. 90(5), 058701 (2003)","journal-title":"Phys. Rev. Lett."},{"issue":"1","key":"25_CR6","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1089\/10665270252833208","volume":"9","author":"H De Jong","year":"2002","unstructured":"De Jong, H.: Modeling and simulation of genetic regulatory systems: a literature review. J. Comput. Biol. 9(1), 67\u2013103 (2002)","journal-title":"J. Comput. Biol."},{"issue":"1","key":"25_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(03)00111-5","volume":"151","author":"JP Delgrande","year":"2003","unstructured":"Delgrande, J.P., Schaub, T.: A consistency-based approach for belief change. Artif. Intell. 151(1), 1\u201341 (2003)","journal-title":"Artif. Intell."},{"issue":"7","key":"25_CR8","doi-asserted-by":"publisher","first-page":"e21169","DOI":"10.1371\/journal.pone.0021169","volume":"6","author":"JJ Ellis","year":"2011","unstructured":"Ellis, J.J., Kobe, B.: Predicting protein kinase specificity: predikin update and performance in the DREAM4 challenge. PLoS One 6(7), e21169 (2011)","journal-title":"PLoS One"},{"issue":"2","key":"25_CR9","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1504\/IJDMB.2011.039178","volume":"5","author":"T Fayruzov","year":"2011","unstructured":"Fayruzov, T., Janssen, J., Vermeir, D., Cornelis, C.: Modelling gene and protein regulatory networks with answer set programming. Int. J. Data Mining Bioinform. 5(2), 209\u2013229 (2011)","journal-title":"Int. J. Data Mining Bioinform."},{"key":"25_CR10","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: KR (2010)"},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"Gebser, M., K\u00f6nig, A., Schaub, T., Thiele, S., Veber, P.: The BioASP library: ASP solutions for systems biology. In: ICTAI (1), pp. 383\u2013389 (2010)","DOI":"10.1109\/ICTAI.2010.62"},{"key":"25_CR12","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP\/SLP, vol. 88, pp. 1070\u20131080 (1988)"},{"key":"25_CR13","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195079517.001.0001","volume-title":"The Origins of Order: Self-organization and Selection in Evolution","author":"SA Kauffman","year":"1993","unstructured":"Kauffman, S.A.: The Origins of Order: Self-organization and Selection in Evolution. Oxford University Press, Oxford (1993)"},{"issue":"5","key":"25_CR14","doi-asserted-by":"publisher","first-page":"051907","DOI":"10.1103\/PhysRevE.75.051907","volume":"75","author":"KY Lau","year":"2007","unstructured":"Lau, K.Y., Ganguli, S., Tang, C.: Function constrains network architecture and dynamics: a case study on the yeast cell cycle boolean network. Phys. Rev. E 75(5), 051907 (2007)","journal-title":"Phys. Rev. E"},{"issue":"5594","key":"25_CR15","doi-asserted-by":"publisher","first-page":"799","DOI":"10.1126\/science.1075090","volume":"298","author":"TI Lee","year":"2002","unstructured":"Lee, T.I., Rinaldi, N.J., Robert, F., Odom, D.T., Bar-Joseph, Z., Gerber, G.K., Hannett, N.M., Harbison, C.T., Thompson, C.M., Simon, I., et al.: Transcriptional regulatory networks in saccharomyces cerevisiae. Science 298(5594), 799\u2013804 (2002)","journal-title":"Science"},{"issue":"14","key":"25_CR16","doi-asserted-by":"publisher","first-page":"4781","DOI":"10.1073\/pnas.0305937101","volume":"101","author":"F Li","year":"2004","unstructured":"Li, F., Long, T., Lu, Y., Ouyang, Q., Tang, C.: The yeast cell-cycle network is robustly designed. Proc. Natl. Acad. Sci. U.S.A. 101(14), 4781\u20134786 (2004)","journal-title":"Proc. Natl. Acad. Sci. U.S.A."},{"key":"25_CR17","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/978-3-642-60085-2_16","volume-title":"The Logic Programming Paradigm","author":"V Lifschitz","year":"1999","unstructured":"Lifschitz, V.: Action languages, answer sets, and planning. In: Apt, K.R., et al. (eds.) The Logic Programming Paradigm, pp. 357\u2013373. Springer, Heidelberg (1999)"},{"issue":"1","key":"25_CR18","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0004-3702(02)00186-8","volume":"138","author":"V Lifschitz","year":"2002","unstructured":"Lifschitz, V.: Answer set programming and plan generation. Artif. Intell. 138(1), 39\u201354 (2002)","journal-title":"Artif. Intell."},{"key":"25_CR19","unstructured":"Lifschitz, V.: What is answer set programming? In: AAAI, vol. 8, pp. 1594\u20131597 (2008)"},{"issue":"12","key":"25_CR20","doi-asserted-by":"publisher","first-page":"e14147","DOI":"10.1371\/journal.pone.0014147","volume":"5","author":"P Men\u00e9ndez","year":"2010","unstructured":"Men\u00e9ndez, P., Kourmpetis, Y.A., ter Braak, C.J., van Eeuwijk, F.A.: Gene regulatory networks from multifactorial perturbations using graphical lasso: application to the DREAM4 challenge. PloS One 5(12), e14147 (2010)","journal-title":"PloS One"},{"key":"25_CR21","doi-asserted-by":"crossref","unstructured":"Merhej, E., Schockaert, S., De Cock, M., Blondeel, M., Alfarone, D., Davis, J.: Repairing inconsistent taxonomies using map inference and rules of thumb. In: Proceedings of the 5th International Workshop on Web-scale Knowledge Representation Retrieval & Reasoning, pp. 31\u201336. ACM (2014)","DOI":"10.1145\/2663792.2663804"},{"key":"25_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"599","DOI":"10.1007\/978-3-319-16483-0_58","volume-title":"Bioinformatics and Biomedical Engineering","author":"N Mobilia","year":"2015","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: Ortu\u00f1o, F., Rojas, I. (eds.) IWBBIO 2015, Part I. LNCS, vol. 9043, pp. 599\u2013612. Springer, Heidelberg (2015)"},{"issue":"21","key":"25_CR23","doi-asserted-by":"publisher","first-page":"3086","DOI":"10.1093\/bioinformatics\/btu481","volume":"30","author":"M Mushthofa","year":"2014","unstructured":"Mushthofa, M., Torres, G., Van de Peer, Y., Marchal, K., De Cock, M.: ASP-G: an ASP-based method for finding attractors in genetic regulatory networks. Bioinformatics 30(21), 3086\u20133092 (2014)","journal-title":"Bioinformatics"},{"issue":"11","key":"25_CR24","doi-asserted-by":"publisher","first-page":"1778","DOI":"10.1109\/JPROC.2002.804686","volume":"90","author":"I Shmulevich","year":"2002","unstructured":"Shmulevich, I., Dougherty, E.R., Zhang, W.: From boolean to probabilistic boolean networks as models of genetic regulatory networks. Proc. IEEE 90(11), 1778\u20131792 (2002)","journal-title":"Proc. IEEE"},{"key":"25_CR25","doi-asserted-by":"crossref","unstructured":"Singla, P., Kautz, H., Luo, J., Gallagher, A.: Discovery of social relationships in consumer photo collections using markov logic. In: IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops, CVPRW 2008, pp. 1\u20137. IEEE (2008)","DOI":"10.1109\/CVPRW.2008.4563047"},{"issue":"9","key":"25_CR26","doi-asserted-by":"publisher","first-page":"1152","DOI":"10.1093\/bioinformatics\/btl038","volume":"22","author":"S Wernicke","year":"2006","unstructured":"Wernicke, S., Rasche, F.: Fanmod: a tool for fast network motif detection. Bioinformatics 22(9), 1152\u20131153 (2006)","journal-title":"Bioinformatics"},{"issue":"3","key":"25_CR27","doi-asserted-by":"publisher","first-page":"e57009","DOI":"10.1371\/journal.pone.0057009","volume":"8","author":"L Yang","year":"2013","unstructured":"Yang, L., Meng, Y., Bao, C., Liu, W., Ma, C., Li, A., Xuan, Z., Shan, G., Jia, Y.: Robustness and backbone motif of a cancer network regulated by miR-17-92 cluster during the G1\/S transition. PloS One 8(3), e57009 (2013)","journal-title":"PloS One"}],"container-title":["Lecture Notes in Computer Science","Scalable Uncertainty Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23540-0_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,11]],"date-time":"2024-06-11T04:16:15Z","timestamp":1718079375000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23540-0_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319235394","9783319235400"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23540-0_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"16 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}