{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,9]],"date-time":"2023-01-09T01:15:53Z","timestamp":1673226953645},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1995,12,1]],"date-time":"1995-12-01T00:00:00Z","timestamp":817776000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["NGCO"],"published-print":{"date-parts":[[1995,12]]},"DOI":"10.1007\/bf03037230","type":"journal-article","created":{"date-parts":[[2009,4,22]],"date-time":"2009-04-22T03:02:11Z","timestamp":1240369331000},"page":"335-368","source":"Crossref","is-referenced-by-count":20,"title":["Constrained relative least general generalization for Inducing Constraint Logic Programs"],"prefix":"10.1007","volume":"13","author":[{"given":"Fumio","family":"Mizoguchi","sequence":"first","affiliation":[]},{"given":"Hayato","family":"Ohwada","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF03037230_CR1","unstructured":"Dolsak, B. and Muggleton, S., \u201cThe Application of Inductive Logic Programming to Finite Element Mesh Design,\u201d inInductive Logic Programming (S. Muggleton, ed.), Chapter 23, Academic Press, pp. 453\u2013472, 1992."},{"key":"BF03037230_CR2","unstructured":"Gabbrielli, M. and Levi, G., \u201cModeling Answer Constraints in Constraint Logic Programming,\u201dProc. of the Eighth International Conference on Logic Programming, pp. 238\u2013252, 1991."},{"key":"BF03037230_CR3","doi-asserted-by":"crossref","unstructured":"Jaffar, J. and Lassez, J. L., \u201cConstraint Logic Programming,\u201dProc. of the 14th ACM Principles of Programming Languages Conference, pp. 111\u2013119., 1987.","DOI":"10.1145\/41625.41635"},{"issue":"3","key":"BF03037230_CR4","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/BF03037187","volume":"11","author":"J. Jaffar","year":"1993","unstructured":"Jaffar, J. et al., \u201cProjecting CLP(R) Constraints,\u201dNew Generation Computing, 11, 3 and4, pp. 449\u2013469, 1993.","journal-title":"New Generation Computing"},{"key":"BF03037230_CR5","unstructured":"Kawamura, T. and Furukawa, K., \u201cTowards Inductive Generalization in Constraint Logic Programs,\u201dTechnical Report, Faculty of Environmental Information, Keio University, 1993."},{"key":"BF03037230_CR6","doi-asserted-by":"crossref","unstructured":"Languley, P., \u201cRediscovering Chemistry with the BACON System,\u201d inMachine Learning (R. S. Michalski, J. G. Carbollel, and T. M. Mitchell, eds.), Morgan Kaufmann, pp. 307\u2013330, 1983.","DOI":"10.1016\/B978-0-08-051054-5.50014-5"},{"key":"BF03037230_CR7","unstructured":"Mizoguchi, F. and Ohwada, H., \u201cConstraint-Directed Generalization for Spatial Relations,\u201dProc. of the Second International Workshop on Inductive Logic Programming, ICOT TM-1182, pp. 142\u2013159, 1992."},{"key":"BF03037230_CR8","unstructured":"Mizoguchi, F., et al., \u201cA Constraint Logic Programming Approach to Floor Planning,\u201dProc. of the Second International Conference on Prolog Applications, 1994."},{"key":"BF03037230_CR9","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/BF03037089","volume":"8","author":"S. Muggleton","year":"1991","unstructured":"Muggleton, S., \u201cInductive Logic Programming,\u201dNew Generation Computing, 8, pp. 295\u2013318, 1991.","journal-title":"New Generation Computing"},{"key":"BF03037230_CR10","unstructured":"Muggleton, S. and Feng, C., \u201cEfficient Induction of Logic Programs,\u201dProc. of the First Conference on Algorithmic Learning Theory, Ohmsha, pp. 1\u201314, 1990."},{"issue":"1","key":"BF03037230_CR11","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/181668.181671","volume":"5","author":"S. Muggleton","year":"1994","unstructured":"Muggleton, S., \u201cInductive Logic Programming: Derivations, Successes and Shortcomings,\u201dSIGART Bulletin, 5, 1, pp. 5\u201311, 1994.","journal-title":"SIGART Bulletin"},{"key":"BF03037230_CR12","unstructured":"Page, C. D. Jr. and Frisch, A. M., \u201cGeneralizing Atoms in Constraint Logic,\u201dProc. of the Second International Conference on Principles of Knowledge Representation and Reasoning, pp. 429\u2013440, 1991."},{"issue":"5","key":"BF03037230_CR13","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1145\/360762.360817","volume":"18","author":"C. E. Pfefferkorn","year":"1975","unstructured":"Pfefferkorn, C. E., \u201cA Heuristic Problem Solving Design System for Equipment or Furniture Layouts,\u201dCommunications of the ACM, 18, 5, pp. 286\u2013297, 1975.","journal-title":"Communications of the ACM"},{"key":"BF03037230_CR14","unstructured":"Plotkin, G. D., \u201cA Note on Inductive Generalization,\u201dMachine Intelligence (B. Meltzer and D. Michie, eds.), Edinburgh University Press, pp. 153\u2013163, 1970."},{"key":"BF03037230_CR15","first-page":"239","volume":"5","author":"J. R. Quinlan","year":"1990","unstructured":"Quinlan, J. R., \u201cLearning Logical Definitions from Relations,\u201dMachine Learning, 5, pp. 239\u2013266, 1990.","journal-title":"Machine Learning"},{"key":"BF03037230_CR16","doi-asserted-by":"crossref","unstructured":"Quinlan, J. R., \u201cDeterminate Literals in Inductive Logic Programming,\u201dProc. of the Twelfth International Joint Conference on Artificial Intelligence, pp. 746\u2013750, 1991.","DOI":"10.1016\/B978-1-55860-200-7.50091-X"},{"key":"BF03037230_CR17","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0890-5401(89)90010-2","volume":"80","author":"J.R. Quinlan","year":"1989","unstructured":"Quinlan, J.R. and Rivest, R. L., \u201cInferring Decision Trees Using the Minimum Description Length Principle,\u201dInformation and Computation., 80 pp. 227\u2013248, 1989.","journal-title":"Information and Computation."},{"key":"BF03037230_CR18","unstructured":"Rouveirol, C., \u201cExtensions of Inversion of Resolution Applied to Theory completion,\u201d inInductive Logic Programming (S. Muggleton, ed.), Academic Press, pp. 63\u201392, 1992."},{"key":"BF03037230_CR19","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1016\/0005-1098(78)90005-5","volume":"14","author":"J. Rissanen","year":"1978","unstructured":"Rissanen, J., \u201cModeling by Shortest Data Description,\u201dAutomatica, 14, pp. 465\u2013471, 1978.","journal-title":"Automatica"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037230.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037230\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037230","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T00:52:32Z","timestamp":1558572752000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037230"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,12]]},"references-count":19,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1995,12]]}},"alternative-id":["BF03037230"],"URL":"https:\/\/doi.org\/10.1007\/bf03037230","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,12]]}}}