{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T07:29:58Z","timestamp":1743146998004,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540531319"},{"type":"electronic","value":"9783642760709"}],"license":[{"start":{"date-parts":[[1990,1,1]],"date-time":"1990-01-01T00:00:00Z","timestamp":631152000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1990,1,1]],"date-time":"1990-01-01T00:00:00Z","timestamp":631152000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/978-3-642-76070-9_13","type":"book-chapter","created":{"date-parts":[[2011,11,17]],"date-time":"2011-11-17T12:22:07Z","timestamp":1321532527000},"page":"121-132","source":"Crossref","is-referenced-by-count":1,"title":["A Connectionist Realization Applying Knowledge-Compilation and Auto-Segmentation in a Symbolic Assignment Problem"],"prefix":"10.1007","author":[{"given":"Holger G.","family":"Ziegeler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karl W.","family":"Kratky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1063\/1.36256","volume":"151","author":"YS Abu-Mustafa","year":"1986","unstructured":"Abu-Mustafa, Y.S., Neural Networks for Computing?, AIP Conf Proc. 151, 1986, 1\u20136.","journal-title":"AIP Conf Proc"},{"key":"13_CR2","first-page":"568","volume-title":"Neural-Net Implementation of Complex Symbol-Processing in a Mental Model Approach to Syllogistic Reasoning, Proceedings of IJCAI-89","author":"JA Barnden","year":"1989","unstructured":"Barnden, John A., Neural-Net Implementation of Complex Symbol-Processing in a Mental Model Approach to Syllogistic Reasoning, Proceedings of IJCAI-89, Detroit, Mich., 1989, 568\u2013573."},{"key":"13_CR3","first-page":"179","volume-title":"Neural Networks from Models to Applications","author":"O Ekeberg","year":"1989","unstructured":"Ekeberg, O., and A. Lansner, Automatic Generation of Internal Representations in a Probabilistic Artificial Neural Network, in: Neural Networks from Models to Applications ( Personnaz, L., and G. Dreyfus, eds.), Paris: IDSET, 1989, 179\u2013186."},{"issue":"3","key":"13_CR4","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0004-3702(80)90051-X","volume":"14","author":"RM Haralick","year":"1980","unstructured":"Haralick, R.M., and G.L. Elliott, Increasing Tree Search Efficiency for Constraint Satisfaction Problems, Artificial Intelligence 14 (3), 1980, 61\u201376.","journal-title":"Artificial Intelligence"},{"key":"13_CR5","unstructured":"Kaindl, H., and H.G. Ziegeler, Some Aspects of Knowledge-Based Configuration, Proceedings AVIGNON \u201880: Expert systems & their applications, Specialized Conference: Artificial Intelligence, Telecommunications & Computer Systems, 1990, 41\u201354."},{"key":"13_CR6","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1063\/1.36226","volume":"151","author":"A Lapedes","year":"1986","unstructured":"Lapedes, A. and R. Farber, Programming a Massively Parallel, Computation Universal System: Static Behaviour, AIP Conf. Proc. 151, 1986, 283\u2013298.","journal-title":"AIP Conf. Proc."},{"key":"13_CR7","first-page":"205","volume-title":"Encyclopedia of Artificial Intelligence","author":"AK Mackworth","year":"1987","unstructured":"Mackworth, A.K., Constraint Satisfaction, in Encyclopedia of Artificial Intelligence ( Shapiro, S.C., ed.), New York, N.Y.: Wiley, 1987, 205\u2013211."},{"key":"13_CR8","volume-title":"Principles of Artificial Intelligence","author":"NJ Nilsson","year":"1980","unstructured":"Nilsson, N.J., Principles of Artificial Intelligence, Tioga Publ. Co., 1980."},{"key":"13_CR9","first-page":"463","volume-title":"Machine Learning","author":"JR Quinlan","year":"1984","unstructured":"Quinlan, J.R., Learning efficient classification procedures and their application to chess end games: in: Machine Learning 2 (Michalski, R.S., J.G. Carbonell, and T.M. Mitchell, eds.), Palo Alto, Ca.: Tioga, 1984, 463\u2013482."},{"key":"13_CR10","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5236.001.0001","volume-title":"Parallel Distributed Processing: Explorations in the Microstructure of Cognition","author":"D Rumelhart","year":"1986","unstructured":"Rumelhart, D., J. McClelland et al. (ed.), Parallel Distributed Processing: Explorations in the Microstructure of Cognition, Cambridge, Ma.: MIT Press, 1986."},{"key":"13_CR11","volume-title":"Solving Constraint Satisfaction Problems with Neural Networks, Proc. IEEE First International Conference on Neural Networks, San Diego","author":"GA Tagliarini","year":"1987","unstructured":"Tagliarini, G.A. and E.W. Page, Solving Constraint Satisfaction Problems with Neural Networks, Proc. IEEE First International Conference on Neural Networks, San Diego, 1987."},{"key":"13_CR12","volume-title":"A Cyclic Pattern Resulting from a Constraint Satisfaction Search, working paper to be presented at the AAAI-90 Workshop on Constraint Directed Reasoning","author":"HG Ziegeler","year":"1990","unstructured":"Ziegeler, H.G., and H. Kaindl, A Cyclic Pattern Resulting from a Constraint Satisfaction Search, working paper, to be presented at the AAAI-90 Workshop on Constraint Directed Reasoning, July 1990."}],"container-title":["Informatik-Fachberichte","Konnektionismus in Artificial Intelligence und Kognitionsforschung"],"original-title":[],"language":"de","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-76070-9_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,18]],"date-time":"2023-02-18T21:55:39Z","timestamp":1676757339000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-76070-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540531319","9783642760709"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-76070-9_13","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1990]]}}}