{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,21]],"date-time":"2026-03-21T18:29:43Z","timestamp":1774117783632,"version":"3.50.1"},"reference-count":26,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1981,5,1]],"date-time":"1981-05-01T00:00:00Z","timestamp":357523200000},"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":[[1981,5]]},"DOI":"10.1016\/0004-3702(81)90007-2","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T08:02:52Z","timestamp":1047628972000},"page":"111-139","source":"Crossref","is-referenced-by-count":448,"title":["Planning with constraints (MOLGEN: Part 1)"],"prefix":"10.1016","volume":"16","author":[{"given":"Mark","family":"Stefik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0004-3702(81)90007-2_BIB1","series-title":"Recombinant Molecules: Impact on Science and Society","article-title":"The construction of molecular cloning vehicles","author":"Boyer","year":"1977"},{"key":"10.1016\/0004-3702(81)90007-2_BIB2","author":"Brooks","year":"1975"},{"key":"10.1016\/0004-3702(81)90007-2_BIB3","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/0004-3702(78)90010-3","article-title":"DENDRAL and Meta-DENDRAL: Their applications dimension","volume":"11","author":"Buchanan","year":"1978","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0004-3702(81)90007-2_BIB4","article-title":"Propagation of constraints applied to circuit synthesis","author":"de Kleer","year":"1978","journal-title":"MIT AI Memo 485"},{"key":"10.1016\/0004-3702(81)90007-2_BIB5","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(70)90003-2","article-title":"REF-ARF: A system for solving problems stated as procedures","volume":"1","author":"Fikes","year":"1970","journal-title":"Artificial Intelligence"},{"issue":"11","key":"10.1016\/0004-3702(81)90007-2_BIB6","doi-asserted-by":"crossref","first-page":"958","DOI":"10.1145\/359642.359654","article-title":"Synthesizing constraint expressions","volume":"21","author":"Freuder","year":"1978","journal-title":"Communications of the ACM"},{"key":"10.1016\/0004-3702(81)90007-2_BIB7","unstructured":"Friedland, P., Knowledge-based hierarchical planning in molecular genetics. Doctoral Dissertation, Computer Science Department, Stanford University. (Also Computer Science Department Report STAN-CS-79\u2013771.)"},{"key":"10.1016\/0004-3702(81)90007-2_BIB8","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1038\/scientificamerican0480-74","article-title":"Useful proteins from recombinant bacteria","author":"Gilbert","year":"1980","journal-title":"Sci. Am."},{"key":"10.1016\/0004-3702(81)90007-2_BIB9","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","article-title":"Consistency in networks of relations","volume":"8","author":"Mackworth","year":"1977","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0004-3702(81)90007-2_BIB10","series-title":"Doctoral Dissertation","article-title":"Flexibility and efficiency in a computer program for designing circuits","author":"McDermott","year":"1977"},{"key":"10.1016\/0004-3702(81)90007-2_BIB11","series-title":"Computers and Thought","article-title":"GPS, A program that simulates human thought","author":"Newell","year":"1963"},{"key":"10.1016\/0004-3702(81)90007-2_BIB12","volume":"2","author":"Polya","year":"1965"},{"key":"10.1016\/0004-3702(81)90007-2_BIB13","author":"Nilsson","year":"1980"},{"key":"10.1016\/0004-3702(81)90007-2_BIB14","article-title":"A framework for speech understanding","author":"Paxton","year":"1977"},{"key":"10.1016\/0004-3702(81)90007-2_BIB15","series-title":"Proceedings of the Sixth International Joint Conference on Artificial Intelligence","first-page":"1077","article-title":"Problem solving tactics","author":"Sacerdoti","year":"1979"},{"key":"10.1016\/0004-3702(81)90007-2_BIB16","author":"Sacerdoti","year":"1977"},{"issue":"2","key":"10.1016\/0004-3702(81)90007-2_BIB17","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0004-3702(74)90026-5","article-title":"Planning in a hierarchy of abstraction spaces","volume":"5","author":"Sacerdoti","year":"1974","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0004-3702(81)90007-2_BIB18","series-title":"Sciences of the Artificial","article-title":"The science of design and the architecture of complexity","author":"Simon","year":"1969"},{"key":"10.1016\/0004-3702(81)90007-2_BIB19","series-title":"Proceedings of the Sixth International Joint Conference on Artificial Intelligence","first-page":"845","article-title":"An examination of a frame-structured representation system","author":"Stefik","year":"1979"},{"key":"10.1016\/0004-3702(81)90007-2_BIB20","article-title":"Planning with constraints","author":"Stefik","year":"1980"},{"issue":"2","key":"10.1016\/0004-3702(81)90007-2_BIB21","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/0004-3702(81)90008-4","article-title":"Planning and meta-planning","volume":"16","author":"Stefik","year":"1981","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0004-3702(81)90007-2_BIB22","article-title":"A Computer Model of Skill Acquisition","author":"Sussman","year":"1975"},{"key":"10.1016\/0004-3702(81)90007-2_BIB23","series-title":"Proceedings of the Fifth International Joint Conference on Artificial Intelligence","first-page":"888","article-title":"Generating project networks","author":"Tate","year":"1977"},{"key":"10.1016\/0004-3702(81)90007-2_BIB24","doi-asserted-by":"crossref","first-page":"1313","DOI":"10.1126\/science.325648","article-title":"Rat insulin genes: construction of plasmids containing the coding sequences","volume":"196","author":"Ullrich","year":"1977","journal-title":"Science"},{"key":"10.1016\/0004-3702(81)90007-2_BIB25","article-title":"Achieving several goals simultaneously","author":"Waldinger","year":"1975","journal-title":"SRI Artificial Intelligence Center Technical Note 107"},{"key":"10.1016\/0004-3702(81)90007-2_BIB26","series-title":"Representation and Understanding: Studies in Cognitive Science","article-title":"Frame representations and the procedural\/declarative controversy","author":"Winograd","year":"1975"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370281900072?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370281900072?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,26]],"date-time":"2019-03-26T19:28:08Z","timestamp":1553628488000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0004370281900072"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981,5]]},"references-count":26,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1981,5]]}},"alternative-id":["0004370281900072"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(81)90007-2","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1981,5]]}}}