{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,5]],"date-time":"2025-08-05T12:26:45Z","timestamp":1754396805421},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1989,2,1]],"date-time":"1989-02-01T00:00:00Z","timestamp":602294400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[1989,2]]},"DOI":"10.1007\/bf00296173","type":"journal-article","created":{"date-parts":[[2004,10,6]],"date-time":"2004-10-06T12:12:12Z","timestamp":1097064732000},"page":"1-42","source":"Crossref","is-referenced-by-count":22,"title":["Paradigms of truth detection"],"prefix":"10.1007","volume":"18","author":[{"given":"Daniel N.","family":"Osherson","sequence":"first","affiliation":[]},{"given":"Scott","family":"Weinstein","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"Angluin, D.: 1986, ?Learning regular sets from queries and counterexamples?, Technical Report YALEU\/DCS\/TR-464, Department of Computer Science, Yale University, March 1986."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1145\/356914.356918","volume":"15","author":"D. Angluin","year":"1983","unstructured":"AngluinD. and SmithC.: 1983, ?A survey of inductive inference: Theory and methods?, Computing Surveys 15: 237?269.","journal-title":"Computing Surveys"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/S0019-9958(75)90261-2","volume":"28","author":"L. Blum","year":"1975","unstructured":"BlumL. and BlumM.: 1975, ?Toward a mathematical theory of inductive inference?, Information & Control 28: 125?155.","journal-title":"Information & Control"},{"key":"CR4","first-page":"273","volume-title":"Proceedings of the 18th Annual ACM STOC","author":"A. Blumer","year":"1986","unstructured":"BlumerA., EhrenfeuchtA., HausslerD., and WarmuthM.: 1986, ?Classifying learnable geometrical concepts with the Vapnik-Chervonenkis dimension?, in Proceedings of the 18th Annual ACM STOC, pp. 273?282, Assoc. Comp. Mach., New York."},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Gaifman, H., Osherson, D., and Weinstein, S. (in press), ?A reason for theoretical terms?, Erkenntnis.","DOI":"10.1007\/BF00217543"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"Glymour, C.: 1984 ?Inductive inference in the limit?, Erkenntnis 21.","DOI":"10.1007\/978-94-017-1456-3_2"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"E. M. Gold","year":"1967","unstructured":"GoldE. M.: 1967, ?Language identification in the limit?, Information & Control 10: 447?474.","journal-title":"Information & Control"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Kearns, M., Li, M., Pitt, L., and Valiant, L.: 1987, ?On the learnability of Boolean formulae?, in Proceedings of the 19th ACM Symposium on Theory of Computing, pp. 285?295, ACM.","DOI":"10.1145\/28395.28426"},{"key":"CR9","unstructured":"Kelly, K. and Glymour, C.: 1987, ?On convergence to the truth and nothing but the truth?, manuscript."},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Osherson, D., Stob, M., and Weinstein, S.: 1986, Systems that Learn, MIT Press.","DOI":"10.7551\/mitpress\/6609.001.0001"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/S0019-9958(86)80025-0","volume":"70","author":"D. Osherson","year":"1986","unstructured":"OshersonD., StobM., and WeinsteinS.: 1986a, ?Aggregating inductive expertise?, Information & Control 70: 69?95.","journal-title":"Information & Control"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1016\/0890-5401(88)90055-7","volume":"77","author":"D. Osherson","year":"1988","unstructured":"OshersonD., StobM., and WeinsteinS.: (1988), ?Synthesizing inductive expertise?, Information & Computation 77: 138?161.","journal-title":"Information & Computation"},{"key":"CR13","unstructured":"Osherson, D., Stob, M. and Weinstein, S.: 1988a, ?Testability and inductive improvement?, manuscript."},{"issue":"2","key":"CR14","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/S0019-9958(82)80025-9","volume":"52","author":"D. Osherson","year":"1982","unstructured":"OshersonD. and WeinsteinS.: 1982, ?Criteria of language learning?, Information & Control 52(2): 123?138.","journal-title":"Information & Control"},{"key":"CR15","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/BF00250549","volume":"15","author":"D. Osherson","year":"1986","unstructured":"OshersonD. and WeinsteinS.: 1986, ?Identification in the limit of first order structures?, Journal of Philosophical Logic 15: 55?81.","journal-title":"Journal of Philosophical Logic"},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"Osherson, D. and Weinstein, S: (1988), ?Identifiable collections of countable structures?, Philosophy of Science.","DOI":"10.1086\/289474"},{"key":"CR17","unstructured":"Osherson, D. and Weinstein, S.: 1989, ?On advancing simple hypotheses?, Philosophy of Science."},{"key":"CR18","unstructured":"Putnam, H.: 1964, ?Probability and confirmation?, in Mathematics, Matter, and Method, Cambridge University Press."},{"key":"CR19","unstructured":"Robinson, A.: 1977, Complete Theories, North-Holland."},{"key":"CR20","unstructured":"Rogers, H.: 1967, Theory of Recursive Functions and Effective Computability, McGraw-Hill."},{"key":"CR21","unstructured":"Shapiro, E.: 1981, ?An algorithm that infers theories from facts?, Proceedings of the Seventh International Joint Conference on Artificial Intelligence, IJCAI."},{"issue":"11","key":"CR22","doi-asserted-by":"crossref","first-page":"1134","DOI":"10.1145\/1968.1972","volume":"27","author":"L. Valiant","year":"1984","unstructured":"ValiantL.: 1984, ?A theory of the learnable?, Comm. ACM 27(11): 1134?1147.","journal-title":"Comm. ACM"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00296173.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00296173\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00296173","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T08:45:14Z","timestamp":1585903514000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00296173"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,2]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1989,2]]}},"alternative-id":["BF00296173"],"URL":"https:\/\/doi.org\/10.1007\/bf00296173","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,2]]}}}