{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T14:58:13Z","timestamp":1648825093214},"reference-count":4,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2009,2,27]],"date-time":"2009-02-27T00:00:00Z","timestamp":1235692800000},"content-version":"unspecified","delay-in-days":4715,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AIEDAM"],"published-print":{"date-parts":[[1996,4]]},"abstract":"<jats:p>Science has developed detailed and well-founded theories for <jats:italic>analyzing<\/jats:italic> the behavior of artifacts. For example, Boeing was able to correctly verify an entirely new airplane, the Boeing 777, before any prototype was even built. However, there are few theories, and no computer systems, that would allow us to <jats:italic>design<\/jats:italic> structures with a similar degree of automation.<\/jats:p>","DOI":"10.1017\/s0890060400001402","type":"journal-article","created":{"date-parts":[[2010,3,31]],"date-time":"2010-03-31T09:45:57Z","timestamp":1270028757000},"page":"143-145","source":"Crossref","is-referenced-by-count":0,"title":["Learning to cope with an open world"],"prefix":"10.1017","volume":"10","author":[{"given":"Boi","family":"Faltings","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2009,2,27]]},"reference":[{"key":"S0890060400001402_ref002","doi-asserted-by":"publisher","DOI":"10.1016\/0010-4485(95)00027-5"},{"key":"S0890060400001402_ref001","unstructured":"Faltings B. (1992). Supporting creativity in symbolic computation. Proc. Second Int. Conf, on Computational Models of Creative Design, ( Gero J. & Sudweeks I. , Ed.), pp. 191\u2013205."},{"key":"S0890060400001402_ref003","first-page":"2055","volume-title":"Int. Joint Conf. Artif Intell","author":"Faltings","year":"1995"},{"key":"S0890060400001402_ref004","volume-title":"Machine Learning: An Artificial Intelligence Approach","author":"Lenat","year":"1984"}],"container-title":["Artificial Intelligence for Engineering Design, Analysis and Manufacturing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0890060400001402","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T17:53:50Z","timestamp":1557683630000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0890060400001402\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,4]]},"references-count":4,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1996,4]]}},"alternative-id":["S0890060400001402"],"URL":"https:\/\/doi.org\/10.1017\/s0890060400001402","relation":{},"ISSN":["0890-0604","1469-1760"],"issn-type":[{"value":"0890-0604","type":"print"},{"value":"1469-1760","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,4]]}}}