{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:37Z","timestamp":1725663097188},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540185352"},{"type":"electronic","value":"9783540480082"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3540185356_38","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:37:04Z","timestamp":1330180624000},"page":"182-199","source":"Crossref","is-referenced-by-count":0,"title":["Basic complexity analysis of hypothesis formation"],"prefix":"10.1007","author":[{"given":"Frederick N.","family":"Springsteel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"12_CR1","unstructured":"Tukey J.W., Exploratory Data Analysis, Addison-Wesley, 1977."},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Hajek P., Havranek T., Mechanizing Hypothesis Formation: mathematical foundations for a general theory, Springer-Verlag, 1978.","DOI":"10.1007\/978-3-642-66943-9"},{"key":"12_CR3","first-page":"107","volume":"1","author":"H. P","year":"1982","unstructured":"Hajek P., Havranek T. GUHA-80: an application of AI to data analysis, Computers and Artificial Intelligence 1(1982), 107\u2013134.","journal-title":"Computers and Artificial Intelligence"},{"key":"12_CR4","unstructured":"Hajek P., Applying AI to Data Analysis, Proc. Eurpn. Conf. on AI, Orsay France, 1982, 149\u2013150."},{"key":"12_CR5","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/S0020-7373(85)80077-8","volume":"22","author":"H. P","year":"1985","unstructured":"Hajek P., Combining functions for certainty degrees in consulting systems, Intl. J. Man-Machine Studies 22(1985), 59\u201376.","journal-title":"Intl. J. Man-Machine Studies"},{"key":"12_CR6","unstructured":"Barr A., Feigenbaum E. (eds.), The Handbook of AI, Chapter III: Knowledge Representation, pp. 141\u2013222."},{"key":"12_CR7","unstructured":"Lenat D., AM \u2014 an AI approach to discovery in mathematics STAN-CS-76-570, Stanford Computer Science Department 1976."},{"volume-title":"BMDP \u2014 Biomedical Computer Programs","year":"1975","key":"12_CR8","unstructured":"Dixon J. (ed.), BMDP \u2014 Biomedical Computer Programs, Univ. of California Press, Los Angeles 1975."},{"key":"12_CR9","volume-title":"Computer-based medical consultations: MYCIN","author":"E. Shortliffe","year":"1976","unstructured":"Shortliffe E., Computer-based medical consultations: MYCIN, American Elsevier, New York 1976."},{"key":"12_CR10","unstructured":"van Melle W., A domain-independent system that aids in constructing knowledge-based consulting programs, STAN-CS-80-820, Stanford Computer Science Department 1980."},{"key":"12_CR11","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1007\/BF02461988","volume":"10","author":"P. Hart","year":"1978","unstructured":"Hart P., Duda R., Einaudi M., PROSPECTOR \u2014 a computer-based consulting system for mineral exploration, Math. Geology 10, (1978) 589\u2013610.","journal-title":"Math. Geology"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Bennet J., Croary L., Engelmore R., Melosh R., SACON \u2014 a knowedge based consultant for structural analysis, STAN-CS-78-699, Stanford Computer Science Department 1978.","DOI":"10.1016\/0039-6028(78)90243-1"},{"key":"12_CR13","series-title":"Math. Inst. Tech. Report","volume-title":"The new version of the GUHA-Procedure ASSOC: brief description and user's manual","author":"P. Hajek","year":"1984","unstructured":"Hajek P., Havranek T., The new version of the GUHA-Procedure ASSOC: brief description and user's manual, Math. Inst. Tech. Report 1984-#8, Czechoslovakian Academy of Sciences, Prague 1984."},{"key":"12_CR14","first-page":"360","volume-title":"The New Version of GUHA Procedure ASSOC \u2014 mathematical foundations","author":"P. Hajek","year":"1984","unstructured":"Hajek P., The New Version of GUHA Procedure ASSOC \u2014 mathematical foundations, Proc. COMPSTAT 1984, Physica-Verlag, Vienna 1984, 360\u2013365."},{"key":"12_CR15","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0304-3975(79)90045-8","volume":"3","author":"P. Pudlak","year":"1979","unstructured":"Pudlak P., Springsteel F., Complexity in Mechanized Hypothesis Formation, Theoretical Computer Science 3 (1979), 203\u2013225.","journal-title":"Theoretical Computer Science"},{"key":"12_CR16","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/S0020-7373(81)80015-6","volume":"15","author":"F. Springsteel","year":"1981","unstructured":"Springsteel F., Complexity of hypothesis inference problems, Int. J. Man-Machine Studies 15 (1981), 319\u2013332.","journal-title":"Int. J. Man-Machine Studies"},{"key":"12_CR17","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1016\/0010-4809(82)90035-0","volume":"15","author":"R. Blum","year":"1982","unstructured":"Blum R., Discovery, Confirmation and Incorporation of Causal Relationships from a large Time-oriented clinical data base, Computers and Biomedical Research 15 (1982), 164\u2013187.","journal-title":"Computers and Biomedical Research"}],"container-title":["Lecture Notes in Computer Science","Trends, Techniques, and Problems in Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540185356_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:15:07Z","timestamp":1605626107000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540185356_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540185352","9783540480082"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3540185356_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}