{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:23:40Z","timestamp":1725614620566},"publisher-location":"Dordrecht","reference-count":19,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789401061537"},{"type":"electronic","value":"9789401151214"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/978-94-011-5121-4_8","type":"book-chapter","created":{"date-parts":[[2011,9,28]],"date-time":"2011-09-28T05:48:13Z","timestamp":1317188893000},"page":"149-167","source":"Crossref","is-referenced-by-count":0,"title":["Representation of Embedded Engineering Knowledge for Design"],"prefix":"10.1007","author":[{"given":"Offer","family":"Shai","sequence":"first","affiliation":[]},{"given":"Ken","family":"Preiss","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","volume-title":"Electrical Network Theory","author":"N Balabanian","year":"1969","unstructured":"Balabanian, N. and Bickart, T. A.: 1969, Electrical Network Theory, John Wiley, New York."},{"issue":"3","key":"8_CR2","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/321033.321034","volume":"7","author":"M Davis","year":"1960","unstructured":"Davis, M. and Putnam, H.: 1960, A computing procedure for quantification theory, Journal of the Association for Computing Machinery, 7(3), 201\u2013221.","journal-title":"Journal of the Association for Computing Machinery"},{"volume-title":"Modern Kinematics- Developments in the Last Forty Years","year":"1993","key":"8_CR3","unstructured":"Erdman, A. G. (ed.): 1993, Modern Kinematics- Developments in the Last Forty Years, John Wiley, New York."},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Fenves, S. J. and Branin, F. H.: 1963, Network topological formulation of structural analysis, Journal of the Structural Division, ASCE, 89(ST4).","DOI":"10.1061\/JSDEAG.0000954"},{"key":"8_CR5","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1115\/1.3427871","volume":"93","author":"F Freudenstein","year":"1971","unstructured":"Freudenstein, F.: 1971, An application of boolean algebra to the motion of epicyclic drives, ASME Journal Engineering for Industry,93, 525\u2013532.","journal-title":"ASME Journal Engineering for Industry"},{"key":"8_CR6","volume-title":"Artificial Intelligence in Design \u201881","author":"JS Gero","year":"1991","unstructured":"Gero, J. S.: 1991, Preface, in J. S. Gero (ed.), Artificial Intelligence in Design \u201881, Butterworth-Heinemann, Oxford."},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/BF01534980","volume":"4","author":"G Laman","year":"1970","unstructured":"Laman, G.: 1970, On graphs and rigidity of plane skeletal structures, Journal of Engineering Mathematics, 4, 331\u2013340.","journal-title":"Journal of Engineering Mathematics"},{"issue":"1","key":"8_CR8","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1137\/0603009","volume":"3","author":"L Lovasz","year":"1982","unstructured":"Lovasz, L. and Yemini, Y.: 1982, On generic rigidity in the plane, SIAM Journal of Algebraic and Discrete Methods, 3(1), 91\u201398.","journal-title":"SIAM Journal of Algebraic and Discrete Methods"},{"key":"8_CR9","first-page":"621","volume-title":"Truss analysis by graph theory","author":"R Moisa","year":"1996","unstructured":"Moisa, R., Preiss, K. and Shai, 0.: 1996, Truss analysis by graph theory,The 26th Israel Conference on Mechanical Engineering, Haifa, Israel, pp. 621\u2013623."},{"key":"8_CR10","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1112\/jlms\/s1-36.1.445","volume":"36","author":"CSJA Nash-Williams","year":"1961","unstructured":"Nash-Williams, C. St. J. A.: 1961, Edge-disjoint spanning trees of finite graphs, Journal London Mathematics Society, 36, 445\u2013450.","journal-title":"Journal London Mathematics Society"},{"key":"8_CR11","volume-title":"Problem-Solving Methods in Artificial Intelligence","author":"NJ Nilsson","year":"1971","unstructured":"Nilsson, N. J.: 1971, Problem-Solving Methods in Artificial Intelligence, McGraw-Hill, NY."},{"issue":"12","key":"8_CR12","doi-asserted-by":"publisher","first-page":"1326","DOI":"10.1145\/214956.214961","volume":"28","author":"DL Parnas","year":"1985","unstructured":"Parnas D. L.: 1985, Software aspects of strategic defense studies, Communications of the ACM, 28(12), 1326\u20131335.","journal-title":"Communications of the ACM"},{"key":"8_CR13","volume-title":"Matriculation Project: Checking the validity and analysis of planetary gear system, High School Ort Rehovot","author":"B Polomodov","year":"1995","unstructured":"Polomodov, B. and Gershon, T.: 1995, Matriculation Project: Checking the validity and analysis of planetary gear system, High School Ort Rehovot."},{"key":"8_CR14","first-page":"207","volume-title":"Deep artificial intelligence knowledge for truss analysis","author":"K Preiss","year":"1994","unstructured":"Preiss, K. and Shai, O.: 1994, Deep artificial intelligence knowledge for truss analysis, The 25th Israel Conference on Mechanical Engineering, Haifa, Israel, pp. 207\u2013209."},{"key":"8_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-22143-3","volume-title":"Matroid Theory and its Applications in Electric Network Theory and in Statics","author":"A Recski","year":"1989","unstructured":"Recski, A.: 1989, Matroid Theory and its Applications in Electric Network Theory and in Statics, Springer-Verlag, Berlin."},{"issue":"1","key":"8_CR16","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"JA Robinson","year":"1965","unstructured":"Robinson, J. A.: 1965, A machine oriented logic based on the resolution principle, Journal of the Association for Computing Machinery, 12(1), 23\u201341.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"8_CR17","volume-title":"Representation of Embedded Engineering Knowledge for Artificial Intelligence Systems","author":"O Shai","year":"1997","unstructured":"Shai, O.: 1997, Representation of Embedded Engineering Knowledge for Artificial Intelligence Systems, Ph.D. Thesis, Ben Gurion University of the Negev, Israel."},{"key":"8_CR18","volume-title":"The Sciences of the Artificial","author":"HA Simon","year":"1981","unstructured":"Simon, H. A.: 1981, The Sciences of the Artificial, 2nd edn, MIT Press, Cambridge, MA.","edition":"2"},{"key":"8_CR19","volume-title":"Graphs: Networks and Algorithms","author":"MN Swamy","year":"1981","unstructured":"Swamy, M. N. and Thulasiraman, K.: 1981, Graphs: Networks and Algorithms, John Wiley, NY."}],"container-title":["Artificial Intelligence in Design \u201998"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-011-5121-4_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,8]],"date-time":"2021-12-08T00:14:28Z","timestamp":1638922468000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-94-011-5121-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9789401061537","9789401151214"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-94-011-5121-4_8","relation":{},"subject":[],"published":{"date-parts":[[1998]]}}}