{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:36:19Z","timestamp":1725489379188},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540410942"},{"type":"electronic","value":"9783540399636"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-39963-1_19","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T03:54:19Z","timestamp":1187236459000},"page":"176-185","source":"Crossref","is-referenced-by-count":1,"title":["A Method of Generating Program Specification from Description of Human Activities"],"prefix":"10.1007","author":[{"given":"Shuhei","family":"Kawasaki","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":[[2002,7,2]]},"reference":[{"unstructured":"S. Ohsuga; Multi-Strata Modeling to Automate Problem Solving Including Human Activity, Proc.Sixth European-Japanese Seminar on Information Modelling and Knowledge Bases, 1996","key":"19_CR1"},{"doi-asserted-by":"crossref","unstructured":"S. Ohsuga; Toward truly intelligent information systems-from expert systems to automatic programming, Knowledge Based Systems, Vol.10, No.3 1998","key":"19_CR2","DOI":"10.1016\/S0950-7051(98)00032-X"},{"doi-asserted-by":"crossref","unstructured":"S. Ohsuga, T. Aida; Externalization of Human Idae and Problem Description for Automatic Programming, Proceedings of ISMIS, pp163\u2013171, 1999","key":"19_CR3","DOI":"10.1007\/BFb0095101"},{"unstructured":"F. H. Ross; Artificial Intelligence, What Works and What Doesn\u2019t? AI Magazine, Volume 18, No.2, 1997","key":"19_CR4"}],"container-title":["Lecture Notes in Computer Science","Foundations of Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-39963-1_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T00:12:09Z","timestamp":1556755929000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-39963-1_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410942","9783540399636"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/3-540-39963-1_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}