{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:21:15Z","timestamp":1725585675117},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642212949"},{"type":"electronic","value":"9783642212956"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21295-6_15","type":"book-chapter","created":{"date-parts":[[2011,6,12]],"date-time":"2011-06-12T22:36:51Z","timestamp":1307918211000},"page":"114-129","source":"Crossref","is-referenced-by-count":3,"title":["Hypothesizing about Causal Networks with Positive and Negative Effects by Meta-level Abduction"],"prefix":"10.1007","author":[{"given":"Katsumi","family":"Inoue","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrei","family":"Doncescu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hidetomo","family":"Nabeshima","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-642-04414-4_14","volume-title":"Algorithmic Learning Theory","author":"T. Akutsu","year":"2009","unstructured":"Akutsu, T., Tamura, T., Horimoto, K.: Completing Networks Using Observed Data. In: Gavald\u00e0, R., Lugosi, G., Zeugmann, T., Zilles, S. (eds.) ALT 2009. LNCS, vol.\u00a05809, pp. 126\u2013140. Springer, Heidelberg (2009)"},{"issue":"suppl.1","key":"15_CR2","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1093\/bioinformatics\/btg1014","volume":"19","author":"I. Gat-Viks","year":"2003","unstructured":"Gat-Viks, I., Shamir, R.: Chain functions and scoring functions in genetic networks. Bioinformatics\u00a019(suppl.1), i108\u2013i117 (2003)","journal-title":"Bioinformatics"},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0004-3702(92)90030-2","volume":"56","author":"K. Inoue","year":"1992","unstructured":"Inoue, K.: Linear resolution for consequence finding. Artificial Intelligence\u00a056, 301\u2013353 (1992)","journal-title":"Artificial Intelligence"},{"key":"15_CR4","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1023\/B:MACH.0000023149.72125.e2","volume":"55","author":"K. Inoue","year":"2004","unstructured":"Inoue, K.: Induction as consequence finding. Machine Learning\u00a055, 109\u2013135 (2004)","journal-title":"Machine Learning"},{"key":"15_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/11536314_10","volume-title":"Inductive Logic Programming","author":"K. Inoue","year":"2005","unstructured":"Inoue, K., Bando, H., Nabeshima, H.: Inducing Causal Laws by Regular Inference. In: Kramer, S., Pfahringer, B. (eds.) ILP 2005. LNCS (LNAI), vol.\u00a03625, pp. 154\u2013171. Springer, Heidelberg (2005)"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-642-13840-9_6","volume-title":"Inductive Logic Programming","author":"K. Inoue","year":"2010","unstructured":"Inoue, K., Furukawa, K., Kobayashi, I., Nabeshima, H.: Discovering Rules by Meta-level Abduction. In: De Raedt, L. (ed.) ILP 2009. LNCS, vol.\u00a05989, pp. 49\u201364. Springer, Heidelberg (2010)"},{"key":"15_CR7","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/s10844-006-5450-2","volume":"26","author":"K. Inoue","year":"2006","unstructured":"Inoue, K., Iwanuma, K., Nabeshima, H.: Consequence finding and computing answers with defaults. Journal of Intelligent Information Systems\u00a026, 41\u201358 (2006)","journal-title":"Journal of Intelligent Information Systems"},{"key":"15_CR8","unstructured":"Inoue, K., Sato, T., Ishihata, M., Kameya, Y., Nabeshima, H.: Evaluating abductive hypotheses using an EM algorithm on BDDs. In: Proceedings of IJCAI 2009, pp. 810\u2013815 (2009)"},{"key":"15_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/3-540-45757-7_21","volume-title":"Logics in Artificial Intelligence","author":"K. Iwanuma","year":"2002","unstructured":"Iwanuma, K., Inoue, K.: Minimal Answer Computation and SOL. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 245\u2013257. Springer, Heidelberg (2002)"},{"key":"15_CR10","doi-asserted-by":"publisher","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.: Functional genomic hypothesis generation and experimentation by a robot scientist. Nature\u00a0427, 247\u2013252 (2004)","journal-title":"Nature"},{"key":"15_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/3-540-36468-4_12","volume-title":"Inductive Logic Programming","author":"S. Moyle","year":"2003","unstructured":"Moyle, S.: Using Theory Completion to Learn a Robot Navigation Control Program. In: Matwin, S., Sammut, C. (eds.) ILP 2002. LNCS (LNAI), vol.\u00a02583, pp. 182\u2013197. Springer, Heidelberg (2003)"},{"key":"15_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/3-540-44960-4_8","volume-title":"Inductive Logic Programming","author":"S.H. Muggleton","year":"2000","unstructured":"Muggleton, S.H., Bryant, C.H.: Theory Completion Using Inverse Entailment. In: Cussens, J., Frisch, A.M. (eds.) ILP 2000. LNCS (LNAI), vol.\u00a01866, pp. 130\u2013146. Springer, Heidelberg (2000)"},{"key":"15_CR13","first-page":"339","volume-title":"Proceedings of the 5th International Workshop on Machine Learning","author":"S. Muggleton","year":"1988","unstructured":"Muggleton, S., Buntine, W.: Machine invention of first-order predicate by inverting resolution. In: Proceedings of the 5th International Workshop on Machine Learning, pp. 339\u2013351. Morgan Kaufmann, San Francisco (1988)"},{"key":"15_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-540-45206-5_22","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"H. Nabeshima","year":"2003","unstructured":"Nabeshima, H., Iwanuma, K., Inoue, K.: SOLAR: A consequence finding system for advanced reasoning. In: Cialdea Mayer, M., Pirri, F. (eds.) TABLEAUX 2003. LNCS, vol.\u00a02796, pp. 257\u2013263. Springer, Heidelberg (2003)"},{"issue":"2\u20133","key":"15_CR15","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.: SOLAR: An automated deduction system for consequence finding. AI Communications\u00a023(2\u20133), 183\u2013203 (2010)","journal-title":"AI Communications"},{"key":"15_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/11536314_17","volume-title":"Inductive Logic Programming","author":"R.P. Otero","year":"2005","unstructured":"Otero, R.P.: Induction of the Indirect Effects of Actions by Monotonic Methods. In: Kramer, S., Pfahringer, B. (eds.) ILP 2005. LNCS (LNAI), vol.\u00a03625, pp. 279\u2013294. Springer, Heidelberg (2005)"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Pearl, J.: Causality: Models, Reasoning, and Inference, 2nd edn., Cambridge (2009)","DOI":"10.1017\/CBO9780511803161"},{"key":"15_CR18","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. Poole","year":"1988","unstructured":"Poole, D.: A logical framework for default reasoning. Artificial Intelligence\u00a036, 27\u201347 (1988)","journal-title":"Artificial Intelligence"},{"key":"15_CR19","doi-asserted-by":"publisher","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.: The p53 pathway. Journal of Pathology\u00a0187, 112\u2013126 (1999)","journal-title":"Journal of Pathology"},{"key":"15_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-540-75488-6_17","volume-title":"Discovery Science","author":"O. Ray","year":"2007","unstructured":"Ray, O., Inoue, K.: A Consequence Finding Approach for Full Clausal Abduction. In: Corruble, V., Takeda, M., Suzuki, E. (eds.) DS 2007. LNCS (LNAI), vol.\u00a04755, pp. 173\u2013184. Springer, Heidelberg (2007)"},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"Ray, O., Whelan, K., King, R.: 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. 661\u2013666 (2010)","DOI":"10.1109\/CISIS.2010.184"},{"issue":"024","key":"15_CR22","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.: Developing a logical model of yeast metabolism. Electronic Transactions in Artificial Intelligence\u00a05-B2(024), 223\u2013244 (2001)","journal-title":"Electronic Transactions in Artificial Intelligence"},{"key":"15_CR23","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artificial Intelligence\u00a013, 81\u2013132 (1980)","journal-title":"Artificial Intelligence"},{"key":"15_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1007\/978-3-642-02846-5_27","volume-title":"Logic Programming","author":"T. Schaub","year":"2009","unstructured":"Schaub, T., Thiele, S.: Metabolic Network Expansion with Answer Set Programming. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol.\u00a05649, pp. 312\u2013326. Springer, Heidelberg (2009)"},{"issue":"2","key":"15_CR25","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/s11229-007-9223-4","volume":"164","author":"G. Schurz","year":"2008","unstructured":"Schurz, G.: Patterns of abduction. Synthese\u00a0164(2), 201\u2013234 (2008)","journal-title":"Synthese"},{"issue":"2","key":"15_CR26","doi-asserted-by":"publisher","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.: Probabilistic Boolean networks: A rule-based uncertainty model for gene regulatory networks. Bioinformatics\u00a018(2), 261\u2013274 (2002)","journal-title":"Bioinformatics"},{"key":"15_CR27","doi-asserted-by":"publisher","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.: Application of abductive ILP to learning metabolic network inhibition from temporal data. Machine Learning\u00a065, 209\u2013230 (2006)","journal-title":"Machine Learning"},{"issue":"3","key":"15_CR28","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/j.jal.2008.10.001","volume":"7","author":"N. Tran","year":"2009","unstructured":"Tran, N., Baral, C.: Hypothesizing about signaling networks. Journal of Applied Logic\u00a07(3), 253\u2013274 (2009)","journal-title":"Journal of Applied Logic"},{"key":"15_CR29","doi-asserted-by":"publisher","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.: Integrating abduction and induction in biological inference using CF-Induction. In: Lodhi, H., Muggleton, S. (eds.) Elements of Computational Systems Biology, pp. 213\u2013234. John Wiley & Sons, Chichester (2010)"},{"issue":"3","key":"15_CR30","doi-asserted-by":"publisher","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.: GenePath: A system for automated construction of genetic networks from mutant data. Bioinformatics\u00a019(3), 383\u2013389 (2003)","journal-title":"Bioinformatics"}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21295-6_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:02:35Z","timestamp":1606186955000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21295-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642212949","9783642212956"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21295-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}