{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,15]],"date-time":"2025-04-15T05:35:27Z","timestamp":1744695327989},"reference-count":56,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[1990,10,1]],"date-time":"1990-10-01T00:00:00Z","timestamp":654739200000},"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 in Engineering"],"published-print":{"date-parts":[[1990,10]]},"DOI":"10.1016\/0954-1810(90)90022-v","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T13:02:52Z","timestamp":1047646972000},"page":"206-220","source":"Crossref","is-referenced-by-count":26,"title":["A constraint programming language for Life-Cycle Engineering"],"prefix":"10.1016","volume":"5","author":[{"given":"James","family":"Bowen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"O'Grady","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Larry","family":"Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0954-1810(90)90022-V_BIB1","series-title":"ASME Concurrent product and process design","year":"1989"},{"key":"10.1016\/0954-1810(90)90022-V_BIB2","series-title":"Technical Report 208","article-title":"Design of the CONSUL programming language","author":"Baldwin","year":"1987"},{"key":"10.1016\/0954-1810(90)90022-V_BIB3","series-title":"Proceedings International Joint Conference on Artificial Intelligence","first-page":"1035","article-title":"An investigation of opportunistic constraint satisfaction in space planning","author":"Baykan","year":"1987"},{"key":"10.1016\/0954-1810(90)90022-V_BIB4","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/356631.356632","article-title":"New programming languages for AI research","volume":"6","author":"Bobrow","year":"1974","journal-title":"Comput. Surv."},{"issue":"4","key":"10.1016\/0954-1810(90)90022-V_BIB5","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1145\/357146.357147","article-title":"The programming language aspects of ThingLab, a constraint-oriented simulation laboratory","volume":"3","author":"Borning","year":"1981","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/0954-1810(90)90022-V_BIB6","series-title":"Proceedings OOPSLA","first-page":"48","article-title":"Constraint hierarchies","author":"Borning","year":"1987"},{"key":"10.1016\/0954-1810(90)90022-V_BIB7","series-title":"Report TR-90-05","article-title":"The computational complexity of local propagation of known values","author":"Bowen","year":"1990"},{"key":"10.1016\/0954-1810(90)90022-V_BIB8","series-title":"Report TR-90-13","article-title":"A local propagation algorithm for nonmonotonic inference in constraint networks","author":"Bowen","year":"1990"},{"key":"10.1016\/0954-1810(90)90022-V_BIB9","series-title":"Technical Report 319","article-title":"A front end for CONSUL","author":"Chronaki","year":"1990"},{"key":"10.1016\/0954-1810(90)90022-V_BIB10","series-title":"Draft, Groupe Intelligence Artificielle","article-title":"An introduction to Prolog III","author":"Colerauer","year":"1987"},{"key":"10.1016\/0954-1810(90)90022-V_BIB11","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/0004-3702(87)90091-9","article-title":"Constraint propagation with interval labels","author":"Davis","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0954-1810(90)90022-V_BIB12","series-title":"Proceedings of the National Conference on Artificial Intelligence","first-page":"178","article-title":"Learning while searching in constraint satisfaction problems","author":"Dechter","year":"1986"},{"key":"10.1016\/0954-1810(90)90022-V_BIB13","unstructured":"Dincbas, M., Van Hentenryck, P., Simonis, H.Y., Aggoun, A., Graf, T. and Berthier, F. The constraint logic programming language CHIP, in Proceedings FGCS'88"},{"issue":"4","key":"10.1016\/0954-1810(90)90022-V_BIB14","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1016\/0954-1810(87)90193-2","article-title":"RoadLab \u2014 a constraint based laboratory for road design","volume":"2","author":"Ervin","year":"1987","journal-title":"Artificial Intelligence in Engineering"},{"key":"10.1016\/0954-1810(90)90022-V_BIB15","series-title":"IJCAI Tutorial SA5","article-title":"Truth Maintenance Systems","author":"de Kleer","year":"1989"},{"key":"10.1016\/0954-1810(90)90022-V_BIB16","series-title":"Research Notes in Artificial Intelligence","article-title":"Constraint directed search: a case study of job-shop scheduling","author":"Fox","year":"1987"},{"key":"10.1016\/0954-1810(90)90022-V_BIB17","series-title":"Knowledge Based Expert Systems in Engineering: Planning and Design","first-page":"143","article-title":"COSSACK: a constraints-based expert system for configuration tasks","author":"Frayman","year":"1987"},{"issue":"11","key":"10.1016\/0954-1810(90)90022-V_BIB18","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\/0954-1810(90)90022-V_BIB19","series-title":"Computers and Intractability","author":"Garey","year":"1979"},{"key":"10.1016\/0954-1810(90)90022-V_BIB20","series-title":"Prolog","author":"Giannesini","year":"1986"},{"key":"10.1016\/0954-1810(90)90022-V_BIB21","article-title":"Algebraic Constraints","author":"Gosling","year":"1983","journal-title":"CMU Technical Report CS-83-132"},{"key":"10.1016\/0954-1810(90)90022-V_BIB22","series-title":"Proceedings of the 11th International Joint Conference on Artificial Intelligence","first-page":"72","article-title":"Simulation of hybrid circuits in constraints logic programming","author":"Graf","year":"1989"},{"issue":"3","key":"10.1016\/0954-1810(90)90022-V_BIB23","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/0142-694X(84)90003-6","article-title":"Design as the exploration of constraints","volume":"5","author":"Gross","year":"1984","journal-title":"Design Studies"},{"key":"10.1016\/0954-1810(90)90022-V_BIB24","series-title":"Proceedings of the 9th International Joint Conference on Artificial Intelligence","first-page":"30","article-title":"Constraints in a hybrid knowledge representation system","author":"G\u00fcsgen","year":"1987"},{"key":"10.1016\/0954-1810(90)90022-V_BIB25","series-title":"Proceedings of the 11th International Joint Conference on Artificial Intelligence","first-page":"60","article-title":"A universal constraint programming language","author":"G\u00fcsgen","year":"1989"},{"key":"10.1016\/0954-1810(90)90022-V_BIB26","series-title":"Research Notes in Artificial Intelligence","article-title":"CONSAT: a system for constraint satisfaction","author":"G\u00fcsgen","year":"1989"},{"key":"10.1016\/0954-1810(90)90022-V_BIB27","series-title":"Proceedings, National Conference of the American Association for Artificial Intelligence","first-page":"986","article-title":"A hybrid structured object and constraint representation language","author":"Harris","year":"1986"},{"key":"10.1016\/0954-1810(90)90022-V_BIB28","series-title":"Proceedings of the 11th International Joint Conference on Artificial Intelligence","first-page":"48","article-title":"Platypus: a constraint-based reasoning system","author":"Havens","year":"1989"},{"key":"10.1016\/0954-1810(90)90022-V_BIB29","series-title":"Proceedings of the 4th International Conference on Logic Programming","article-title":"CLP(R) and some electrical engineering problems","author":"Heintze","year":"1986"},{"key":"10.1016\/0954-1810(90)90022-V_BIB30","unstructured":"Holman, C., Borning, A., Khan, K. and Miller, M. Constraints and logic programming, Xeroc PARC Technical Report 86-12-01"},{"key":"10.1016\/0954-1810(90)90022-V_BIB31","series-title":"Proceedings of the 4th International Conference on Logic Programming","article-title":"Methodology and implementation of a CLP system","author":"Jaffar","year":"1986"},{"key":"10.1016\/0954-1810(90)90022-V_BIB32","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/MEX.1987.4307090","article-title":"Constraint logic programming and option trading","author":"Lassez","year":"1987","journal-title":"IEEE Expert"},{"key":"10.1016\/0954-1810(90)90022-V_BIB33","series-title":"Constraint Programming Languages","author":"Leler","year":"1988"},{"key":"10.1016\/0954-1810(90)90022-V_BIB34","series-title":"The TK!Solver Book","author":"Konopasek","year":"1984"},{"key":"10.1016\/0954-1810(90)90022-V_BIB35","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\/0954-1810(90)90022-V_BIB36","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/0004-3702(85)90041-4","article-title":"The complexity of some polynomial network consistency algorithms for constraint satisfaction problems","volume":"25","author":"Mackworth","year":"1985","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0954-1810(90)90022-V_BIB37","series-title":"The Encyclopedia of Artificial Intelligence","first-page":"205","article-title":"Constraint satisfaction","author":"Mackworth","year":"1987"},{"key":"10.1016\/0954-1810(90)90022-V_BIB38","series-title":"Proceedings of Fifth National Conference on Artificial Intelligence","article-title":"A knowledge-based framework for design","author":"Mittal","year":"1986"},{"key":"10.1016\/0954-1810(90)90022-V_BIB39","series-title":"Proceedings of the 11th International Joint Conference on Artificial Intelligence","first-page":"1395","article-title":"Towards a generic model of configuration tasks","author":"Mittal","year":"1989"},{"key":"10.1016\/0954-1810(90)90022-V_BIB40","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0004-3702(86)90083-4","article-title":"Arc and Path consistency revisited","volume":"28","author":"Mohr","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0954-1810(90)90022-V_BIB41","series-title":"Technical Report 265","article-title":"Local propagation as a constraint satisfaction technique","author":"Mulac","year":"1989"},{"key":"10.1016\/0954-1810(90)90022-V_BIB42","series-title":"Research Priorities for Proposed NSF Strategic Manufacturing Research Initiative","author":"National Science Foundation","year":"1987"},{"issue":"3","key":"10.1016\/0954-1810(90)90022-V_BIB43","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1145\/325165.325241","article-title":"JUNO, a constraint-based graphics system","volume":"19","author":"Nelson","year":"1985","journal-title":"SIG-GRAPH Computer Graphics"},{"key":"10.1016\/0954-1810(90)90022-V_BIB44","series-title":"Knowledge Based Expert Systems in Engineering: Planning and Design","first-page":"1","article-title":"Planning with constraints in precision machining","author":"Nevrinceanu","year":"1987"},{"key":"10.1016\/0954-1810(90)90022-V_BIB45","series-title":"Proceedings of NSF Design and Manufacturing Systems Conference","first-page":"265","article-title":"Automated process planning: an introduction to reasoning based on geometric relation constraints","author":"Nevrinceanu","year":"1990"},{"issue":"4","key":"10.1016\/0954-1810(90)90022-V_BIB46","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0142-694X(80)90008-3","article-title":"Data frame model for the engineering design process","volume":"1","author":"Preiss","year":"1980","journal-title":"Design Studies"},{"key":"10.1016\/0954-1810(90)90022-V_BIB47","series-title":"Proceedings, National Conference of the American Association for Artificial Intelligence","first-page":"48","article-title":"Joshua: uniform access to heterogeneous knowledge structures or why Joshing is better than conniving or planning","author":"Rowley","year":"1987"},{"key":"10.1016\/0954-1810(90)90022-V_BIB48","series-title":"Knowledge Based Expert Systems in Engineering: Planning and Design","first-page":"211","article-title":"Constraint management in conceptual design","author":"Serrano","year":"1987"},{"key":"10.1016\/0954-1810(90)90022-V_BIB49","series-title":"Artificial Intelligence in Engineering: Design","first-page":"217","article-title":"Constraint management in MCAE","author":"Serrano","year":"1988"},{"issue":"2","key":"10.1016\/0954-1810(90)90022-V_BIB50","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0004-3702(81)90007-2","article-title":"Planning with constraints (MOLGEN: Part 1)","volume":"16","author":"Stefik","year":"1981","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0954-1810(90)90022-V_BIB51","series-title":"Proceedings, National Conference of the American Association for Artificial Intelligence","first-page":"830","article-title":"Design as refinement plus constraint propagation: The VEXED experience","author":"Steinberg","year":"1987"},{"key":"10.1016\/0954-1810(90)90022-V_BIB52","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(80)90032-6","article-title":"CONSTRAINTS \u2014 a language for expressing almost-hierarchical descriptions","volume":"14","author":"Sussman","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0954-1810(90)90022-V_BIB53","series-title":"IFIPS Proceedings of the Spring Joint Computer Conference","article-title":"SKETCHPAD: a man-machine graphical communication system","author":"Sutherland","year":"1963"},{"issue":"3","key":"10.1016\/0954-1810(90)90022-V_BIB54","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0954-1810(87)90203-2","article-title":"Toward an engineering science of knowledge-based design","volume":"2","author":"Tong","year":"1987","journal-title":"Artificial Intelligence in Engineering"},{"key":"10.1016\/0954-1810(90)90022-V_BIB55","article-title":"IDEAL User's Manual","author":"Van Wyk","year":"1981","journal-title":"Bell Labs Computer Science Technical Report 1083"},{"issue":"2","key":"10.1016\/0954-1810(90)90022-V_BIB56","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/0096-0551(86)90002-0","article-title":"A constraint language and its interpreter","volume":"11","author":"Zima","year":"1986","journal-title":"Computer Languages"}],"container-title":["Artificial Intelligence in Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:095418109090022V?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:095418109090022V?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,26]],"date-time":"2019-03-26T23:21:21Z","timestamp":1553642481000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/095418109090022V"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,10]]},"references-count":56,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1990,10]]}},"alternative-id":["095418109090022V"],"URL":"https:\/\/doi.org\/10.1016\/0954-1810(90)90022-v","relation":{},"ISSN":["0954-1810"],"issn-type":[{"value":"0954-1810","type":"print"}],"subject":[],"published":{"date-parts":[[1990,10]]}}}