{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T12:48:28Z","timestamp":1780058908827,"version":"3.54.0"},"reference-count":69,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2013,4,3]],"date-time":"2013-04-03T00:00:00Z","timestamp":1364947200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mach Learn"],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1007\/s10994-013-5341-z","type":"journal-article","created":{"date-parts":[[2013,4,2]],"date-time":"2013-04-02T19:03:54Z","timestamp":1364929434000},"page":"239-277","source":"Crossref","is-referenced-by-count":21,"title":["Completing causal networks by meta-level abduction"],"prefix":"10.1007","volume":"91","author":[{"given":"Katsumi","family":"Inoue","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrei","family":"Doncescu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hidetomo","family":"Nabeshima","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2013,4,3]]},"reference":[{"key":"5341_CR1","series-title":"LNAI","first-page":"126","volume-title":"Proceedings of ALT\u201909","author":"T. Akutsu","year":"2009","unstructured":"Akutsu, T., Tamura, T., & Horimoto, K. (2009). Completing networks using observed data. In LNAI: Vol.\u00a05809. Proceedings of ALT\u201909 (pp.\u00a0126\u2013140). Berlin: Springer."},{"key":"5341_CR2","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/978-94-017-0606-3_13","volume-title":"Abduction and induction\u2014essays on their relation and integration","author":"H. Christiansen","year":"2000","unstructured":"Christiansen, H. (2000). Abduction and induction combined in a metalogic framework. In Abduction and induction\u2014essays on their relation and integration (pp.\u00a0195\u2013211)."},{"key":"5341_CR3","first-page":"54","volume-title":"Technical communications of ICLP\u201910","author":"D. Corapi","year":"2010","unstructured":"Corapi, D., Russo, A., & Lupu, E. C. (2010). Inductive logic programming as abductive search. In Technical communications of ICLP\u201910 (pp.\u00a054\u201363)."},{"key":"5341_CR4","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/3-540-45632-5_11","volume-title":"Computational logic: logic programming and beyond, essays in honour of Robert A. Kowalski, Part II","author":"S. Costantini","year":"2002","unstructured":"Costantini, S. (2002). Meta-reasoning: a survey. In A. C. Kakas & F. Sadri (Eds.), LNAI: Vol.\u00a02408. Computational logic: logic programming and beyond, essays in honour of Robert A. Kowalski, Part II (pp.\u00a0253\u2013288). Berlin: Springer."},{"key":"5341_CR5","first-page":"241","volume-title":"Handbook of defeasible reasoning and uncertainty management systems","author":"C. V. Dam\u00e1sio","year":"1998","unstructured":"Dam\u00e1sio, C. V., & Pereira, L. M. (1998). A survey of paraconsistent semantics for logic programs. In D.\u00a0M. Gabbay & P. Smets (Eds.), Handbook of defeasible reasoning and uncertainty management systems (Vol.\u00a02, pp.\u00a0241\u2013320). Berlin: Springer."},{"key":"5341_CR6","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s10994-008-5079-1","volume":"73","author":"T. Dietterich","year":"2008","unstructured":"Dietterich, T., Domingos, P., Getoor, L., Muggleton, S., & Tadepalli, P. (2008). Structured machine learning: the next ten years. Machine Learning, 73, 3\u201323.","journal-title":"Machine Learning"},{"key":"5341_CR7","first-page":"144","volume-title":"Advances in inductive logic programming","author":"Y. Dimopoulos","year":"1996","unstructured":"Dimopoulos, Y., & Kakas, A. (1996). Abduction and inductive learning. In L. De Raedt (Ed.), Advances in inductive logic programming (pp.\u00a0144\u2013171). Amsterdam: IOS Press."},{"key":"5341_CR8","first-page":"562","volume-title":"Proceedings of the 5th international conference on logic programming","author":"K. Eshghi","year":"1988","unstructured":"Eshghi, K. (1988). Abductive planning with event calculus. In Proceedings of the 5th international conference on logic programming (pp.\u00a0562\u2013579)."},{"key":"5341_CR9","first-page":"207","volume-title":"Proceedings of 2010 IEEE international conference on bioinformatics and biomedicine","author":"T. Fayruzov","year":"2010","unstructured":"Fayruzov, T., Janssen, J., Cornelis, C., Vermeir, D., & De Cock, M. (2010). Extending Boolean regulatory network models with answer set programming. In Proceedings of 2010 IEEE international conference on bioinformatics and biomedicine (pp.\u00a0207\u2013212)."},{"key":"5341_CR10","volume-title":"Abduction and induction\u2014essays on their relation and integration","year":"2000","unstructured":"Flach, P. A. & Kakas, A. C. (Eds.) (2000). Abduction and induction\u2014essays on their relation and integration. Norwell: Kluwer Academic."},{"issue":"1","key":"5341_CR11","doi-asserted-by":"crossref","first-page":"i108","DOI":"10.1093\/bioinformatics\/btg1014","volume":"19","author":"I. Gat-Viks","year":"2003","unstructured":"Gat-Viks, I., & Shamir, R. (2003). Chain functions and scoring functions in genetic networks. Bioinformatics, 19(1), i108\u2013i117.","journal-title":"Bioinformatics"},{"key":"5341_CR12","first-page":"421","volume-title":"Handbook of logic in artificial intelligence and logic programming","author":"P. M. Hill","year":"1998","unstructured":"Hill, P. M., & Gallagher, J. (1998). Meta-programming in logic programming. In D. M. Gabbay, C. J. Hogger, & J. A. Robinson (Eds.), Handbook of logic in artificial intelligence and logic programming (Vol.\u00a05, pp.\u00a0421\u2013497). London: Oxford University Press."},{"key":"5341_CR13","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0004-3702(92)90030-2","volume":"56","author":"K. Inoue","year":"1992","unstructured":"Inoue, K. (1992). Linear resolution for consequence finding. Artificial Intelligence, 56, 301\u2013353.","journal-title":"Artificial Intelligence"},{"key":"5341_CR14","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1023\/B:MACH.0000023149.72125.e2","volume":"55","author":"K. Inoue","year":"2004","unstructured":"Inoue, K. (2004). Induction as consequence finding. Machine Learning, 55, 109\u2013135.","journal-title":"Machine Learning"},{"key":"5341_CR15","first-page":"924","volume-title":"Proceedings of IJCAI-11","author":"K. Inoue","year":"2011","unstructured":"Inoue, K. (2011). Logic programming for Boolean networks. In Proceedings of IJCAI-11 (pp.\u00a0924\u2013930)."},{"key":"5341_CR16","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/978-94-017-0606-3_14","volume-title":"Abduction and induction\u2014essays on their relation and integration","author":"K. Inoue","year":"2000","unstructured":"Inoue, K., & Haneda, H. (2000). Learning abductive and nonmonotonic logic programs. In Abduction and induction\u2014essays on their relation and integration (pp.\u00a0213\u2013231)."},{"key":"5341_CR17","series-title":"LNAI","first-page":"154","volume-title":"Proceedings of ILP\u201905","author":"K. Inoue","year":"2005","unstructured":"Inoue, K., Bando, H., & Nabeshima, H. (2005). Inducing causal laws by regular inference. In LNAI: Vol.\u00a03625. Proceedings of ILP\u201905 (pp.\u00a0154\u2013171). Berlin: Springer."},{"key":"5341_CR18","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/s10844-006-5450-2","volume":"26","author":"K. Inoue","year":"2006","unstructured":"Inoue, K., Iwanuma, K., & Nabeshima, H. (2006). Consequence finding and computing answers with defaults. Journal of Intelligent Information Systems, 26, 41\u201358.","journal-title":"Journal of Intelligent Information Systems"},{"key":"5341_CR19","first-page":"810","volume-title":"Proceedings of IJCAI-09","author":"K. Inoue","year":"2009","unstructured":"Inoue, K., Sato, T., Ishihata, M., Kameya, Y., & Nabeshima, H. (2009). Evaluating abductive hypotheses using an EM algorithm on BDDs. In Proceedings of IJCAI-09 (pp.\u00a0810\u2013815)."},{"key":"5341_CR20","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/978-3-642-13840-9_6","volume-title":"Inductive logic programming: revised papers from the 19th international conference (ILP\u201909)","author":"K. Inoue","year":"2010","unstructured":"Inoue, K., Furukawa, K., Kobayashi, I., & Nabeshima, H. (2010). Discovering rules by meta-level abduction. In L. De Raedt (Ed.), LNAI: Vol.\u00a05989. Inductive logic programming: revised papers from the 19th international conference (ILP\u201909) (pp.\u00a049\u201364). Berlin: Springer."},{"key":"5341_CR21","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/978-3-642-21295-6_15","volume-title":"Inductive logic programming: revised papers from the 20th international conference (ILP\u201910)","author":"K. Inoue","year":"2011","unstructured":"Inoue, K., Doncescu, A., & Nabeshima, H. (2011). Hypothesizing about networks with positive and negative effects by meta-level abduction. In P. Frasconi & F. A. Lisi (Eds.), LNAI: Vol.\u00a06489. Inductive logic programming: revised papers from the 20th international conference (ILP\u201910) (pp.\u00a0114\u2013129). Berlin: Springer."},{"key":"5341_CR22","doi-asserted-by":"crossref","first-page":"593","DOI":"10.1126\/science.1132067","volume":"316","author":"N. Ishii","year":"2007","unstructured":"Ishii, N., Nakahigashi, K., Baba, T., et al. (2007). Multiple high-throughput analyses monitor the response of E. coli to perturbations. Science, 316, 593\u2013597.","journal-title":"Science"},{"key":"5341_CR23","series-title":"LNAI","first-page":"245","volume-title":"Proceedings of JELIA\u201902","author":"K. Iwanuma","year":"2002","unstructured":"Iwanuma, K., & Inoue, K. (2002). Minimal answer computation and SOL. In LNAI: Vol.\u00a02424. Proceedings of JELIA\u201902 (pp.\u00a0245\u2013257). Berlin: Springer."},{"issue":"3","key":"5341_CR24","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/0020-0190(88)90065-8","volume":"27","author":"D. Johnson","year":"1988","unstructured":"Johnson, D., Yannakakis, M., & Papadimitriou, C. (1988). On generating all maximal independent sets. Information Processing Letters, 27(3), 119\u2013123.","journal-title":"Information Processing Letters"},{"key":"5341_CR25","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/3540635149_47","volume-title":"Proceedings of the 7th international workshop on inductive logic programming","author":"A. C. Kakas","year":"1997","unstructured":"Kakas, A. C., & Riguzzi, F. (1997). Learning with abduction. In LNAI: Vol.\u00a01297. Proceedings of the 7th international workshop on inductive logic programming (pp.\u00a0181\u2013188). Berlin: Springer."},{"key":"5341_CR26","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195079517.001.0001","volume-title":"The origins of order: self-organization and selection in evolution","author":"S. A. Kauffman","year":"1993","unstructured":"Kauffman, S. A. (1993). The origins of order: self-organization and selection in evolution. London: Oxford University Press."},{"key":"5341_CR27","series-title":"LNAI","first-page":"169","volume-title":"Proceedings of LPNMR\u201909","author":"T. Kimber","year":"2009","unstructured":"Kimber, T., Broda, K., & Russo, A. (2009). Induction on failure: learning connected Horn theories. In LNAI: Vol.\u00a05753. Proceedings of LPNMR\u201909 (pp.\u00a0169\u2013181). Berlin: Springer."},{"key":"5341_CR28","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1038\/nature02236","volume":"427","author":"R. D. King","year":"2004","unstructured":"King, R. D., Whelan, K. E., Jones, F. M., Reiser, P. G. K., Bryant, C. H., Muggleton, S. H., Kell, D. B., & Oliver, S. G. (2004). Functional genomic hypothesis generation and experimentation by a robot scientist. Nature, 427, 247\u2013252.","journal-title":"Nature"},{"key":"5341_CR29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-76274-1_1","volume-title":"Computational logic","author":"R. A. Kowalski","year":"1990","unstructured":"Kowalski, R. A. (1990). Problems and promises of computational logic. In J. W. Lloyd (Ed.), Computational logic (pp.\u00a01\u201336)."},{"issue":"1","key":"5341_CR30","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. A. Kowalski","year":"1986","unstructured":"Kowalski, R. A., & Sergot, M. J. (1986). A logic-based calculus of events. New Generation Computing, 4(1), 67\u201395.","journal-title":"New Generation Computing"},{"key":"5341_CR31","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/978-94-017-0606-3_15","volume-title":"Abduction and induction\u2014essays on their relation and integration","author":"E. Lamma","year":"2000","unstructured":"Lamma, E., Mello, P., Milano, M., Riguzzi, F., Esposito, F., Ferilli, S., & Semeraro, G. (2000). Cooperation of abduction and induction in logic programming. In Abduction and induction\u2014essays on their relation and integration (pp.\u00a0233\u2013252)."},{"key":"5341_CR32","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/S0004-3702(01)00073-X","volume":"128","author":"H. Leitgeb","year":"2001","unstructured":"Leitgeb, H. (2001). Nonmonotonic reasoning by inhibition nets. Artificial Intelligence, 128, 161\u2013201.","journal-title":"Artificial Intelligence"},{"key":"5341_CR33","first-page":"495","volume-title":"Proceedings of the AINA-2011 workshop on bioinformatics and life science modeling and computing","author":"G. Lejay","year":"2011","unstructured":"Lejay, G., Inoue, K., & Doncescu, A. (2011). Application of meta-level abduction for the treatment of hypertension using SOLAR. In Proceedings of the AINA-2011 workshop on bioinformatics and life science modeling and computing (pp.\u00a0495\u2013500). Los Alamitos: IEEE Comput. Soc."},{"key":"5341_CR34","doi-asserted-by":"crossref","first-page":"843","DOI":"10.1016\/j.devcel.2005.11.006","volume":"9","author":"S. Mandal","year":"2005","unstructured":"Mandal, S., Guptan, P., Owusu-Ansah, E., & Banerjee, U. (2005). Mitochondrial regulation of cell cycle progression during development as revealed by the tenured mutation in Drosophila. Developmental Cell, 9, 843\u2013854.","journal-title":"Developmental Cell"},{"issue":"4","key":"5341_CR35","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1083\/jcb.200912024","volume":"188","author":"S. Mandal","year":"2010","unstructured":"Mandal, S., Freije, W. A., Guptan, P., & Banerjee, U. (2010). Metabolic control of G1\u2013S transition: cyclin E degradation by p53-induced activation of the ubiquitin-proteasome system. The Journal of Cell Biology, 188(4), 473\u2013479.","journal-title":"The Journal of Cell Biology"},{"key":"5341_CR36","doi-asserted-by":"crossref","first-page":"714","DOI":"10.1038\/nrc2716","volume":"9","author":"D. W. Meek","year":"2009","unstructured":"Meek, D. W. (2009). Tumour suppression by p53: a role for the DNA damage response? Nature Reviews. Cancer, 9, 714\u2013723.","journal-title":"Nature Reviews. Cancer"},{"key":"5341_CR37","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/978-94-017-0606-3_12","volume-title":"Abduction and induction\u2014essays on their relation and integration","author":"R. Mooney","year":"2000","unstructured":"Mooney, R. (2000). Integrating abduction and induction in machine learning. In Abduction and induction\u2014essays on their relation and integration (pp.\u00a0181\u2013191)."},{"key":"5341_CR38","series-title":"LNAI","first-page":"182","volume-title":"Proceedings of ILP\u201902","author":"S. Moyle","year":"2003","unstructured":"Moyle, S. (2003). Using theory completion to learn a robot navigation control programs. In LNAI: Vol.\u00a02583. Proceedings of ILP\u201902 (pp.\u00a0182\u2013197). Berlin: Springer."},{"issue":"3\/4","key":"5341_CR39","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S. Muggleton","year":"1995","unstructured":"Muggleton, S. (1995). Inverse entailment and Progol. New Generation Computing, 13(3\/4), 245\u2013286.","journal-title":"New Generation Computing"},{"key":"5341_CR40","series-title":"LNAI","first-page":"130","volume-title":"Proceedings of ILP 2000","author":"S. Muggleton","year":"2000","unstructured":"Muggleton, S., & Bryant, C. (2000). Theory completion and inverse entailment. In LNAI: Vol.\u00a01866. Proceedings of ILP 2000 (pp.\u00a0130\u2013146). Berlin: Springer."},{"key":"5341_CR41","first-page":"339","volume-title":"Proceedings of the 5th international workshop on machine learning","author":"S. Muggleton","year":"1988","unstructured":"Muggleton, S., & Buntine, W. (1988). Machine invention of first-order predicate by inverting resolution. In Proceedings of the 5th international workshop on machine learning (pp.\u00a0339\u2013351). San Mateo: Morgan Kaufmann."},{"key":"5341_CR42","series-title":"LCNS","first-page":"687","volume-title":"Proceedings of ICLP\u201908","author":"S. Muggleton","year":"2008","unstructured":"Muggleton, S., Santos, J. C. A., & Tamaddoni-Nezhad, A. (2008). Toplog: ILP using a logic program declarative bias. In LCNS: Vol.\u00a05366. Proceedings of ICLP\u201908 (pp.\u00a0687\u2013692). Berlin: Springer."},{"issue":"1","key":"5341_CR43","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s10994-011-5259-2","volume":"86","author":"S. H. Muggleton","year":"2012","unstructured":"Muggleton, S. H., De Raedt, L., Poole, D., Bratko, I., Flach, P., Inoue, K., & Srinivasan, A. (2012). ILP turns 20\u2014Biography and future challenges. Machine Learning, 86(1), 3\u201323.","journal-title":"Machine Learning"},{"key":"5341_CR44","series-title":"LNAI","first-page":"257","volume-title":"Proceedings of TABLEAUX\u201903","author":"H. Nabeshima","year":"2003","unstructured":"Nabeshima, H., Iwanuma, K., & Inoue, K. (2003). SOLAR: a consequence finding system for advanced reasoning. In LNAI: Vol.\u00a02796. Proceedings of TABLEAUX\u201903 (pp.\u00a0257\u2013263). Berlin: Springer."},{"issue":"2\u20133","key":"5341_CR45","doi-asserted-by":"crossref","first-page":"183","DOI":"10.3233\/AIC-2010-0465","volume":"23","author":"H. Nabeshima","year":"2010","unstructured":"Nabeshima, H., Iwanuma, K., Inoue, K., & Ray, O. (2010). SOLAR: An automated deduction system for consequence finding. AI Communications, 23(2\u20133), 183\u2013203.","journal-title":"AI Communications"},{"key":"5341_CR46","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1038\/msb.2009.65","volume":"5","author":"K. Nakahigashi","year":"2009","unstructured":"Nakahigashi, K., Toya, Y., Ishii, N., Soga, T., Hasegawa, M., Watanabe, H., Takai, Y., Honma, M., Mori, H., & Tomita, M. (2009). Systematic phenome analysis of Escherichia coli multiple-knockout mutants reveals hidden reactions in central carbon metabolism. Molecular Systems Biology, 5, 306.","journal-title":"Molecular Systems Biology"},{"key":"5341_CR47","series-title":"LNAI","first-page":"279","volume-title":"Proceedings of ILP\u201905","author":"R. P. Otero","year":"2005","unstructured":"Otero, R. P. (2005). Induction of the indirect effects of actions by monotonic methods. In LNAI: Vol.\u00a03625. Proceedings of ILP\u201905 (pp.\u00a0279\u2013294). Berlin: Springer."},{"key":"5341_CR48","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511803161","volume-title":"Causality: models, reasoning, and inference","author":"J. Pearl","year":"2009","unstructured":"Pearl, J. (2009). Causality: models, reasoning, and inference (2nd ed.). Cambridge: Cambridge University Press.","edition":"2"},{"key":"5341_CR49","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. Poole","year":"1988","unstructured":"Poole, D. (1988). A logical framework for default reasoning. Artificial Intelligence, 36, 27\u201347.","journal-title":"Artificial Intelligence"},{"key":"5341_CR50","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1002\/(SICI)1096-9896(199901)187:1<112::AID-PATH250>3.0.CO;2-3","volume":"187","author":"C. Prives","year":"1999","unstructured":"Prives, C., & Hall, P. A. (1999). The p53 pathway. Journal of Pathology, 187, 112\u2013126.","journal-title":"Journal of Pathology"},{"key":"5341_CR51","first-page":"18","volume-title":"Proceedings of the 2009 IEEE international workshop on bioinformatics and life science modeling and computing","author":"O. Ray","year":"2009","unstructured":"Ray, O. (2009). Towards a rational approach for the logical modelling of inhibition in metabolic networks. In Proceedings of the 2009 IEEE international workshop on bioinformatics and life science modeling and computing (pp.\u00a018\u2013923)."},{"key":"5341_CR52","series-title":"LNAI","first-page":"173","volume-title":"Proceedings of the 10th international conference on discovery science","author":"O. Ray","year":"2007","unstructured":"Ray, O., & Inoue, K. (2007). A consequence finding approach for full clausal abduction. In LNAI: Vol.\u00a04755. Proceedings of the 10th international conference on discovery science (pp.\u00a0173\u2013184). Berlin: Springer."},{"key":"5341_CR53","series-title":"LNAI","first-page":"225","volume-title":"Proceedings of ILP\u201907","author":"O. Ray","year":"2008","unstructured":"Ray, O., & Inoue, K. (2008). Mode-directed inverse entailment for full clausal theories. In LNAI: Vol.\u00a04894. Proceedings of ILP\u201907 (pp.\u00a0225\u2013238). Berlin: Springer."},{"key":"5341_CR54","series-title":"LNAI","first-page":"311","volume-title":"Proceedings of ILP\u201903","author":"O. Ray","year":"2003","unstructured":"Ray, O., Broda, K., & Russo, A. (2003). Hybrid abductive inductive learning: a generalisation of Progol. In LNAI: Vol.\u00a02835. Proceedings of ILP\u201903 (pp.\u00a0311\u2013328). Berlin: Springer."},{"key":"5341_CR55","first-page":"661","volume-title":"Proceedings of the 3rd international workshop on intelligent informatics in biology and medicine","author":"O. Ray","year":"2010","unstructured":"Ray, O., Whelan, K., & King, R. (2010). Logic-based steady-state analysis and revision of metabolic networks with inhibition. In Proceedings of the 3rd international workshop on intelligent informatics in biology and medicine (pp.\u00a0661\u2013666)."},{"issue":"024","key":"5341_CR56","first-page":"223","volume":"5-B2","author":"P. G. K. Reiser","year":"2001","unstructured":"Reiser, P. G. K., King, R. D., Kell, D. B., Muggleton, S. H., Bryant, C. H., & Oliver, S. G. (2001). Developing a logical model of yeast metabolism. Electronic Transactions in Artificial Intelligence, 5-B2(024), 223\u2013244.","journal-title":"Electronic Transactions in Artificial Intelligence"},{"key":"5341_CR57","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R. (1980). A logic for default reasoning. Artificial Intelligence, 13, 81\u2013132.","journal-title":"Artificial Intelligence"},{"key":"5341_CR58","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/978-94-017-0606-3_16","volume-title":"Abduction and induction\u2014essays on their relation and integration","author":"C. Sakama","year":"2000","unstructured":"Sakama, C. (2000). Abductive generalization and specialization. In Abduction and induction\u2014essays on their relation and integration (pp.\u00a0253\u2013265)."},{"key":"5341_CR59","series-title":"LNAI","first-page":"312","volume-title":"Proceedings of ICLP\u201909","author":"T. Schaub","year":"2009","unstructured":"Schaub, T., & Thiele, S. (2009). Metabolic network expansion with answer set programming. In LNAI: Vol.\u00a05649. Proceedings of ICLP\u201909 (pp.\u00a0312\u2013326). Berlin: Springer."},{"issue":"2","key":"5341_CR60","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/s11229-007-9223-4","volume":"164","author":"G. Schurz","year":"2008","unstructured":"Schurz, G. (2008). Patterns of abduction. Synthese, 164(2), 201\u2013234.","journal-title":"Synthese"},{"key":"5341_CR61","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/S0743-1066(99)00077-1","volume":"44","author":"M. Shanahan","year":"2000","unstructured":"Shanahan, M. (2000). An abductive event calculus planner. The Journal of Logic Programming, 44, 207\u2013239.","journal-title":"The Journal of Logic Programming"},{"issue":"2","key":"5341_CR62","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1093\/bioinformatics\/18.2.261","volume":"18","author":"I. Shmulevich","year":"2002","unstructured":"Shmulevich, I., Dougherty, E. R., Kim, S., & Zhang, W. (2002). Probabilistic Boolean networks: a rule-based uncertainty model for gene regulatory networks. Bioinformatics, 18(2), 261\u2013274.","journal-title":"Bioinformatics"},{"key":"5341_CR63","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/s10994-006-8988-x","volume":"65","author":"A. Tamaddoni-Nezhad","year":"2006","unstructured":"Tamaddoni-Nezhad, A., Chaleil, R., Kakas, A., & Muggleton, S. (2006). Application of abductive ILP to learning metabolic network inhibition from temporal data. Machine Learning, 65, 209\u2013230.","journal-title":"Machine Learning"},{"key":"5341_CR64","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/s10479-007-0175-3","volume":"153","author":"V. T\u2019kindt","year":"2007","unstructured":"T\u2019kindt, V., Bouibede-Hocine, K., & Esswein, C. (2007). Counting and enumeration complexity with application to multicriteria scheduling. Annals of Operations Research, 153, 215\u2013234.","journal-title":"Annals of Operations Research"},{"issue":"3","key":"5341_CR65","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/j.jal.2008.10.001","volume":"7","author":"N. Tran","year":"2009","unstructured":"Tran, N., & Baral, C. (2009). Hypothesizing about signaling networks. Journal of Applied Logic, 7(3), 253\u2013274.","journal-title":"Journal of Applied Logic"},{"key":"5341_CR66","volume-title":"Robustness and evolvability in living systems","author":"A. Wagner","year":"2005","unstructured":"Wagner, A. (2005). Robustness and evolvability in living systems. Princeton: Princeton University Press."},{"key":"5341_CR67","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/978-94-017-0606-3_17","volume-title":"Abduction and induction\u2014essays on their relation and integration","author":"A. Yamamoto","year":"2000","unstructured":"Yamamoto, A. (2000). Using abduction for induction based on bottom generalization. In Abduction and induction\u2014essays on their relation and integration (pp.\u00a0267\u2013280)."},{"key":"5341_CR68","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1002\/9780470556757.ch9","volume-title":"Elements of computational systems biology","author":"Y. Yamamoto","year":"2010","unstructured":"Yamamoto, Y., Inoue, K., & Doncescu, A. (2010). Integrating abduction and induction in biological inference using CF-induction. In H. Lodhi & S. Muggleton (Eds.), Elements of computational systems biology (pp.\u00a0213\u2013234). New York: Wiley."},{"issue":"3","key":"5341_CR69","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1093\/bioinformatics\/btf871","volume":"19","author":"B. Zupan","year":"2003","unstructured":"Zupan, B., Demsar, J., Bratko, I., Juvan, P., Halter, J. A., Kuspa, A., & Shaulsky, G. (2003). GenePath: a\u00a0system for automated construction of genetic networks from mutant data. Bioinformatics, 19(3), 383\u2013389.","journal-title":"Bioinformatics"}],"container-title":["Machine Learning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10994-013-5341-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10994-013-5341-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10994-013-5341-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,8]],"date-time":"2024-05-08T07:20:51Z","timestamp":1715152851000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10994-013-5341-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4,3]]},"references-count":69,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,5]]}},"alternative-id":["5341"],"URL":"https:\/\/doi.org\/10.1007\/s10994-013-5341-z","relation":{},"ISSN":["0885-6125","1573-0565"],"issn-type":[{"value":"0885-6125","type":"print"},{"value":"1573-0565","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,4,3]]}}}