{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:10:07Z","timestamp":1742595007336,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":88,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540554257"},{"type":"electronic","value":"9783540470663"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55425-4_4","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:59:15Z","timestamp":1330250355000},"page":"82-120","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Connectionist inference systems"],"prefix":"10.1007","author":[{"given":"Hans Werner","family":"G\u00fcsgen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steffen","family":"H\u00f6lldobler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"H. M. Adorf and M. D. Johnston. A discrete stochastic neural network algorithm for constraint satisfaction problems. In Proceedings of the International Joint Conference on Neural Networks, 1990.","DOI":"10.1109\/IJCNN.1990.137951"},{"key":"4_CR2","unstructured":"V. Ajjanagadde. Reasoning with function symbols in a connecionist system. In Proceedings of the Annual Conference of the Cognitive Science Society, 1990."},{"key":"4_CR3","unstructured":"[Anandan et al., 1989] P. Anandan, S. Letovsky, and E. Mjolsness. Connectionist variable-binding by optimization. In Proceedings of the Annual Conference of the Cognitive Science Society, pages 388\u2013395, 1989."},{"key":"4_CR4","unstructured":"D. H. Ballard. Parallel logic inference and energy minimization. In Proceedings of the AAAI National Conference on Artificial Intelligence, pages 203\u2013208, 1986."},{"key":"4_CR5","volume-title":"Technical Report TR 142","author":"D. H. Ballard","year":"1986","unstructured":"D. H. Ballard. Parallel logic inference and energy minimization. Technical Report TR 142, Computer Science Department, Univ. of Rochester, Rochester, NY 14627, 1986."},{"key":"4_CR6","first-page":"25","volume":"7","author":"J. A. Barnden","year":"1984","unstructured":"J. A. Barnden. On short term information processing in connectionist theories. Cognition and Brain Theory, 7:25\u201359, 1984.","journal-title":"Cognition and Brain Theory"},{"key":"4_CR7","unstructured":"J. A. Barnden. Neural-net implementation of complex symbol-processing in a mental model approach to syllogistic reasoning. In Proceedings of the International Joint Conference on Artificial Intelligence, pages 568\u2013573, 1989."},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"[Barto et al., 1983] A. G. Barto, R. S. Sutton, and C. W. Anderson. Neuronlike adaptive elements that can solve difficult learning control problems. IEEE Transactions on Systems, Man, and Cybernetics, pages 835\u2013846, 1983.","DOI":"10.1109\/TSMC.1983.6313077"},{"key":"4_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-90102-6","volume-title":"Automated Theorem Proving","author":"W. Bibel","year":"1987","unstructured":"W. Bibel. Automated Theorem Proving. Vieweg Verlag, Braunschweig, second edition, 1987.","edition":"second edition"},{"key":"4_CR10","volume-title":"Festschrift for W. W. Bledsoe","author":"W. Bibel","year":"1990","unstructured":"W. Bibel. Perspectives in automated deduction. In R. S. Boyer, editor, Festschrift for W. W. Bledsoe. Kluwer Academic, Utrecht, 1990."},{"key":"4_CR11","volume-title":"Encyclopedia of Artificial Intelligence","author":"W. Bibel","year":"1991","unstructured":"W. Bibel. Intellectics. In S. C. Shapiro, editor, Encyclopedia of Artificial Intelligence. John Wiley, New York, to appear 1991."},{"issue":"2","key":"4_CR12","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1207\/s15516709cog0902_1","volume":"9","author":"R. J. Brachman","year":"1985","unstructured":"R. J. Brachman and J. G. Schmolze. An overview of the KL-ONE knowledge representation system. Cognitive Science, 9(2): 171\u2013216, 1985.","journal-title":"Cognitive Science"},{"key":"4_CR13","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1109\/ICNN.1988.23945","volume":"II","author":"R. D. Brandt","year":"1988","unstructured":"[Brandt et al., 1988] R. D. Brandt, Y. Wang, A. J. Laub, and S. K. Mitra. Alternative networks for solving the travelling salesman problem. In IEEE International Conference on Neural Networks, pages vol. II, 333\u2013340, 1988.","journal-title":"IEEE International Conference on Neural Networks"},{"key":"4_CR14","unstructured":"G. Brewka. Preferred subtheories: An extended logical framework for default reasoning. In Proceedings of the International Joint Conference on Artificial Intelligence, pages 1043\u20131048, 1989."},{"key":"4_CR15","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"L. Chang","year":"1973","unstructured":"L. Chang and R. C. T. Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York, 1973."},{"key":"4_CR16","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4952.001.0001","volume-title":"Neurophilosophy: Toward a Unified Science of Mind\/Brain","author":"P. S. Churchland","year":"1986","unstructured":"P. S. Churchland. Neurophilosophy: Toward a Unified Science of Mind\/Brain. MIT Press, Cambridge, Ma., 1986."},{"key":"4_CR17","unstructured":"P. R. Cooper and M. J. Swain. Parallelism and domain dependence in constraint satisfaction. Technical Report 255, Computer Science Department, Univ. of Rochester, 1988."},{"key":"4_CR18","unstructured":"P. R. Cooper. Parallel object recognition from structure (the tinkertoy project). Technical Report TR 301, University of Rochester, Computer Science Department, 1989."},{"key":"4_CR19","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1016\/0004-3702(84)90042-0","volume":"24","author":"R. Davis","year":"1984","unstructured":"R. Davis. Diagnostic reasoning based on structure and behavior. Artificial Intelligence, 24:347\u2013410, 1984.","journal-title":"Artificial Intelligence"},{"key":"4_CR20","unstructured":"J. DeKleer and B. C. Williams. Diagnosing multiple faults. In Proceedings of the AAAI National Conference on Artificial Intelligence, pages 132\u2013139, 1986."},{"key":"4_CR21","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0004-3702(90)90006-L","volume":"46","author":"M. Derthick","year":"1990","unstructured":"M. Derthick. Mundane reasoning by settling on a plausible model. Artificial Intelligence, 46:77\u2013106, 1990.","journal-title":"Artificial Intelligence"},{"key":"4_CR22","unstructured":"J. Diederich. Connectionist recruitment learning. In Proceedings of the European Conference on Artificial Intelligence, pages 351\u2013356, 1988."},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"C. P. Dolan and P. Smolensky. Implementing a connectionist production system using tensor products. In Touretzky, Hinton, and Sejnowski, editors, Proceedings of the 1988 Connectionist Models Summer School, pages 265\u2013272. Morgan Kaufmann, 1988.","DOI":"10.21236\/ADA631497"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"J. L. Elman. Structured representations and connectionist models. In Proceedings of the Annual Conference of the Cognitive Science Society, pages 17\u201325, 1989.","DOI":"10.21236\/ADA259504"},{"issue":"3","key":"4_CR25","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1207\/s15516709cog0603_1","volume":"6","author":"J. A. Feldman","year":"1982","unstructured":"J. A. Feldman and D. H. Ballard. Connectionist models and their properties. Cognitive Science, 6(3):205\u2013254, 1982.","journal-title":"Cognitive Science"},{"key":"4_CR26","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/BF00335349","volume":"46","author":"J. A. Feldman","year":"1982","unstructured":"J. A. Feldman. Dynamic connections in neural networks. Biological Cybernetics, 46:27\u201339, 1982.","journal-title":"Biological Cybernetics"},{"key":"4_CR27","unstructured":"H. Geffner and J. Pearl. An improved constraint-propagation algorithm for diagnosis. In Proceedings of the International Joint Conference on Artificial Intelligence, pages 1105\u20131111, 1987."},{"key":"4_CR28","doi-asserted-by":"crossref","first-page":"721","DOI":"10.1109\/TPAMI.1984.4767596","volume":"6","author":"S. Geman","year":"1984","unstructured":"S. Geman and D. Geman. Stochastic relaxation, gibbs distribution, and the bayesian restoration of images. IEEE Transactions on Pattern Analysis and Machine Intelligence, 6:721\u2013741, 1984.","journal-title":"IEEE Transactions on Pattern Analysis and Machine Intelligence"},{"key":"4_CR29","unstructured":"H. W. G\u00fcsgen. Connectionist networks for constraint satisfaction. In Proceedings of the ISMM International Conference on Parallel and Distributed Computing, and Systems, pages 12\u201316, 1990."},{"key":"4_CR30","unstructured":"R. F. Hadley. Connectionism, rule following, and symbolic manipulation. In Proceedings of the AAAI National Conference on Artificial Intelligence, pages 579\u2013586, 1990."},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"[Hertz et al., 1991] J. Hertz, A. Krogh, and R. G. Palmer. Introduction to the Theory of Neural Computation. Addison-Wesley Publishing Company, 1991.","DOI":"10.1063\/1.2810360"},{"key":"4_CR32","doi-asserted-by":"crossref","unstructured":"J. Hertzberg and H.W. Guesgen. Transforming constraint relaxation networks into Boltzmann machines. In Proceedings of the German Workshop on Artificial Intelligence, pages 244\u2013253. Springer, 1991.","DOI":"10.1007\/978-3-662-02711-0_27"},{"key":"4_CR33","unstructured":"G. E. Hinton and T. J. Sejnowski. Optimal perceptual inference. In Proceedings of the IEEE Conference on Computer Vision and Recognition, pages 448\u2013453, 1983."},{"key":"4_CR34","doi-asserted-by":"crossref","unstructured":"S. H\u00f6lldobler and F. Kurfess. CHCL \u2014 A connectionist inference system. In B. Fronh\u00f6fer and G. Wrightson, editors, Parallelization in Inference Systems. Springer, 1991. (to appear).","DOI":"10.1007\/3-540-55425-4_17"},{"key":"4_CR35","volume-title":"Technical Report TR-90-042","author":"S. H\u00f6lldobler","year":"1990","unstructured":"S. H\u00f6lldobler. CHCL \u2014 A connectionist inference system for a limited class of Horn clauses based on the connection method. Technical Report TR-90-042, International Computer Science Institute, Berkeley, CA, 1990."},{"key":"4_CR36","series-title":"A long version appeared as Technical Report TR-90-012","first-page":"587","volume-title":"Proceedings of the AAAI National Conference on Artificial Intelligence","author":"S. H\u00f6lldobler","year":"1990","unstructured":"S. H\u00f6lldobler. A structured connectionist unification algorithm. In Proceedings of the AAAI National Conference on Artificial Intelligence, pages 587\u2013593, 1990, A long version appeared as Technical Report TR-90-012, International Computer Science Institute, Berkeley, California."},{"key":"4_CR37","unstructured":"S. H\u00f6lldobler. Towards a connectionist inference system. In Proceedings of the International Symposium on Computational Intelligence, 1990."},{"key":"4_CR38","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/BF00339943","volume":"52","author":"J. J. Hopfield","year":"1985","unstructured":"J. J. Hopfield and D. W. Tank. Neural computation of decisions in optimization problems. Biological Cybernetics, 52:141\u2013152, 1985.","journal-title":"Biological Cybernetics"},{"key":"4_CR39","doi-asserted-by":"crossref","unstructured":"J. J. Hopfield. Neural networks and physical systems with emergent collective computational abilities. In Proceedings of the National Academy of Sciences USA, pages 2554\u20132558, 1982.","DOI":"10.1073\/pnas.79.8.2554"},{"key":"4_CR40","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J-L. Lassez. Constraint logic programming. In Proceedings of the ACM Symposium on Principles of Programming Languages, pages 111\u2013119, 1987.","DOI":"10.1145\/41625.41635"},{"issue":"1","key":"4_CR41","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0010-0277(84)90035-0","volume":"16","author":"P. N. Johnson-Laird","year":"1984","unstructured":"P.N. Johnson-Laird and B.G. Bara. Syllogistic inference. Cognition, 16(1):1\u201361, 1984.","journal-title":"Cognition"},{"key":"4_CR42","unstructured":"M. I. Jordan. Attractor dynamics and parallelism in a connectionist sequential machine. In Proceedings of the Annual Conference of the Cognitive Science Society, 1986."},{"key":"4_CR43","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1007\/BF00197648","volume":"62","author":"B. Kamgar-Parsi","year":"1990","unstructured":"B. Kamgar-Parsi and B. Kamgar-Parsi. On problem solving with hopfield neural nets. Biological Cybernetics, 62:415\u2013423, 1990.","journal-title":"Biological Cybernetics"},{"issue":"3","key":"4_CR44","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/0004-3702(90)90009-O","volume":"45","author":"S. Kasif","year":"1990","unstructured":"S. Kasif. On the parallel complexity of discrete relaxation in constraint satisfaction networks. Artificial Intelligence, 45(3):275\u2013286, 1990.","journal-title":"Artificial Intelligence"},{"key":"4_CR45","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1126\/science.220.4598.671","volume":"220","author":"S. Kirkpatrick","year":"1983","unstructured":"[Kirkpatrick et al., 1983] S. Kirkpatrick, C. D. Gelatt Jr., and M. P. Vecchi. Optimization by simulated annealing. Science, 220:671\u2013680, 1983.","journal-title":"Science"},{"key":"4_CR46","unstructured":"J. De Kleer. A comparison of ATMS and CSP techniques. In Proceedings of the International Joint Conference on Artificial Intelligence, pages 290\u2013296, 1989."},{"key":"4_CR47","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1145\/359131.359136","volume":"22","author":"R. A. Kowalski","year":"1979","unstructured":"R. A. Kowalski. Algorithm = logic + control. Communications of the ACM, 22:424\u2013436, 1979.","journal-title":"Communications of the ACM"},{"key":"4_CR48","unstructured":"T. E. Lange and M. G. Dyer. Frame selection in a connectionist model of high-level inferencing. In Proceedings of the Annual Conference of the Cognitive Science Society, pages 706\u2013713, 1989."},{"key":"4_CR49","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1080\/09540098908915635","volume":"1","author":"T. E. Lange","year":"1989","unstructured":"T. E. Lange and M. G. Dyer. High-level inferencing in a connectionist network. Connection Science, 1:181\u2013217, 1989.","journal-title":"Connection Science"},{"issue":"8","key":"4_CR50","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/79173.79176","volume":"33","author":"D. B. Lenat","year":"1990","unstructured":"[Lenat et al., 1990] D. B. Lenat, R. V. Guha, K. Pittman, D. Pratt, and M. Shepard. Cyc: Toward programming with common sense. Communications of the ACM, 33(8):30\u201349, 1990.","journal-title":"Communications of the ACM"},{"key":"4_CR51","doi-asserted-by":"crossref","unstructured":"[Letz et al., 1992] R. Letz, S. Bayerl, J. Schumann, and W. Bibel. Setheo: A highperformance theorem prover. Journal of Automated Reasonsing, 1992. to appear.","DOI":"10.1007\/BF00244282"},{"key":"4_CR52","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A. K. Mackworth","year":"1977","unstructured":"A. K. Mackworth. Consistency in networks of relations. Artificial Intelligence, 8:99\u2013118, 1977.","journal-title":"Artificial Intelligence"},{"key":"4_CR53","unstructured":"A. Mackworth. Constraint satisfaction. In Shapiro, editor, Encyclopedia of Artificial Intelligence, pages 205\u2013211. John Wiley & Sons, 1987."},{"key":"4_CR54","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1037\/0033-295X.88.5.375","volume":"88","author":"J. L. McClelland","year":"1981","unstructured":"J. L. McClelland and D. E. Rumelhart. An interactive activation model of the effect of context in perception: Part 1. Psychological Review, 88:375\u2013405, 1981.","journal-title":"Psychological Review"},{"key":"4_CR55","unstructured":"[McClelland et al.,] J. L. McClelland, J. Feldman, G. Bower, and D. McDermott. Connectionist models and cognitive science: Goals, directions and implications."},{"key":"4_CR56","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/BF02478259","volume":"5","author":"W. S. McCulloch","year":"1943","unstructured":"W. S. McCulloch and W. Pitts. A logical calculus and the ideas immanent in nervous activity. Bulletin of Mathematical Biophysics, 5:115\u2013133, 1943.","journal-title":"Bulletin of Mathematical Biophysics"},{"issue":"2","key":"4_CR57","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1037\/h0043158","volume":"63","author":"G. A. Miller","year":"1956","unstructured":"G. A. Miller. The magical number seven, plus or minus two: Some limits on our capacity for processing information. The Psychological Review, 63(2):81\u201397, 1956.","journal-title":"The Psychological Review"},{"key":"4_CR58","unstructured":"M. Minsky and S. Papert. Perceptrons. MIT Press, 1972."},{"key":"4_CR59","unstructured":"[Minton et al., 1990] S. Minton, M. D. Johnston, A. B. Philips, and P. Laird. Solving large-scale constraint-satisfaction and scheduling problems using a heuristic repair method. In Proceedings of the AAAI National Conference on Artificial Intelligence, pages 17\u201324, 1990."},{"key":"4_CR60","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1162\/neco.1989.1.2.218","volume":"1","author":"E. Mjolsness","year":"1989","unstructured":"[Mjolsness et al., 1989] E. Mjolsness, G. Gindi, and P. Anandan. Optimization in model matching and perceptual organization. Neural Computation, 1:218\u2013229, 1989.","journal-title":"Neural Computation"},{"key":"4_CR61","volume-title":"PhD thesis","author":"M. C. Mozer","year":"1987","unstructured":"M. C. Mozer. The Perception of Multiple Objects: A Parallel, Distributed Proceesing Approach. PhD thesis, University of California, San Diego, 1987."},{"key":"4_CR62","unstructured":"G. Pinkas. The equivalence of energy minimization and propositional calculus satisfiability. Technical Report WUCS-90-03, Washington University, 1990."},{"key":"4_CR63","unstructured":"G. Pinkas. Expressing first-order logic in symmetric connectionist networks. In L. N. Kanal and C. B. Suttner, editors, Informal Proceedings of the International Workshop on Parallel Processing for AI, pages 155\u2013160, Sydney, Australia, August 1991 1991."},{"key":"4_CR64","unstructured":"G. Pinkas. Propositional non-monotonic reasoning and inconsistency in symmetrical neural networks. In Proceedings of the International Joint Conference on Artificial Intelligence, 1991."},{"key":"4_CR65","unstructured":"M. I. Posner. Chronometrie Explorations of the Mind. Lawrence Erlbaum Associates, 1978."},{"key":"4_CR66","unstructured":"R. M. Quillian. Semantic memory. In Minsky, editor, Semantic Information Processing, pages 216\u2013270. MIT Press, 1968."},{"key":"4_CR67","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1207\/s15516709cog0901_5","volume":"9","author":"D. E. Rumelhart","year":"1985","unstructured":"D. E. Rumelhart and D. Zipser. Feature discovery by competitive learning. Cognitive Science, 9:75\u2013112, 1985.","journal-title":"Cognitive Science"},{"key":"4_CR68","doi-asserted-by":"crossref","unstructured":"[Rumelhart et al., 1986a] D. E. Rumelhart, G. E. Hinton, and R. J. Williams. Learning internal representations by error propagation. In Parallel Distributed Processing. MIT Press, 1986.","DOI":"10.21236\/ADA164453"},{"key":"4_CR69","doi-asserted-by":"crossref","unstructured":"[Rumelhart et al., 1986b] D. E. Rumelhart, J. L. McClelland, and the PDP Research Group. Parallel Distributed Processing. The MIT Press, 1986.","DOI":"10.7551\/mitpress\/5236.001.0001"},{"key":"4_CR70","volume-title":"Technical Report MS-CIS-90-05","author":"L. Shastri","year":"1990","unstructured":"L. Shastri and V. Ajjanagadde. From associations to systematic reasoning: A connectionist representation of rules, variables and dynamic bindings. Technical Report MS-CIS-90-05, Department of Computer and Information Science, University of Pennsylvania, Philadelphia, School of Engineering and Applied Science, PA 19104-6389, 1990."},{"key":"4_CR71","unstructured":"L. Shastri and V. Ajjanagadde. An optimally efficient limited inference system. In Proceedings of the AAAI National Conference on Artificial Intelligence, pages 563\u2013570, 1990."},{"key":"4_CR72","doi-asserted-by":"crossref","unstructured":"L. Shastri. A connectionist approach to knowledge representation and limited inference. Cognitive Science, 12(3), 1988.","DOI":"10.1016\/0364-0213(88)90027-4"},{"key":"4_CR73","volume-title":"Research notes in Artificial Intelligence","author":"L. Shastri","year":"1988","unstructured":"L. Shastri. Semantic Networks: An Evidential Formalization and its Connectionist Realization. Research notes in Artificial Intelligence. Pitman, London, 1988."},{"key":"4_CR74","doi-asserted-by":"crossref","unstructured":"L. Shastri. Connectionism, knowledge representation, and effective reasoning. In Brauer und Freksa, editor, Proceedings of the International GI Congress on Knowledge-Based Systems, pages 186\u2013195, 1989.","DOI":"10.1007\/978-3-642-75182-0_18"},{"key":"4_CR75","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1016\/0004-3702(89)90016-7","volume":"39","author":"L. Shastri","year":"1989","unstructured":"L. Shastri. Default reasoning in semantic networks: A formalization of recognition and inheritance. Artificial Intelligence, 39:283\u2013355, 1989.","journal-title":"Artificial Intelligence"},{"key":"4_CR76","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0140525X00052432","volume":"11","author":"P. Smolensky","year":"1988","unstructured":"P. Smolensky. On the proper treatment of connectionism. Behavioral and Brain Sciences, 11:1\u201374, 1988.","journal-title":"Behavioral and Brain Sciences"},{"key":"4_CR77","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/0004-3702(90)90007-M","volume":"46","author":"P. Smolensky","year":"1990","unstructured":"P. Smolensky. Tensor product variable binding and the representation of symbolic structures in connectionist systems. Artificial Intelligence, 46:159\u2013216, 1990.","journal-title":"Artificial Intelligence"},{"key":"4_CR78","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0004-3702(77)90029-7","volume":"9","author":"R. M. Stallman","year":"1977","unstructured":"R. M. Stallman and G. J. Sussman. Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. Artificial Intelligence, 9:135\u2013196, 1977.","journal-title":"Artificial Intelligence"},{"key":"4_CR79","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0004-3702(81)90007-2","volume":"16","author":"M. Stefik","year":"1981","unstructured":"M. Stefik. Planning with constraints (molgen: part 1). Artificial Intelligence, 16:111\u2013140, 1981.","journal-title":"Artificial Intelligence"},{"key":"4_CR80","doi-asserted-by":"crossref","unstructured":"M. E. Stickel. An introduction to automated deduction. In W. Bibel and P. Jorrand, editors, Fundamentals of Artificial Intelligence, pages 75\u2013132. Springer, 1987.","DOI":"10.1007\/978-3-662-40145-3_3"},{"key":"4_CR81","unstructured":"C. B. Suttner and W. Ertel. Using connectionist networks for guiding the search of a theorem prover. Journal of Neural Networks Research and Application, 1990."},{"key":"4_CR82","unstructured":"H. Tomabechi and H. Kitano. Beyond PDP: The frequency modulation neural network architecture. In Proceedings of the International Joint Conference on Artificial Intelligence, pages 186\u2013192, 1989."},{"key":"4_CR83","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1207\/s15516709cog1203_4","volume":"12","author":"D. S. Touretzky","year":"1988","unstructured":"D. S. Touretzky and G. E. Hinton. A distributed connectionist production system. Cognitive Science, 12:423\u2013466, 1988.","journal-title":"Cognitive Science"},{"key":"4_CR84","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/0004-3702(90)90003-I","volume":"46","author":"D. S. Touretzky","year":"1990","unstructured":"D. S. Touretzky. BoltzCONS: Dynamic symbol structures in a connectionist network. Artificial Intelligence, 46:5\u201346, 1990.","journal-title":"Artificial Intelligence"},{"key":"4_CR85","unstructured":"[Ultsch et al., 1990] A. Ultsch, R. Hannuschka, U. Hartmann, and V. Weber. Learning of control knowledge for symbolic proofs with backpropagation networks. In R. Eckmiller, G. Hartmann, and G. Hauske, editors, Parallel Processing in Neural Systems and Computers, pages 499\u2013502. Elsevier, 1990."},{"key":"4_CR86","unstructured":"D. L. Waltz. Generating semantic descriptions from drawings of scenes with shadows. Technical Report AI-TR-271, Massachusetts Institute of Technology, Cambridge, Massachusetts, 1972."},{"key":"4_CR87","unstructured":"C. J. Wang and E. P. K. Tsang. Solving constraint satisfaction problems using neural networks. Department of Computer Science, University of Essex, 1991."},{"key":"4_CR88","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/BF00363956","volume":"58","author":"G. V. Wilson","year":"1988","unstructured":"G. V. Wilson and G. S. Pawley. On the stability of the travelling salesman problem algorithm of Hopfield and Tank. Biological Cybernetics, 58:63\u201370, 1988.","journal-title":"Biological Cybernetics"}],"container-title":["Lecture Notes in Computer Science","Parallelization in Inference Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55425-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:34:11Z","timestamp":1742592851000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55425-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540554257","9783540470663"],"references-count":88,"URL":"https:\/\/doi.org\/10.1007\/3-540-55425-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]},"assertion":[{"value":"28 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}