{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:30:14Z","timestamp":1725467414352},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540645825"},{"type":"electronic","value":"9783540693482"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-64582-9_735","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T10:22:10Z","timestamp":1153131730000},"page":"47-56","source":"Crossref","is-referenced-by-count":1,"title":["Intelligent systems must be able to make programs automatically for assuring the practicality"],"prefix":"10.1007","author":[{"given":"Takumi","family":"Aida","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Setsuo","family":"Ohsuga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,30]]},"reference":[{"key":"4_CR1","unstructured":"S. Ohsuga, Toward Truly Intelligent Information Systems, (to appear in knowledge based systems), 1998"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"J. McDermott, Preliminary Steps toward a Taxonomy of Problem Solving Methods, Automating Knowledge Acquisition for Expert Systems, (S. Marcus ed.)Kluwer Academic, 225\u2013256, 1988","DOI":"10.1007\/978-1-4684-7122-9_8"},{"key":"4_CR3","unstructured":"F. H. Ross, Artificial Intelligence \u2014 What Works and What Doesn't?, AI Magazine, Vol.18, No.2, 1997"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/0004-3702(94)90082-5","volume":"69","author":"S. J. Lee","year":"1994","unstructured":"S. J. Lee and D. A. Plaisted, Problem solving by searching for models with a theorem prover, Artificial Intelligence, Volume 69, pp205\u2013233, 1994","journal-title":"Artificial Intelligence"},{"key":"4_CR5","unstructured":"H. Yamauchi and S. Ohsuga, Modeling Objects by Bxtensions and Intentions, Information Modeling and Knowledge Bases III, IOS Press, 1992"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"S. Ohsuga and H. Yamauchi, Multi-Layer Logic \u2014 A Predicate Logic Including Data Structure As Knowledge Representation Language, New Generation Computing, 1985","DOI":"10.1007\/BF03037079"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"S. Ohsuga, A Way of Designing Knowledge Based Systems, Knowledge Based Systems, Vol.6, No.1, 1995","DOI":"10.1016\/0950-7051(95)96218-G"},{"key":"4_CR8","unstructured":"H. Yamauchi, KAUS User's Manual Version 6.49, ROAST, University of Tokyo, 1997"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/0004-3702(94)90105-8","volume":"70","author":"G. G. Towell","year":"1994","unstructured":"Geoffrey G. Towell, Jude W. Shavlik, Knowledge-Based Artificial Neural Networks, Artificial Intelligence, Volume 70, Issue 1\u20132, pp119\u2013165, 1994","journal-title":"Artificial Intelligence"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/0004-3702(94)00040-9","volume":"79","author":"H. Eriksson","year":"1995","unstructured":"H. Eriksson, Y. Shahar, W.Tu, A.R.Puerta, M.A.Musen, Task modeling with reusable problem-solving methods, Artificial Intelligence 79, pp293\u2013326, 1995","journal-title":"Artificial Intelligence"},{"key":"4_CR11","unstructured":"W. Ikeda, New Modeling Method for Using Large Knowledge Bases, (to appear in proceeding of IEA-98-AIE)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"W. Wayt Gibbs, Software Chronic Crisis, Scientific American, Sept., 1994","DOI":"10.1038\/scientificamerican0994-86"}],"container-title":["Lecture Notes in Computer Science","Methodology and Tools in Knowledge-Based Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-64582-9_735","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T22:32:31Z","timestamp":1558823551000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-64582-9_735"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540645825","9783540693482"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-64582-9_735","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}