{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,13]],"date-time":"2025-11-13T12:09:00Z","timestamp":1763035740381},"reference-count":37,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1980,8,1]],"date-time":"1980-08-01T00:00:00Z","timestamp":333936000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1980,8]]},"DOI":"10.1016\/0004-3702(80)90033-8","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T13:02:52Z","timestamp":1047646972000},"page":"41-78","source":"Crossref","is-referenced-by-count":66,"title":["Toward a model of representation changes"],"prefix":"10.1016","volume":"14","author":[{"given":"Richard E.","family":"Korf","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0004-3702(80)90033-8_BIB1","series-title":"Progress in Operations Research","article-title":"Heuristic programming: ill structured problems","author":"Newell","year":"1969"},{"key":"10.1016\/0004-3702(80)90033-8_BIB2","series-title":"Electronic Information Handling","article-title":"Limitations of the current stock of ideas about problem solving","author":"Newell","year":"1965"},{"key":"10.1016\/0004-3702(80)90033-8_BIB3","article-title":"Some examples of problems with several problem spaces","author":"Newell","year":"1966"},{"key":"10.1016\/0004-3702(80)90033-8_BIB4","series-title":"Annual research review","article-title":"On the representation of problems","author":"Newell","year":"1966"},{"key":"10.1016\/0004-3702(80)90033-8_BIB5","article-title":"An approach to heuristic problem solving and theorem proving in the propositional calculus","author":"Amarel","year":"1966","journal-title":"Techn. Rep. R.C.A. Laboratories and Carnegie Institute of Technology"},{"key":"10.1016\/0004-3702(80)90033-8_BIB6","article-title":"On the representations of problems of reasoning about actions","volume":"3","author":"Amarel","year":"1968"},{"key":"10.1016\/0004-3702(80)90033-8_BIB7","article-title":"Representations in tic-tac-toe","author":"Simon","year":"1966"},{"key":"10.1016\/0004-3702(80)90033-8_BIB8","series-title":"Representation and Meaning","article-title":"On reasoning about actions","author":"Simon","year":"1972"},{"key":"10.1016\/0004-3702(80)90033-8_BIB9","author":"Simon","year":"1969"},{"key":"10.1016\/0004-3702(80)90033-8_BIB10","article-title":"Mechanical discovery of invariances for problem solving","author":"Oyen","year":"1975"},{"key":"10.1016\/0004-3702(80)90033-8_BIB11","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0004-3702(72)90050-1","article-title":"Strategy construction using homomorphisms between games","volume":"3","author":"Banerji","year":"1972","journal-title":"Artificial Intelligence"},{"issue":"1","key":"10.1016\/0004-3702(80)90033-8_BIB12","doi-asserted-by":"crossref","DOI":"10.1109\/TSSC.1968.300182","article-title":"Learning games through pattern recognition","volume":"SSC4","author":"Koffman","year":"1966","journal-title":"IEEE Trans. Systems, Sci., and Cybernet."},{"key":"10.1016\/0004-3702(80)90033-8_BIB13","article-title":"The mechanical discovery of problem solving strategies","author":"Goldstein","year":"1977"},{"key":"10.1016\/0004-3702(80)90033-8_BIB14","series-title":"Thesis","article-title":"Geometric transforms for fast geometric algorithms","author":"Brown","year":"1979"},{"key":"10.1016\/0004-3702(80)90033-8_BIB15","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1016\/0010-0285(75)90012-2","article-title":"The functional equivalence of problem solving skills","volume":"7","author":"Simon","year":"1975","journal-title":"Cognitive Psychol."},{"key":"10.1016\/0004-3702(80)90033-8_BIB16","author":"Nilsson","year":"1971"},{"key":"10.1016\/0004-3702(80)90033-8_BIB17","author":"Wickelgren","year":"1974"},{"key":"10.1016\/0004-3702(80)90033-8_BIB18","article-title":"Complete solution of the eight puzzle","volume":"1","author":"Schofield","year":"1967"},{"key":"10.1016\/0004-3702(80)90033-8_BIB19","doi-asserted-by":"crossref","first-page":"397","DOI":"10.2307\/2369492","article-title":"Notes on the \u201815\u2019 puzzle","volume":"2","author":"Johnson","year":"1879","journal-title":"Am. J. Math."},{"key":"10.1016\/0004-3702(80)90033-8_BIB20","article-title":"A tough nut for proof procedures","author":"McCarthy","year":"1964"},{"key":"10.1016\/0004-3702(80)90033-8_BIB21","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1068\/b040037","article-title":"A shape independent theory of space allocation","volume":"4","author":"Korf","year":"1977","journal-title":"Environment and Planning B"},{"key":"10.1016\/0004-3702(80)90033-8_BIB22","series-title":"Proceedings of SIGGRAPH 76","article-title":"Architecture-by-yourself: An experiment with computer graphics for house design","author":"Weinzapfel","year":"1976"},{"key":"10.1016\/0004-3702(80)90033-8_BIB23","series-title":"Thesis","article-title":"Notes on computer aided design","author":"Korf","year":"1977"},{"key":"10.1016\/0004-3702(80)90033-8_BIB24","author":"Newell","year":"1972"},{"issue":"6","key":"10.1016\/0004-3702(80)90033-8_BIB25","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","article-title":"A relational model of data for large shared data banks","volume":"13","author":"Codd","year":"1970","journal-title":"Comm. ACM"},{"key":"10.1016\/0004-3702(80)90033-8_BIB26","article-title":"AP\/1: A language for automatic programming","author":"Balzer","year":"1973"},{"issue":"2","key":"10.1016\/0004-3702(80)90033-8_BIB27","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1145\/356669.356671","article-title":"A tutorial on ALGOL 68","volume":"8","author":"Tannenbaum","year":"1976","journal-title":"Comput. Surveys"},{"key":"10.1016\/0004-3702(80)90033-8_BIB28","series-title":"Current Trends in Programming Methodologies","article-title":"The design of abstract data type specifications","author":"Guttag","year":"1978"},{"key":"10.1016\/0004-3702(80)90033-8_BIB29","author":"Fishback","year":"1969"},{"key":"10.1016\/0004-3702(80)90033-8_BIB30","author":"Berge","year":"1973"},{"key":"10.1016\/0004-3702(80)90033-8_BIB31","author":"Arbib","year":"1975"},{"key":"10.1016\/0004-3702(80)90033-8_BIB32","author":"Garey","year":"1979"},{"issue":"5","key":"10.1016\/0004-3702(80)90033-8_BIB33","doi-asserted-by":"crossref","DOI":"10.1145\/359488.359498","article-title":"Automatic data structure selection: an example and overview","volume":"21","author":"Low","year":"1978","journal-title":"Comm. ACM"},{"key":"10.1016\/0004-3702(80)90033-8_BIB34","series-title":"Proceedings of the National Computer Conference","first-page":"691","article-title":"Automatic representation selection for associative data structures","author":"Rovner","year":"1978"},{"key":"10.1016\/0004-3702(80)90033-8_BIB35","series-title":"Proceedings of the international joint conference on artificial intelligence","first-page":"457","article-title":"A knowledge based approach to using efficiency estimation in program synthesis","author":"Kant","year":"1974"},{"key":"10.1016\/0004-3702(80)90033-8_BIB36","author":"Alexander","year":"1964"},{"key":"10.1016\/0004-3702(80)90033-8_BIB37","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1109\/TSMC.1972.5408552","article-title":"A new methodology for the hierarchical grouping of related elements of a problem","volume":"SMC-2","author":"Love","year":"1972","journal-title":"IEEE Trans. Systems, Man. and Cybernet."}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370280900338?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370280900338?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,17]],"date-time":"2020-03-17T22:41:09Z","timestamp":1584484869000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0004370280900338"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980,8]]},"references-count":37,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1980,8]]}},"alternative-id":["0004370280900338"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(80)90033-8","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1980,8]]}}}