{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T22:50:43Z","timestamp":1773960643419,"version":"3.50.1"},"reference-count":50,"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)90032-6","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T13:02:52Z","timestamp":1047646972000},"page":"1-39","source":"Crossref","is-referenced-by-count":291,"title":["Constraints\u2014A language for expressing almost-hierarchical descriptions"],"prefix":"10.1016","volume":"14","author":[{"given":"Gerald Jay","family":"Sussman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"suffix":"Jr.","given":"Guy Lewis","family":"Steele","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0004-3702(80)90032-6_BIB1","series-title":"Proc. Fifth International Joint Conference on Artificial Intelligence (IJCAI-5)","first-page":"497","article-title":"ThingLab\u2014an object-oriented system for building simulations using constraints","author":"Borning","year":"1977"},{"key":"10.1016\/0004-3702(80)90032-6_BIB2_1","series-title":"Ph.D. thesis","article-title":"Qualitative knowledge, causal reasoning, and the localization of failures","author":"Brown","year":"1975"},{"key":"10.1016\/0004-3702(80)90032-6_BIB2_2","year":"1977","journal-title":"MIT AI Lab Technical Report 362"},{"key":"10.1016\/0004-3702(80)90032-6_BIB3","series-title":"Unpublished Ph.D. thesis proposal","article-title":"Automatic synthesis of numerical computer programs","author":"Brown","year":"1978"},{"key":"10.1016\/0004-3702(80)90032-6_BIB4","volume":"Vol. 6","author":"Church","year":"1941"},{"key":"10.1016\/0004-3702(80)90032-6_BIB5","author":"Dahl","year":"1972"},{"key":"10.1016\/0004-3702(80)90032-6_BIB6","article-title":"Applications of meta level knowledge to the construction, maintenance and use of large knowledge bases","author":"Davis","year":"1976"},{"key":"10.1016\/0004-3702(80)90032-6_BIB7","article-title":"Local methods for localization of faults in electronic circuits","author":"de Kleer","year":"1976","journal-title":"MIT AI Lab Memo 394"},{"key":"10.1016\/0004-3702(80)90032-6_BIB8","article-title":"Propagation of constraints applied to circuit synthesis","author":"de Kleer","year":"1978","journal-title":"MIT AI Lab Memo 485"},{"key":"10.1016\/0004-3702(80)90032-6_BIB9","article-title":"Structured programming","author":"Dijkstra","year":"1970"},{"key":"10.1016\/0004-3702(80)90032-6_BIB10_1","series-title":"M.S. thesis","article-title":"Truth maintenance systems for problem solving","author":"Doyle","year":"1977"},{"key":"10.1016\/0004-3702(80)90032-6_BIB10_2","year":"1978","journal-title":"MIT AI Lab Technical Report 419"},{"key":"10.1016\/0004-3702(80)90032-6_BIB11","author":"Ernst","year":"1969"},{"key":"10.1016\/0004-3702(80)90032-6_BIB12_1","series-title":"M.S. thesis","article-title":"A planning system for robot construction tasks","author":"Fahlman","year":"1973"},{"key":"10.1016\/0004-3702(80)90032-6_BIB12_2","year":"1973","journal-title":"MIT AI Lab Technical Report 283"},{"key":"10.1016\/0004-3702(80)90032-6_BIB13","article-title":"Deductive retrieval mechanisms for state description models","author":"Fikes","year":"1975"},{"key":"10.1016\/0004-3702(80)90032-6_BIB14","doi-asserted-by":"crossref","DOI":"10.1145\/321420.321422","article-title":"Nondeterministic algorithms","author":"Floyd","year":"1967","journal-title":"J. ACM"},{"key":"10.1016\/0004-3702(80)90032-6_BIB15","article-title":"A model for functional reasoning in design","author":"Freeman","year":"1977"},{"key":"10.1016\/0004-3702(80)90032-6_BIB16","year":"1976"},{"key":"10.1016\/0004-3702(80)90032-6_BIB17","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0004-3702(75)90003-X","article-title":"Summary of MYCROFT: a system for understanding simple picture programs","volume":"6","author":"Goldstein","year":"1975","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0004-3702(80)90032-6_BIB18_1","series-title":"Ph.D. thesis","article-title":"Description and theoretical analysis (using schemata) of planner: a language for proving theorems and manipulating models in a robot","author":"Hewitt","year":"1971"},{"key":"10.1016\/0004-3702(80)90032-6_BIB18_2","year":"1972","journal-title":"MIT AI Lab Technical Report 258"},{"key":"10.1016\/0004-3702(80)90032-6_BIB19","article-title":"Artificial Intelligence in computer-aided design: the tropic system","author":"Lacombe","year":"1976"},{"key":"10.1016\/0004-3702(80)90032-6_BIB20","series-title":"Ph.D. thesis","article-title":"Dependency networks as a representation for modelling in general problem solvers","author":"London","year":"1978"},{"key":"10.1016\/0004-3702(80)90032-6_BIB21","article-title":"macsyma","year":"1977"},{"key":"10.1016\/0004-3702(80)90032-6_BIB22","article-title":"A three-valued truth maintenance system","author":"McAllester","year":"1978"},{"key":"10.1016\/0004-3702(80)90032-6_BIB23_1","series-title":"B.S.\/M.S. thesis","article-title":"Assimilation of new information by a natural language-understanding system","author":"McDermott","year":"1973"},{"key":"10.1016\/0004-3702(80)90032-6_BIB23_2","year":"1974"},{"key":"10.1016\/0004-3702(80)90032-6_BIB24","unstructured":"McDermott, D. V., and Doyle, J., Non-Monotonic Logic I, Artificial Intelligence, To appear."},{"key":"10.1016\/0004-3702(80)90032-6_BIB25","article-title":"Symbolic integration","author":"Moses","year":"1969"},{"key":"10.1016\/0004-3702(80)90032-6_BIB26","volume":"Vols. I and II","author":"Polya","year":"1972"},{"key":"10.1016\/0004-3702(80)90032-6_BIB27","article-title":"Computer aided evolutionary design for software engineering","author":"Rich","year":"1976"},{"key":"10.1016\/0004-3702(80)90032-6_BIB28","series-title":"Proc. IJCAI III","article-title":"Planning in a hierarchy of abstraction spaces","author":"Sacerdoti","year":"1973"},{"key":"10.1016\/0004-3702(80)90032-6_BIB29","series-title":"A structure for plans and behavior","author":"Sacerdoti","year":"1977"},{"key":"10.1016\/0004-3702(80)90032-6_BIB30","author":"Simon","year":"1969"},{"key":"10.1016\/0004-3702(80)90032-6_BIB31","article-title":"mycin\u2014A rule-based computer program for advising physicians regarding antimicrobial therapy selection","author":"Shortcliffe","year":"1974"},{"key":"10.1016\/0004-3702(80)90032-6_BIB32","series-title":"mycin: Computer-based medical consultations","author":"Shortcliffe","year":"1976"},{"key":"10.1016\/0004-3702(80)90032-6_BIB33_1","article-title":"Ph.D. thesis","author":"Sussman","year":"1973"},{"key":"10.1016\/0004-3702(80)90032-6_BIB33_2","year":"1975"},{"key":"10.1016\/0004-3702(80)90032-6_BIB34","series-title":"Proc. Artificial Intelligence Simulation of Behavior Conference","article-title":"The virtuous nature of bugs","author":"Sussman","year":"1974"},{"key":"10.1016\/0004-3702(80)90032-6_BIB35","article-title":"slices: At the boundary between analysis and synthesis","author":"Sussman","year":"1977"},{"key":"10.1016\/0004-3702(80)90032-6_BIB36_1","author":"Sussman","year":"1977"},{"key":"10.1016\/0004-3702(80)90032-6_BIB36_2","series-title":"Proc. IJCAI V","year":"1977"},{"key":"10.1016\/0004-3702(80)90032-6_BIB37","article-title":"Computer aided evolutionary design for digital integrated systems","author":"Sussman","year":"1979"},{"key":"10.1016\/0004-3702(80)90032-6_BIB38","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0004-3702(77)90029-7","article-title":"Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis","volume":"9","author":"Stallman","year":"1977","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0004-3702(80)90032-6_BIB39","series-title":"Proc. AFIPS 1972 FJCC","first-page":"1171","article-title":"From planner to conniver\u2014A genetic approach","author":"Sussman","year":"1972"},{"issue":"11","key":"10.1016\/0004-3702(80)90032-6_BIB40","doi-asserted-by":"crossref","DOI":"10.1109\/TCS.1975.1083985","article-title":"Heuristic techniques in computer-aided circuit analysis","volume":"CAS-22","author":"Sussman","year":"1975","journal-title":"IEEE Transactions on Circuits and Systems"},{"key":"10.1016\/0004-3702(80)90032-6_BIB41","author":"Sussman","year":"1971"},{"key":"10.1016\/0004-3702(80)90032-6_BIB42","doi-asserted-by":"crossref","DOI":"10.1145\/1461551.1461591","article-title":"sketchpad: A man-machine graphical communication system","author":"Sutherland","year":"1963"},{"issue":"4","key":"10.1016\/0004-3702(80)90032-6_BIB43","doi-asserted-by":"crossref","DOI":"10.1145\/362575.362577","article-title":"Program development by stepwise refinement","volume":"14","author":"Wirth","year":"1971","journal-title":"C. ACM"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370280900326?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370280900326?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\/0004370280900326"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980,8]]},"references-count":50,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1980,8]]}},"alternative-id":["0004370280900326"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(80)90032-6","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1980,8]]}}}