{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T04:46:07Z","timestamp":1649047567415},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1992,12,1]],"date-time":"1992-12-01T00:00:00Z","timestamp":723168000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[1992,12]]},"DOI":"10.1007\/bf01535524","type":"journal-article","created":{"date-parts":[[2005,4,19]],"date-time":"2005-04-19T12:23:39Z","timestamp":1113913419000},"page":"317-343","source":"Crossref","is-referenced-by-count":0,"title":["Purposive discovery of operators"],"prefix":"10.1007","volume":"6","author":[{"given":"Michael H.","family":"Sims","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John L.","family":"Bresina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","first-page":"499","volume-title":"Machine Learning: An Artificial Intelligence Approach, vol. 2","author":"S. Amarel","year":"1986","unstructured":"S. Amarel, Program synthesis as a theory formation task ? problem representations and solution methods, in:Machine Learning: An Artificial Intelligence Approach, vol. 2, eds. R.S. Michalski, J.G. Carbonell and T.M. Mitchell (Morgan Kaufmann, San Mateo, CA, 1986) pp. 499?569."},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"J. Backus, Can programming be liberated from the von Neumann style: A functional style and its algebra of programs, Commun. ACM (August 1978).","DOI":"10.1145\/359576.359579"},{"key":"CR3","volume-title":"The Handbook of Artificial Intelligence, vol. 2","author":"A. Barr","year":"1982","unstructured":"A. Barr and E.A. Feigenbaum,The Handbook of Artificial Intelligence, vol. 2 (William Kaufmann, Los Altos, Ca, 1982)."},{"key":"CR4","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0004-3702(90)90038-2","volume":"45","author":"R. Bhaskar","year":"1990","unstructured":"R. Bhaskar and N. Nigam, Qualitative physics using dimensional analysis, Art. Int. J. 45 (1990) 73?111.","journal-title":"Art. Int. J."},{"key":"CR5","unstructured":"D. Bjorner, A.P. Ershov and N.D. Jones (eds.),Workshop on Partial Evaluation and Mixed Computation, Lecture Notes in Computer Science (Springer, 1987)."},{"key":"CR6","unstructured":"W.W. Bledsoe, Using examples to generate instantiations of set variables, in:Proc. of IJCAI-83, Karlsruhe, Germany (1983) pp. 892?901."},{"key":"CR7","unstructured":"J.L. Bresina, REAPPR ? An expert system shell for planning, Technical Report LCSR-TR-119, Laboratory for Computer Science Research, Rutgers University (February, 1988)."},{"key":"CR8","volume-title":"The Computer Modelling of Mathematical Reasoning","author":"A. Bundy","year":"1983","unstructured":"A. Bundy,The Computer Modelling of Mathematical Reasoning (Academic Press, Orlando, FL, 1983)."},{"key":"CR9","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/B978-0-08-051055-2.50013-4","volume-title":"Machine Learning: An Artificial Intelligence Approach, vol. 3","author":"J.G. Carbonell","year":"1990","unstructured":"J.G. Carbonell and Y. Gil, Learning by experimentation: the operator refinement method, in:Machine Learning: An Artificial Intelligence Approach, vol. 3, eds. Y. Kodratoff and R.S. Michalski (Morgan Kaufmann, San Mateo, CA, 1990) pp. 191?213."},{"key":"CR10","volume-title":"On Numbers and Games","author":"J.H. Conway","year":"1976","unstructured":"J.H. Conway,On Numbers and Games (Academic Press, Orlando, FL, 1976)."},{"key":"CR11","unstructured":"S.L. Epstein, On the discovery of mathematical theorems, in:Proc. of IJCAI-87, Milan (Morgan Kaufmann, 1987) pp. 194?197."},{"key":"CR12","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511629143","volume-title":"An Introduction to the Theory of Surreal Numbers","author":"H. Gonshor","year":"1986","unstructured":"H. Gonshor,An Introduction to the Theory of Surreal Numbers (Cambridge University Press, New York, 1986)."},{"key":"CR13","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1016\/B978-0-08-051055-2.50021-3","volume-title":"Machine Learning: An Artificial Intelligence Approach, vol. 3","author":"H. Hirsh","year":"1990","unstructured":"H. Hirsh, Conditional operationality and explanation-based generalization, in:Machine Learning: An Artificial Intelligence Approach, vol. 3, eds. Y. Kodratoff and R.S. Michalski (Morgan Kaufmann, San Mateo, CA, 1990) pp. 383?395."},{"key":"CR14","unstructured":"S.T. Kedar-Cabelli, Formulating concepts and analogies according to purpose, Ph.D. Thesis, Rutgers University (May 1988)."},{"key":"CR15","unstructured":"R.M. Keller, Defining operationalization for explanation-based learning, in:Proc. of AAAI-87, Seattle, WA (Morgan Kaufmann, 1987) pp. 482?487."},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"M.M. Kokar, Determining arguments of invariant functional descriptions, Machine Learning (1986) 403?422.","DOI":"10.1007\/BF00114869"},{"key":"CR17","unstructured":"D.E. Knuth,Surreal Numbers (Addison-Wesley, 1974)."},{"key":"CR18","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139171472","volume-title":"Proofs and Refutations. The Logic of Mathematical Discovery","author":"I. Lakatos","year":"1976","unstructured":"I. Lakatos,Proofs and Refutations. The Logic of Mathematical Discovery, eds. Worrall and E. Zahar (Cambridge University Press, Cambridge, 1976)."},{"key":"CR19","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0004-3702(84)90016-X","volume":"23","author":"D. Lenat","year":"1984","unstructured":"D. Lenat and J.S. Brown, Why AM and Eurisko appear to work, Art. Int. J. 23 (1984) 269?294.","journal-title":"Art. Int. J."},{"key":"CR20","unstructured":"D. Lenat, Automatic theory formation in mathematics, in:Proc. of IJCAI-77, Cambridge, MA (1977) pp. 833?842."},{"key":"CR21","doi-asserted-by":"crossref","unstructured":"D. Lenat, EURISKO: A program that learns new heuristics and domain concepts. The nature of heuristics III: Program design and results, Art. Int. J. 21 (March, 1983).","DOI":"10.1016\/S0004-3702(83)80005-8"},{"key":"CR22","unstructured":"M.R. Lowry, Symmetry as bias: Rediscovering special relativity, in:Proc. of AAAI-92, San Jose, CA (AAAI Press, 1992) pp. 56?62."},{"key":"CR23","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/0004-3702(89)90047-7","volume":"40","author":"S.N. Minton","year":"1989","unstructured":"S.N. Minton, J.G. Carbonell, C.A. Knoblock, D.R. Kuokka, O. Etzioni and Y. Gil, Explanation-based learning: A problem solving perspective, Art. Int. J. 40 (1989) 63?118.","journal-title":"Art. Int. J."},{"key":"CR24","first-page":"47","volume":"1","author":"T.M. Mitchell","year":"1986","unstructured":"T.M. Mitchell, R.M. Keller and S.T. Kedar-Cabelli, Explanation-based generalization: a unifying view, Machine Learning 1 (1986) 47?80.","journal-title":"Machine Learning"},{"key":"CR25","first-page":"376","volume-title":"Searching for operational concept descriptions in BAR, MetaLEX, and EBG","author":"J. Mostow","year":"1987","unstructured":"J. Mostow, Searching for operational concept descriptions in BAR, MetaLEX, and EBG, in:Proc. Int. Machine Learning Workshop-87, University of California at Irvine, Irvine, CA (Morgan Kaufmann, 1987) pp. 376?382."},{"key":"CR26","volume-title":"Problem-solving Methods in Artificial Intelligence","author":"N.J. Nilsson","year":"1971","unstructured":"N.J. Nilsson,Problem-solving Methods in Artificial Intelligence (McGraw-Hill, New York, 1971)."},{"key":"CR27","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/0004-3702(90)90045-2","volume":"41","author":"W. Shen","year":"1990","unstructured":"W. Shen, Functional transformations in AI discovery systems, Art. Int. J. 41 (1990) 257?272.","journal-title":"Art. Int. J."},{"key":"CR28","doi-asserted-by":"crossref","unstructured":"M.H. Sims and J.L. Bresina, Discovering mathematical operator definitions,Proc. 6th Int. Workshop on Machine Learning, Cornell University (1989) pp. 308?313.","DOI":"10.1016\/B978-1-55860-036-2.50082-5"},{"key":"CR29","unstructured":"M.H. Sims, IL: an artificial intelligence approach to theory formation in mathematics, Ph.D. Thesis, Rutgers University (May 1990)."},{"key":"CR30","first-page":"134","volume-title":"Computers and Thought","author":"H. Gelernter","year":"1963","unstructured":"H. Gelernter, Realization of a geometry-theorem proving machine, in:Computers and Thought, eds. E. Feigenbaum and Feldman (McGraw-Hill, New York, 1963) pp. 134?152."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01535524\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01535524.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01535524\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01535524","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T00:17:10Z","timestamp":1586218630000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01535524"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,12]]},"references-count":30,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1992,12]]}},"alternative-id":["BF01535524"],"URL":"https:\/\/doi.org\/10.1007\/bf01535524","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,12]]}}}