{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:13:11Z","timestamp":1759637591012},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1999,3,1]],"date-time":"1999-03-01T00:00:00Z","timestamp":920246400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1999,3]]},"DOI":"10.1007\/bf03037585","type":"journal-article","created":{"date-parts":[[2009,4,23]],"date-time":"2009-04-23T23:31:34Z","timestamp":1240529494000},"page":"119-127","source":"Crossref","is-referenced-by-count":10,"title":["Revising the logical foundations of inductive logic programming systems with ground reduced programs"],"prefix":"10.1007","volume":"17","author":[{"given":"Akihiro","family":"Yamamoto","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF03037585_CR1","volume-title":"Inductive Logic Programming: From Machine Learning to Software Engineering","author":"F. Bergadano","year":"1996","unstructured":"Bergadano, F. and Gunetti, D.,Inductive Logic Programming: From Machine Learning to Software Engineering, the MIT Press, Cambridge, MA, 1996."},{"key":"BF03037585_CR2","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0004-3702(88)90001-X","volume":"36","author":"W. Buntine","year":"1988","unstructured":"Buntine, W., \u201cGeneralized Subsumption and its Applications to Induction and Redundancy,\u201dArtificial Intelligence, 36, pp. 149\u2013176, 1988.","journal-title":"Artificial Intelligence"},{"key":"BF03037585_CR3","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C.-L. Chang","year":"1973","unstructured":"Chang, C.-L. and Lee, R.C.-T.,Symbolic Logic and Mechanical Theorem Proving, Academic Press, Orlando, FL, 1973."},{"key":"BF03037585_CR4","doi-asserted-by":"crossref","unstructured":"Fujita, H., Yagi, N., Ozaki, T. and Furukawa, K., \u201cA New Design and Implementation of Progol by Bottom-up Computation,\u201d inProceedings of the 6th International Workshop on Inductive Logic Programming (LNAI 1314), Springer, pp. 163\u2013174, 1996.","DOI":"10.1007\/3-540-63494-0_54"},{"key":"BF03037585_CR5","doi-asserted-by":"crossref","unstructured":"Furukawa, K., Murakami, T. Ueno, K., Ozaki, T. and Shimazu, K., \u201cOn a Sufficient Condition for the Existence of Most Specific Hypothesis in Progol,\u201d inProceedings of the 7th International Workshop on Inductive Logic Programming (LNAI 1297), Springer, pp. 157\u2013164, 1997.","DOI":"10.1007\/3540635149_44"},{"key":"BF03037585_CR6","volume-title":"Inductive Logic Programming: Techniques and Applications","author":"N. Lavra\u010d","year":"1994","unstructured":"Lavra\u010d, N. and D\u017eeroski, S.,Inductive Logic Programming: Techniques and Applications, Ellis Horwood, Hemel Hempstead, 1994."},{"key":"BF03037585_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1987","unstructured":"Lloyd, J. W.,Foundations of Logic Programming (Second, Extended Edition), Springer-Verlag, Berlin, 1987.","edition":"Second, Extende"},{"key":"BF03037585_CR8","doi-asserted-by":"crossref","first-page":"627","DOI":"10.1016\/B978-0-934613-40-8.50020-8","volume-title":"Deductive Database and Logic Programming","author":"M.J. Maher","year":"1988","unstructured":"Maher, M.J., \u201cEquivalences of Logic Programs,\u201d inDeductive Database and Logic Programming (Minker, J. ed.), Morgan Kaufmann Los Altos, CA, pp. 627\u2013658, 1988."},{"key":"BF03037585_CR9","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S. Muggleton","year":"1995","unstructured":"Muggleton, S., \u201cInverse Entailment and Progol,\u201dNew Generation Computing, 13, pp. 245\u2013286, 1995.","journal-title":"New Generation Computing"},{"key":"BF03037585_CR10","first-page":"281","volume-title":"Inductive Logic Programming","author":"S. Muggleton","year":"1992","unstructured":"Muggleton, S. and Feng, C., \u201cEfficient Induction of Logic Programs,\u201d inInductive Logic Programming (Muggleton, S. ed.), Academic Press, London, pp. 281\u2013298, 1992."},{"key":"BF03037585_CR11","doi-asserted-by":"crossref","unstructured":"Muggleton, S., Page, D. and Srinivasan, A., \u201cAn Initial Experiment into Stereochemistry-based Drug Design using ILP,\u201d inProceedings of the 6th International Workshop on Inductive Logic Programming (LNAI 1314), Springer, pp. 25\u201340, 1996.","DOI":"10.1007\/3-540-63494-0_46"},{"key":"BF03037585_CR12","unstructured":"Plotkin, G.,Automatic Methods of Inductive Inference, Ph.D. Thesis, Edinburgh University, 1971."},{"key":"BF03037585_CR13","series-title":"Research Report YALEU\/DCS\/TR-192","volume-title":"Inductive Inference of Theories From Facts","author":"E. Shapiro","year":"1981","unstructured":"Shapiro, E., \u201cInductive Inference of Theories From Facts,\u201d Research Report YALEU\/DCS\/TR-192, Yale University, New Haven, CT, 1981. Reprinted inComputational Logic (Lassez, J.-L. and Plotkin, G. eds.), the MIT Press, Cambridge, MA, pp. 199\u2013254, 1991."},{"key":"BF03037585_CR14","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1007\/BF03037094","volume":"8","author":"T Shinohara","year":"1991","unstructured":"Shinohara, T, \u201cInductive Inference of Monotonic Formal Systems From Positive Data,\u201dNew Generation Computing, 8, pp. 371\u2013384, 1991.","journal-title":"New Generation Computing"},{"key":"BF03037585_CR15","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/0004-3702(95)00122-0","volume":"85","author":"A. Srinivasan","year":"1996","unstructured":"Srinivasan, A., Muggleton, S.H., Sternberg, M.J.E. and King, R.D., \u201cTheories for Mutagenicity: A Study in First-Order and Feature-based Induction,\u201dArtificial Intelligence, 85, pp. 277\u2013299, 1996.","journal-title":"Artificial Intelligence"},{"key":"BF03037585_CR16","doi-asserted-by":"crossref","unstructured":"Yamamoto, A., \u201cWhich Hypotheses Can Be Found with Inverse Entailment?\u201d inProceedings of the 7th International Workshop on Inductive Logic Programming (LNAI 1297), Springer, pp. 296\u2013308, 1997. The extended abstract is inProceedings of the IJCAI \u201997 Workshop on Frontiers of Inductive Logic Programming, pp. 19\u201323, 1997.","DOI":"10.1007\/3540635149_58"},{"key":"BF03037585_CR17","doi-asserted-by":"crossref","unstructured":"Yamamoto, A., \u201cAn Inference Method for the Complete Inverse of Relative Subsumption,\u201dNew Generation Computing, 17, 1998.","DOI":"10.1007\/BF03037584"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037585.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037585\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037585","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T20:52:40Z","timestamp":1558558360000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037585"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,3]]},"references-count":17,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999,3]]}},"alternative-id":["BF03037585"],"URL":"https:\/\/doi.org\/10.1007\/bf03037585","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,3]]}}}