{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:46:21Z","timestamp":1748072781090},"reference-count":28,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1992,3,1]],"date-time":"1992-03-01T00:00:00Z","timestamp":699408000000},"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":[[1992,3]]},"DOI":"10.1016\/0004-3702(92)90089-g","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T13:02:52Z","timestamp":1047646972000},"page":"121-198","source":"Crossref","is-referenced-by-count":10,"title":["Automated design of specialized representations"],"prefix":"10.1016","volume":"54","author":[{"given":"Jeffrey","family":"Van Baalen","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0004-3702(92)90089-G_BIB1","first-page":"131","article-title":"On representations of problems of reasoning about actions","volume":"3","author":"Amarel","year":"1968"},{"key":"10.1016\/0004-3702(92)90089-G_BIB2","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0004-3702(79)90013-4","article-title":"An experiment in knowledge-based automatic programming","volume":"12","author":"Barstow","year":"1979","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(92)90089-G_BIB3","series-title":"Proceedings IJCAI-89","first-page":"583","article-title":"Automated synthesis of constrained generators","author":"Braudaway","year":"1989"},{"key":"10.1016\/0004-3702(92)90089-G_BIB4","series-title":"Readings in Knowledge Representation","first-page":"411","article-title":"KRYPTON: a functional approach to knowledge representation","author":"Brachman","year":"1985"},{"key":"10.1016\/0004-3702(92)90089-G_BIB5","author":"Chang","year":"1973"},{"key":"10.1016\/0004-3702(92)90089-G_BIB6","series-title":"Workshop on Principles of Hybrid Reasoning","first-page":"63","article-title":"Many many sorted logics","author":"Cohn","year":"1988"},{"key":"10.1016\/0004-3702(92)90089-G_BIB7","article-title":"Theorem proving by resolution as a basis for question-answering systems","volume":"4","author":"Green","year":"1969"},{"key":"10.1016\/0004-3702(92)90089-G_BIB8","first-page":"75","article-title":"Descriptive and computational complexity","volume":"38","author":"Immerman","year":"1989"},{"key":"10.1016\/0004-3702(92)90089-G_BIB9","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(80)90033-8","article-title":"Toward a model of representation changes","volume":"14","author":"Korf","year":"1980","journal-title":"Artif. Intell."},{"issue":"4","key":"10.1016\/0004-3702(92)90089-G_BIB10","doi-asserted-by":"crossref","DOI":"10.1145\/321906.321919","article-title":"A proof procedure using connection graphs","volume":"22","author":"Kowalski","year":"1975","journal-title":"J. ACM"},{"key":"10.1016\/0004-3702(92)90089-G_BIB11","article-title":"An artificial intelligence approach to discovery in mathematics as heuristic search","author":"Lenat","year":"1976"},{"key":"10.1016\/0004-3702(92)90089-G_BIB12","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0004-3702(84)90016-X","article-title":"Why am and eurisko appear to work","volume":"23","author":"Lenat","year":"1984","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(92)90089-G_BIB13","series-title":"Readings in Knowledge Representation","article-title":"A fundamental tradeoff in knowledge representation and reasoning","author":"Levesque","year":"1985"},{"key":"10.1016\/0004-3702(92)90089-G_BIB14","series-title":"Proceedings AAAI-87","first-page":"432","article-title":"Algorithm synthesis through program reformulation","author":"Lowry","year":"1987"},{"key":"10.1016\/0004-3702(92)90089-G_BIB15","series-title":"Proceedings IJCAI-87","first-page":"1004","article-title":"The abstraction\/implementation model of problem reformulation","author":"Lowry","year":"1987"},{"key":"10.1016\/0004-3702(92)90089-G_BIB16","series-title":"Encyclopedia of Artificial Intelligence","first-page":"205","article-title":"Constraint satisfaction","author":"Mackworth","year":"1987"},{"key":"10.1016\/0004-3702(92)90089-G_BIB17","article-title":"A tough nut for proof procedures","author":"McCarthy","year":"1964"},{"key":"10.1016\/0004-3702(92)90089-G_BIB18","series-title":"Proceedings AAAI-88","first-page":"161","article-title":"Using specialists to accelerate general reasoning","author":"Miller","year":"1988"},{"issue":"2","key":"10.1016\/0004-3702(92)90089-G_BIB19","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1145\/322186.322198","article-title":"Fast decision procedures based on congruence closure","volume":"27","author":"Nelson","year":"1980","journal-title":"J. ACM"},{"key":"10.1016\/0004-3702(92)90089-G_BIB20","series-title":"Change of Representation of Inductive Bias","first-page":"105","article-title":"Automating Problem Reformulation","author":"Riddle","year":"1990"},{"key":"10.1016\/0004-3702(92)90089-G_BIB21","article-title":"Automatic representation selection for associative data structures","author":"Rovner","year":"1976"},{"key":"10.1016\/0004-3702(92)90089-G_BIB22","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/BF00244275","article-title":"Automated deduction by theory resolution","volume":"1","author":"Stickel","year":"1985","journal-title":"J. Autom. Reasoning"},{"key":"10.1016\/0004-3702(92)90089-G_BIB23","series-title":"Proceedings IJCAI-87","first-page":"416","article-title":"The relevance of irrelevance","author":"Subramanian","year":"1987"},{"key":"10.1016\/0004-3702(92)90089-G_BIB24","doi-asserted-by":"crossref","DOI":"10.21236\/ADA210885","article-title":"Toward a theory of representation design","author":"Van Baalen","year":"1989"},{"key":"10.1016\/0004-3702(92)90089-G_BIB25","series-title":"Proceedings Second International Conference on Principles of Knowledge Representation and Reasoning","article-title":"The completeness of drat, a technique for the automatic design of satisfiability procedures","author":"Van Baalen","year":"1991"},{"key":"10.1016\/0004-3702(92)90089-G_BIB26","author":"Winston","year":"1984"},{"key":"10.1016\/0004-3702(92)90089-G_BIB27","author":"Wos","year":"1984"},{"key":"10.1016\/0004-3702(92)90089-G_BIB28","series-title":"Proceedings IJCAI-89","first-page":"875","article-title":"Constraint satisfaction with delayed evaluation","author":"Zweben","year":"1989"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:000437029290089G?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:000437029290089G?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,27]],"date-time":"2019-03-27T00:28:58Z","timestamp":1553646538000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/000437029290089G"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,3]]},"references-count":28,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1992,3]]}},"alternative-id":["000437029290089G"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(92)90089-g","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1992,3]]}}}