{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,23]],"date-time":"2025-04-23T13:05:31Z","timestamp":1745413531466},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540739531"},{"type":"electronic","value":"9783540739548"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73954-8_9","type":"book-chapter","created":{"date-parts":[[2007,8,13]],"date-time":"2007-08-13T19:10:01Z","timestamp":1187032201000},"page":"205-232","source":"Crossref","is-referenced-by-count":8,"title":["The Core Method: Connectionist Model Generation for First-Order Logic Programs"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Bader","sequence":"first","affiliation":[]},{"given":"Pascal","family":"Hitzler","sequence":"additional","affiliation":[]},{"given":"Steffen","family":"H\u00f6lldobler","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Witzel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1_9","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BF02478259","volume":"5","author":"WS McCulloch","year":"1943","unstructured":"McCulloch, W.S., Pitts, W.: A logical calculus of the ideas immanent in nervous activity. Bulletin of Mathematical Biophysics 5 (1943) 115-133","journal-title":"Bulletin of Mathematical Biophysics"},{"key":"9_CR2_9","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1162\/neco.1991.3.2.282","volume":"3","author":"G Pinkas","year":"1991","unstructured":"Pinkas, G.: Symmetric neural networks and logic satisfiability. Neural Computation 3 (1991) 282-291","journal-title":"Neural Computation"},{"key":"9_CR3_9","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1017\/S0140525X0005264X","volume":"11","author":"J McCarthy","year":"1988","unstructured":"McCarthy, J.: Epistemological challanges for connectionism. Behavioural and Brain Sciences 11 (1988) 44 Commentary to [12].","journal-title":"Behavioural and Brain Sciences"},{"key":"9_CR4_9","unstructured":"Bader, S., Hitzler, P.: Dimensions of neural-symbolic integration - a struc-tured survey. In: S. Artemov, H. Barringer, A. S. d\u2019Avila Garcez, L. C. Lamb and J. Woods (eds).: We Will Show Them: Essays in Honour of Dov Gabbay, Volume 1. International Federation for Computational Logic, College Publica-tions (2005) 167-194"},{"key":"9_CR5_9","unstructured":"Ballard, D.H.: Parallel logic inference and energy minimization. In: Proceedings of the AAAI National Conference on Artificial Intelligence. (1986) 203 - 208"},{"key":"9_CR6_9","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1080\/09540098908915635","volume":"1","author":"TE Lange","year":"1989","unstructured":"Lange, T.E., Dyer, M.G.: High-level inferencing in a connectionist network. Connection Science 1 (1989) 181-217","journal-title":"Connection Science"},{"key":"9_CR7_9","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1017\/S0140525X00030910","volume":"16","author":"L Shastri","year":"1993","unstructured":"Shastri, L., Ajjanagadde, V.: From associations to systematic reasoning: A con-nectionist representation of rules, variables and dynamic bindings using tempo-ral synchrony. Behavioural and Brain Sciences 16 (1993) 417-494","journal-title":"Behavioural and Brain Sciences"},{"key":"9_CR8_9","unstructured":"H\u00f6lldobler, S., Kurfess, F.: CHCL - A connectionist inference system. In Fronh\u00f6fer, B., Wrightson, G., eds.: Parallelization in Inference Systems. Springer, LNAI 590 (1992) 318 - 342"},{"key":"9_CR9_9","first-page":"77","volume":"46","author":"JB Pollack","year":"1990","unstructured":"Pollack, J.B.: Recursive distributed representations. AIJ 46 (1990) 77-105","journal-title":"AIJ"},{"key":"9_CR10_9","unstructured":"Plate, T.A.: Holographic reduced networks. In Giles, C.L., Hanson, S.J., Cowan, J.D., eds.: Advances in Neural Information Processing Systems 5. Morgan Kaufmann (1992)"},{"key":"9_CR11_9","unstructured":"Elman, J.L.: Structured representations and connectionist models. In: Proceed-ings of the Annual Conference of the Cognitive Science Society. (1989) 17-25"},{"key":"9_CR12_9","unstructured":"Smolensky, P.: On variable binding and the representation of symbolic struc-tures in connectionist systems. Technical Report CU-CS-355-87, Department of Computer Science & Institute of Cognitive Science, University of Colorado, Boulder, CO 80309-0430 (1987)"},{"key":"9_CR13_9","unstructured":"Bader, S., Hitzler, P., H\u00f6lldobler, S.: The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Arti-ficial Intelligence. Information 9 (2006)."},{"key":"9_CR14_9","first-page":"71","volume":"13","author":"GG Towell","year":"1993","unstructured":"Towell, G.G., Shavlik, J.W.: Extracting refined rules from knowledge-based neural networks. Machine Learning 13 (1993) 71-101","journal-title":"Machine Learning"},{"key":"9_CR15_9","unstructured":"H\u00f6lldobler, S., Kalinke, Y.: Towards a massively parallel computational model for logic programming. In: Proceedings ECAI94 Workshop on Combining Sym-bolic and Connectionist Processing, ECCAI (1994) 68-77"},{"key":"9_CR16_9","doi-asserted-by":"crossref","unstructured":"Bishop, C.M.: Neural Networks for Pattern Recognition. Oxford University Press (1995)","DOI":"10.1201\/9781420050646.ptb6"},{"key":"9_CR17_9","volume-title":"Foundations of Logic Programming","author":"JW Lloyd","year":"1988","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer, Berlin (1988)"},{"key":"9_CR18_9","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/B978-0-934613-40-8.50006-3","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"KR Apt","year":"1988","unstructured":"Apt, K.R., Blair, H.A., Walker, A.: Towards a theory of declarative knowledge. In Minker, J., ed.: Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann, Los Altos, CA (1988) 89-148"},{"key":"9_CR19_9","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.jal.2004.03.002","volume":"3","author":"P Hitzler","year":"2004","unstructured":"Hitzler, P., H\u00f6lldobler, S., Seda, A.K.: Logic programs and connectionist net-works. Journal of Applied Logic 3 (2004) 245-272","journal-title":"Journal of Applied Logic"},{"key":"9_CR20_9","first-page":"33","volume-title":"Knowledge Representation in Neural networks","author":"AS d\u2019Avila Garcez","year":"1997","unstructured":"d\u2019Avila Garcez, A.S., Zaverucha, G., de Carvalho, L.A.V.: Logical inference and inductive learning in artificial neural networks. In Hermann, C., Reine, F., Strohmaier, A., eds.: Knowledge Representation in Neural networks. Logos Verlag, Berlin (1997) 33-46"},{"key":"9_CR21_9","volume-title":"Perspectives in Neural Computing","author":"AS d\u2019Avila Garcez","year":"2002","unstructured":"d\u2019Avila Garcez, A.S., Broda, K.B., Gabbay, D.M.: Neural-Symbolic Learning Systems \u2014 Foundations and Applications. Perspectives in Neural Computing. Springer, Berlin (2002)"},{"key":"9_CR22_9","unstructured":"Kalinke, Y.: Ein massiv paralleles Berechnungsmodell f\u00fcr normale logische Pro-gramme. Master\u2019s thesis, TU Dresden, Fakult\u00e4t Informatik (1994) (in German)."},{"key":"9_CR23_9","unstructured":"Seda, A., Lane, M.: Some aspects of the integration of connectionist and logic-based systems. In: Proceedings of the Third International Conference on Infor-mation, International Information Institute, Tokyo, Japan (2004) 297-300"},{"key":"9_CR24_9","unstructured":"d\u2019Avila Garcez, A.S., Lamb, L.C., Gabbay, D.M.: A connectionist inductive learning system for modal logic programming. In: Proceedings of the IEEE International Conference on Neural Information Processing ICONIP\u201902, Singa-pore. (2002)"},{"key":"9_CR25_9","volume-title":"Frontiers in Artificial Intel-ligence and Applications","author":"AS d\u2019Avila Garcez","year":"2003","unstructured":"d\u2019Avila Garcez, A.S., Lamb, L.C., Gabbay, D.M.: Neural-symbolic intuitionistic reasoning. In A. Abraham, M.K., Franke, K., eds.: Frontiers in Artificial Intel-ligence and Applications, Melbourne, Australia, IOS Press (2003) Proceedings of the Third International Conference on Hybrid Intelligent Systems (HIS\u201903)."},{"key":"9_CR26_9","doi-asserted-by":"crossref","unstructured":"Andrews, R., Diederich, J., Tickle, A.: A survey and critique of techniques for extracting rules from trained artificial neural networks. Knowledge-Based Systems 8 (1995)","DOI":"10.1016\/0950-7051(96)81920-4"},{"key":"9_CR27_9","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1016\/0893-6080(89)90020-8","volume":"2","author":"K Hornik","year":"1989","unstructured":"Hornik, K., Stinchcombe, M., White, H.: Multilayer feedforward networks are universal approximators. Neural Networks 2 (1989) 359-366","journal-title":"Neural Networks"},{"key":"9_CR28_9","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0893-6080(89)90003-8","volume":"2","author":"KI Funahashi","year":"1989","unstructured":"Funahashi, K.I.: On the approximate realization of continuous mappings by neural networks. Neural Networks 2 (1989) 183-192","journal-title":"Neural Networks"},{"key":"9_CR29_9","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/A:1008376514077","volume":"11","author":"S H\u00f6lldobler","year":"1999","unstructured":"H\u00f6lldobler, S., Kalinke, Y., St\u00f6rr, H.P.: Approximating the semantics of logic programs by recurrent neural networks. Applied Intelligence 11 (1999) 45 58","journal-title":"Applied Intelligence"},{"key":"9_CR30_9","unstructured":"Willard, S.: General Topology. Addison-Wesley (1970)"},{"key":"9_CR31_9","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/S0743-1066(14)80007-1","volume":"21","author":"M Fitting","year":"1994","unstructured":"Fitting, M.: Metric methods, three examples and a theorem. Journal of Logic Programming 21 (1994) 113-127","journal-title":"Journal of Logic Programming"},{"key":"9_CR32_9","unstructured":"Bader, S., Hitzler, P., Witzel, A.: Integrating first-order logic programs and con-nectionist systems - a constructive approach. In d\u2019Avila Garcez, A.S., Elman, J., Hitzler, P., eds.: Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy\u201905, Edinburgh, UK. (2005)"},{"key":"9_CR33_9","unstructured":"Witzel, A.: Integrating first-order logic programs and connectionist systems - a constructive approach. Project thesis, Department of Computer Science, Technische Universit\u00e4t Dresden, Dresden, Germany (2005)"},{"key":"9_CR34_9","volume-title":"Fractals Everywhere","author":"M Barnsley","year":"1993","unstructured":"Barnsley, M.: Fractals Everywhere. Academic Press, San Diego, CA, USA (1993)"},{"key":"9_CR35_9","unstructured":"Witzel, A.: Neural-symbolic integration - constructive approaches. Master\u2019s thesis, Department of Computer Science, Technische Universit\u00e4t Dresden, Dresden, Germany (2006)"},{"key":"9_CR36_9","first-page":"666","volume-title":"Proceed-ings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07)","author":"S Bader","year":"2007","unstructured":"Bader, S., Hitzler, P., H\u00f6lldobler, S., Witzel, A.: A fully connectionist model generator for covered first-order logic programs. In Veloso, M.M., ed.: Proceed-ings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India, Menlo Park CA, \u00a0AAAI Press (2007) 666-671"},{"key":"9_CR37_9","volume-title":"Vektorbasierte Neuronale Netze","author":"B Fritzke","year":"1998","unstructured":"Fritzke, B.: Vektorbasierte Neuronale Netze. Habilitation, Technische Univer-sit\u00e4t Dresden (1998)"}],"container-title":["Studies in Computational Intelligence","Perspectives of Neural-Symbolic Integration"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73954-8_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:06:10Z","timestamp":1619503570000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73954-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540739531","9783540739548"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73954-8_9","relation":{},"ISSN":["1860-949X"],"issn-type":[{"type":"print","value":"1860-949X"}],"subject":[],"published":{"date-parts":[[2007]]}}}