{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:48:38Z","timestamp":1725896918792},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642319501"},{"type":"electronic","value":"9783642319518"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31951-8_31","type":"book-chapter","created":{"date-parts":[[2012,7,21]],"date-time":"2012-07-21T00:56:20Z","timestamp":1342832180000},"page":"373-388","source":"Crossref","is-referenced-by-count":1,"title":["Comparison of Upward and Downward Generalizations in CF-Induction"],"prefix":"10.1007","author":[{"given":"Yoshitaka","family":"Yamamoto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katsumi","family":"Inoue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Koji","family":"Iwanuma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"31_CR1","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1186\/1752-0509-3-7","volume":"3","author":"T.S. Christensen","year":"2009","unstructured":"Christensen, T.S., Oliveira, A.P., Nielsen, J.: Reconstruction and logical modeling of glucose repression signaling pathways in Saccharomyces cerevisiae. BMC Systems Biology\u00a03, 7 (2009), doi:10.1186\/1752-0509-3-7","journal-title":"BMC Systems Biology"},{"key":"31_CR2","doi-asserted-by":"publisher","first-page":"2035","DOI":"10.1016\/j.dam.2007.04.017","volume":"156","author":"T. Eiter","year":"2008","unstructured":"Eiter, T., Makino, K., Gottlob, G.: Computational aspects of monotone dualization: a brief survey. Discrete Applied Mathematics\u00a0156, 2035\u20132049 (2008)","journal-title":"Discrete Applied Mathematics"},{"issue":"2","key":"31_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(2), 109\u2013135 (2004)","journal-title":"Machine Learning"},{"issue":"2-3","key":"31_CR4","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(2-3), 301\u2013353 (1992)","journal-title":"Artificial Intelligence"},{"key":"31_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-642-04238-6_16","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Kimber","year":"2009","unstructured":"Kimber, T., Broda, K., Russo, A.: Induction on Failure: Learning Connected Horn Theories. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 169\u2013181. Springer, Heidelberg (2009)"},{"key":"31_CR6","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S.H. Muggleton","year":"1995","unstructured":"Muggleton, S.H.: Inverse entailment and Progol. New Generation Computing\u00a013, 245\u2013286 (1995)","journal-title":"New Generation Computing"},{"key":"31_CR7","doi-asserted-by":"crossref","unstructured":"Muggleton, S.H., Buntine, W.L.: Machine invention of first-order predicates by inverting resolution. In: Proc. of the 5th Int. Conf. on Machine Learning, pp. 339\u2013352 (1988)","DOI":"10.1016\/B978-0-934613-64-4.50040-2"},{"key":"31_CR8","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)"},{"key":"31_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-62927-0","volume-title":"Foundations of Inductive Logic Programming","author":"S.-H. Nienhuys-Cheng","year":"1997","unstructured":"Nienhuys-Cheng, S.-H., de Wolf, R.: Foundations of Inductive Logic Programming. LNCS, vol.\u00a01228. Springer, Heidelberg (1997)"},{"key":"31_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-540-39917-9_21","volume-title":"Inductive Logic Programming","author":"O. Ray","year":"2003","unstructured":"Ray, O., Broda, K., Russo, A.: Hybrid Abductive Inductive Learning: A Generalisation of Progol. In: Horv\u00e1th, T., Yamamoto, A. (eds.) ILP 2003. LNCS (LNAI), vol.\u00a02835, pp. 311\u2013328. Springer, Heidelberg (2003)"},{"key":"31_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/978-3-540-78469-2_23","volume-title":"Inductive Logic Programming","author":"O. Ray","year":"2008","unstructured":"Ray, O., Inoue, K.: Mode-Directed Inverse Entailment for Full Clausal Theories. In: Blockeel, H., Ramon, J., Shavlik, J., Tadepalli, P. (eds.) ILP 2007. LNCS (LNAI), vol.\u00a04894, pp. 225\u2013238. Springer, Heidelberg (2008)"},{"key":"31_CR12","doi-asserted-by":"crossref","unstructured":"Rymon, R.: An SE-tree based prime implicant generation algorithm. Annals of Mathematics and Artificial Intelligence, 351\u2013366 (1994)","DOI":"10.1007\/BF01530750"},{"key":"31_CR13","first-page":"9","volume":"29","author":"T. Uno","year":"2002","unstructured":"Uno, T.: A practical fast algorithm for enumerating minimal set coverings. IPSJ SIG Notes\u00a0(29), 9\u201316 (2002)","journal-title":"IPSJ SIG Notes"},{"key":"31_CR14","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1002\/bit.21135","volume":"96","author":"S.L. Westergaard","year":"2006","unstructured":"Westergaard, S.L., Oliveira, A.P., Bro, C., Olsson, L., Nielsen, J.: A systems biology approach to study glucose repression in the yeast Saccharomyces cerevisiae. Biotechnology and Bioengineering\u00a096, 134\u2013145 (2006)","journal-title":"Biotechnology and Bioengineering"},{"key":"31_CR15","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0304-3975(02)00416-4","volume":"298","author":"A. Yamamoto","year":"2003","unstructured":"Yamamoto, A.: Hypothesis finding based on upward refinement of residue hypotheses. Theoretical Computer Science\u00a0298, 5\u201319 (2003)","journal-title":"Theoretical Computer Science"},{"key":"31_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/978-3-540-78197-4_31","volume-title":"New Frontiers in Artificial Intelligence","author":"Y. Yamamoto","year":"2008","unstructured":"Yamamoto, Y., Ray, O., Inoue, K.: Towards a Logical Reconstruction of CF-Induction. In: Satoh, K., Inokuchi, A., Nagao, K., Kawamura, T. (eds.) JSAI 2007. LNCS (LNAI), vol.\u00a04914, pp. 330\u2013343. Springer, Heidelberg (2008)"},{"key":"31_CR17","unstructured":"Yamamoto, Y., Inoue, K., Iwanuma, K.: Hypothesis enumeration by CF-induction. In: Proc. of the 6th Workshop on Learning with Logics and Logics for Learning, pp. 80\u201387 (2009)"},{"issue":"1","key":"31_CR18","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/s10994-011-5250-y","volume":"86","author":"Y. Yamamoto","year":"2011","unstructured":"Yamamoto, Y., Inoue, K., Iwanuma, K.: Inverse subsumption for complete explanatory induction. Machine Learning\u00a086(1), 115\u2013139 (2011)","journal-title":"Machine Learning"}],"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-31951-8_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:52:04Z","timestamp":1620129124000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31951-8_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642319501","9783642319518"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31951-8_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}