{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:23Z","timestamp":1725663623939},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540556169"},{"type":"electronic","value":"9783540472629"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55616-8_54","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:27:37Z","timestamp":1330252057000},"page":"291-310","source":"Crossref","is-referenced-by-count":0,"title":["Knowledge selection in large knowledge bases"],"prefix":"10.1007","author":[{"given":"Dimitris","family":"Karagiannis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franz J.","family":"Kurfe\u00df","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heinz-Wilhelm","family":"Schmidt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-90102-6","volume-title":"Automated Theorem Proving","author":"W. Bibel","year":"1987","unstructured":"Bibel, W. (1987). Automated Theorem Proving. Vieweg, Braunschweig, Wiesbaden, second edition.","edition":"second edition"},{"key":"18_CR2","unstructured":"Elman, J. L. Structured Representations and Connectionist Models. COGSCI 89, pp 17\u201323."},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Elman, J. L. Finding Structure in Time. Cognitive Science, Volume 14, pp 179\u2013211.","DOI":"10.1207\/s15516709cog1402_1"},{"key":"18_CR4","volume-title":"Technical Report TR-90-09","author":"J. A. Feldman","year":"1990","unstructured":"Feldman, J. A., Lakoff, G., Stolcke, A., and Weber, S. H. (1990). Miniature language acquisition: A touchstone for cognitive science. Technical Report TR-90-09, International Computer Science Institute, Berkeley, CA 94704-1105."},{"key":"18_CR5","volume-title":"Technical Report TR-90-012","author":"S. H\u00f6lldobler","year":"1990","unstructured":"H\u00f6lldobler, S. (1990). A connectionist unification algorithm. Technical Report TR-90-012, International Computer Science Institute, Berkeley, CA 94704."},{"key":"18_CR6","volume-title":"Technical report","author":"D. Karagiannis","year":"1990","unstructured":"Karagiannis, D. and Schmidt, H.-W. (1990). The A\u03bb2N\u03bb2-Project: Applicable Artificial Neural Networks. Technical report, International Computer Science Institute, Berkeley, CA 94704-1105."},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Kohonen, T. (1982). Self-organized formation of topologically correct feature maps. Neurocomputing, Foundations of Research, pp 509\u2013522.","DOI":"10.1007\/BF00337288"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Kohonen, T. (1987). Content-Addressable Memories by Springer Verlag, Berlin (1987).","DOI":"10.1007\/978-3-642-83056-3"},{"key":"18_CR9","unstructured":"Kohonen, T. (1991) Self-Organizing Maps: Optimization Approaches. ICCANN-91, pp 981\u2013990."},{"key":"18_CR10","volume-title":"PhD thesis","author":"F. Kurfe\u00df","year":"1990","unstructured":"Kurfe\u00df, F. (1990). Parallelism in Logic \u2014 Its Potential for Performance and Program Development. PhD thesis, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, to be published as book by Vieweg Verlag, Wiesbaden (1991)."},{"key":"18_CR11","unstructured":"Kurfe\u00df, F. (1991). Unification on a connectionist simulator. In International Conference on Artificial Neural Networks \u2014 ICANN-91, Helsinki, Finland, to appear."},{"key":"18_CR12","unstructured":"Letz, R., Bayerls, S., Schumann, J., and Bibel, W. (1990). SETHEO \u2014 a high-performance theorem prover. Journal of Automated Reasoning."},{"key":"18_CR13","unstructured":"Omohundro, S. (1990). The Sather Language. Technical report, International Computer Science Institute."},{"key":"18_CR14","unstructured":"Omohundro, S. (1991). Differences between Sather and Eiffel. Eiffel Outlook."},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Pollack, J. B. Recursive Distributed Representations Artificial Intelligence, Volume 46, pp 77\u2013105.","DOI":"10.1016\/0004-3702(90)90005-K"},{"key":"18_CR16","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J. Robinson","year":"1965","unstructured":"Robinson, J. (1965). A machine-oriented logic based on the resolution principle. Journal of the ACM, 12:23\u201341.","journal-title":"Journal of the ACM"},{"key":"18_CR17","volume-title":"Technical Report TR-90-55","author":"H. W. Schmidt","year":"1990","unstructured":"Schmidt, H. W. (1990). ICSIM: Initial design of an object-oriented net simulator. Technical Report TR-90-55, International Computer Science Institute, Berkeley, CA 94704."},{"key":"18_CR18","volume-title":"Technical Report 90-10","author":"S. H. Weber","year":"1990","unstructured":"Weber, S. H. and Stolcke, A. (1990). L0: A testbed for miniature language acquisition. Technical Report 90-10, International Computer Science Institute, Berkeley, CA 94704-1105."}],"container-title":["Lecture Notes in Computer Science","The Next Generation of Information Systems: From Data to Knowledge"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55616-8_54.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:00:56Z","timestamp":1605646856000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55616-8_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540556169","9783540472629"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-55616-8_54","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}