{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T06:35:47Z","timestamp":1649140547154},"reference-count":13,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"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":["Computer-Aided Design"],"published-print":{"date-parts":[[1993,1]]},"DOI":"10.1016\/0010-4485(93)90066-w","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T14:47:17Z","timestamp":1047653237000},"page":"59-70","source":"Crossref","is-referenced-by-count":5,"title":["Using a truth-maintenance system to assist product-model construction for design and process planning"],"prefix":"10.1016","volume":"25","author":[{"given":"M.","family":"Inui","sequence":"first","affiliation":[]},{"given":"F.","family":"Kimura","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0010-4485(93)90066-W_BIB1","series-title":"Proc. 2nd Computer Applications in Production & Engineering Conf. CAPE '86","first-page":"165","article-title":"Uniform approach to dimensioning and tolerancing in product modelling","author":"Kimura","year":"1986"},{"key":"10.1016\/0010-4485(93)90066-W_BIB2","series-title":"An Introduction to Solid Modeling","author":"M\u00e4ntyl\u00e4","year":"1988"},{"issue":"No 4","key":"10.1016\/0010-4485(93)90066-W_BIB3","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1109\/MCG.1985.276455","article-title":"A method of representing the solid design process","volume":"Vol 5","author":"Chiyokura","year":"1985","journal-title":"IEEE Comput. Graph. & Applic."},{"issue":"No 3\/4","key":"10.1016\/0010-4485(93)90066-W_BIB4","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","article-title":"STRIPS: a new approach to the application of theorem proving to problem solving","volume":"Vol 2","author":"Fikes","year":"1971","journal-title":"Artif. Intell."},{"key":"10.1016\/0010-4485(93)90066-W_BIB5","series-title":"Artificial Intelligence Programming","author":"Charniak","year":"1980"},{"key":"10.1016\/0010-4485(93)90066-W_BIB6","series-title":"Proc. 5th Nat. Conf. Artificial Intelligence","first-page":"13","article-title":"Representing actions with an assumption-based truth maintenance system","author":"Morris","year":"1986"},{"issue":"No 2","key":"10.1016\/0010-4485(93)90066-W_BIB7","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","article-title":"An assumption-based TMS","volume":"Vol 28","author":"de Kleer","year":"1986","journal-title":"Artif. Intell."},{"issue":"No 7","key":"10.1016\/0010-4485(93)90066-W_BIB8","first-page":"1038","article-title":"Representation of modeling processes by data dependency and its application for variational solid modeling","volume":"Vol 31","author":"Inui","year":"1990","journal-title":"J. Inf. Proc. Soc. Jap."},{"key":"10.1016\/0010-4485(93)90066-W_BIB9","series-title":"Proc. 3rd Computer Applications in Production & Engineering Conf. CAPE'89","first-page":"373","article-title":"A process planning system for producibility feedback to designers","author":"Ranta","year":"1989"},{"issue":"No 2","key":"10.1016\/0010-4485(93)90066-W_BIB10","first-page":"115","article-title":"Extending process planning capabilities with dynamic manipulation of product models","volume":"Vol 18","author":"Inui","year":"1989","journal-title":"Manuf. Syst."},{"issue":"No 2","key":"10.1016\/0010-4485(93)90066-W_BIB11","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0004-3702(85)90053-0","article-title":"Making compromises between antagonist constraints in a planner","volume":"Vol 27","author":"Descotte","year":"1985","journal-title":"Artif. Intell."},{"issue":"No 1","key":"10.1016\/0010-4485(93)90066-W_BIB12","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","article-title":"Rete: a fast algorithmic for the many pattern\/many object pattern match problem","volume":"Vol 19","author":"Forgy","year":"1982","journal-title":"Artif. Intell."},{"key":"10.1016\/0010-4485(93)90066-W_BIB13","series-title":"Proc. 2nd IFIP WG 5.2 Wkshp. Intelligent CAD","first-page":"214","article-title":"Representation of design and manufacturing processes by data dependency","author":"Inui","year":"1988"}],"container-title":["Computer-Aided Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:001044859390066W?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:001044859390066W?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,26]],"date-time":"2019-03-26T20:24:52Z","timestamp":1553631892000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/001044859390066W"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,1]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1993,1]]}},"alternative-id":["001044859390066W"],"URL":"https:\/\/doi.org\/10.1016\/0010-4485(93)90066-w","relation":{},"ISSN":["0010-4485"],"issn-type":[{"value":"0010-4485","type":"print"}],"subject":[],"published":{"date-parts":[[1993,1]]}}}