{"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":1780058908893,"version":"3.54.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642138393","type":"print"},{"value":"9783642138409","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13840-9_6","type":"book-chapter","created":{"date-parts":[[2010,7,1]],"date-time":"2010-07-01T10:22:37Z","timestamp":1277979757000},"page":"49-64","source":"Crossref","is-referenced-by-count":15,"title":["Discovering Rules by Meta-level Abduction"],"prefix":"10.1007","author":[{"given":"Katsumi","family":"Inoue","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Koichi","family":"Furukawa","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ikuo","family":"Kobayashi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hidetomo","family":"Nabeshima","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Furukawa, K., Kobayashi, I., Inoue, K., Suwa, M.: Discovering knack by abductive reasoning. In: SIG-SKL (Skill Science). Japanese Society for Artificial Intelligence (January 2009) (in Japanese)"},{"key":"6_CR2","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":"6_CR3","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":"6_CR4","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":"6_CR5","unstructured":"Inoue, K., Furukawa, K., Kobayashi, I.: Abducing rules with predicate invention. In: 19th International Conference on Inductive Logic Programming (ILP 2009), Leuven, Belgium (July 2009)"},{"key":"6_CR6","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":"6_CR7","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":"6_CR8","unstructured":"Iwanuma, K., Inoue, K., Satoh, K.: Completeness of pruning methods for consequence finding procedure SOL. In: Proceedings of the 3rd International Workshop on First-Order Theorem Proving, pp. 89\u2013100 (2000)"},{"issue":"2","key":"6_CR9","first-page":"385","volume":"3","author":"I. Kobayashi","year":"2008","unstructured":"Kobayashi, I., Furukawa, K.: Modeling physical skill discovery and diagnosis by abduction. Information and Media Technologies\u00a03(2), 385\u2013398 (2008)","journal-title":"Information and Media Technologies"},{"key":"6_CR10","unstructured":"Kobayashi, I., Furukawa, K.: Hypothesis selection using domain theory in rule abductive support for skills. In: SIG-SKL (Skill Science). Japanese Society for Artificial Intelligence (August 2009) (in Japanese)"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1038\/nature02236","volume":"427","author":"R.D. King","year":"2004","unstructured":"King, R.D., et al.: Functional genomic hypothesis generation and experimentation by a robot scientist. Nature\u00a0427, 247\u2013252 (2004)","journal-title":"Nature"},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1126\/science.1165620","volume":"324","author":"R.D. King","year":"2009","unstructured":"King, R.D., et al.: The automation of science. Science\u00a0324, 85\u201389 (2009)","journal-title":"Science"},{"key":"6_CR13","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. Muggleton","year":"2000","unstructured":"Muggleton, S., Bryant, C.: Theory completion and inverse entailment. In: Cussens, J., Frisch, A.M. (eds.) ILP 2000. LNCS (LNAI), vol.\u00a01866, pp. 130\u2013146. Springer, Heidelberg (2000)"},{"key":"6_CR14","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":"6_CR15","series-title":"LNAI","doi-asserted-by":"crossref","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 (LNAI), vol.\u00a02796, pp. 257\u2013263. Springer, Heidelberg (2003)"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Nabeshima, H., Iwanuma, K., Inoue, K., Ray, O.: SOLAR: an automated deduction system for consequence finding. AI Communications, Special Issue on Practical Aspects of Automated Reasoning (2009) (to appear)","DOI":"10.3233\/AIC-2010-0465"},{"key":"6_CR17","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":"6_CR18","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)"},{"issue":"024","key":"6_CR19","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"},{"issue":"2","key":"6_CR20","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/BF00881955","volume":"13","author":"M.E. Stickel","year":"1994","unstructured":"Stickel, M.E.: Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction. Journal of Automated Reasoning\u00a013(2), 189\u2013210 (1994)","journal-title":"Journal of Automated Reasoning"},{"key":"6_CR21","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"},{"key":"6_CR22","volume-title":"Elements of Computational Systems Biology","author":"Y. Yamamoto","year":"2009","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. John Wiley & Sons, Chichester (2009) (to appear)"},{"issue":"3","key":"6_CR23","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1093\/bioinformatics\/btf871","volume":"19","author":"B. Zupan","year":"2003","unstructured":"Zupan, B., Dem\u0161ar, J., Bratko, I., Juvan, P., Halter, J., 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-13840-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,30]],"date-time":"2021-10-30T13:24:20Z","timestamp":1635600260000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13840-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642138393","9783642138409"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13840-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}