{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T11:34:35Z","timestamp":1743075275257,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642042768"},{"type":"electronic","value":"9783642042775"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04277-5_9","type":"book-chapter","created":{"date-parts":[[2009,10,1]],"date-time":"2009-10-01T08:49:52Z","timestamp":1254386992000},"page":"85-94","source":"Crossref","is-referenced-by-count":12,"title":["Logics and Networks for Human Reasoning"],"prefix":"10.1007","author":[{"given":"Steffen","family":"H\u00f6lldobler","sequence":"first","affiliation":[]},{"given":"Carroline Dewi Puspa","family":"Kencana Ramli","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","first-page":"666","volume-title":"Proceedings of the Twentieth International Joint Conference on Artificial Intelligence","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.) Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, January 2007, pp. 666\u2013671. AAAI Press, Menlo Park (2007)"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11840930_1","volume-title":"Artificial Neural Networks \u2013 ICANN 2006","author":"S. Bader","year":"2006","unstructured":"Bader, S., H\u00f6lldobler, S.: The core method: Connectionist model generation. In: Kollias, S.D., Stafylopatis, A., Duch, W., Oja, E. (eds.) ICANN 2006. LNCS, vol.\u00a04132, pp. 1\u201313. Springer, Heidelberg (2006)"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0010-0277(89)90018-8","volume":"31","author":"R.M.J. Byrne","year":"1989","unstructured":"Byrne, R.M.J.: Suppressing valid inferences with conditionals. Cognition\u00a031, 61\u201383 (1989)","journal-title":"Cognition"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Clark, K.L.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Databases, pp. 293\u2013322. Plenum, New York (1978)","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"9_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0211-3","volume-title":"Neural-Symbolic Learning Systems: Foundations and Applications","author":"A.S. d\u2019Avila Garcez","year":"2002","unstructured":"d\u2019Avila Garcez, A.S., Broda, K., Gabbay, D.M.: Neural-Symbolic Learning Systems: Foundations and Applications. Springer, Heidelberg (2002)"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s11245-006-9005-5","volume":"26","author":"A.S. d\u2019Avila Garcez","year":"2007","unstructured":"d\u2019Avila Garcez, A.S., Gabbay, D.M., Ray, O., Woods, J.: Abductive reasoning in neural-symbolic learning systems. TOPOI\u00a026, 37\u201349 (2007)","journal-title":"TOPOI"},{"key":"9_CR7","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), Singapore (2002)"},{"key":"9_CR8","first-page":"33","volume-title":"Knowledge Representation in Neural Networks","author":"A.S. d\u2019Avila Garcez","year":"1997","unstructured":"d\u2019Avila Garcez, A.S., Zaverucha, G., de Carvalho, L.A.V.: Logic programming and inductive learning in artificial neural networks. In: Herrmann, C., Reine, F., Strohmaier, A. (eds.) Knowledge Representation in Neural Networks, pp. 33\u201346. Logos Verlag, Berlin (1997)"},{"issue":"4","key":"9_CR9","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"2","author":"M. Fitting","year":"1985","unstructured":"Fitting, M.: A Kripke\u2013Kleene semantics for logic programs. Journal of Logic Programming\u00a02(4), 295\u2013312 (1985)","journal-title":"Journal of Logic Programming"},{"issue":"3","key":"9_CR10","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/S0743-1066(14)80007-1","volume":"21","author":"M. Fitting","year":"1994","unstructured":"Fitting, M.: Metric methods \u2013 three examples and a theorem. Journal of Logic Programming\u00a021(3), 113\u2013127 (1994)","journal-title":"Journal of Logic Programming"},{"key":"9_CR11","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0893-6080(89)90003-8","volume":"2","author":"K.-I. Funahashi","year":"1989","unstructured":"Funahashi, K.-I.: On the approximate realization of continuous mappings by neural networks. Neural Networks\u00a02, 183\u2013192 (1989)","journal-title":"Neural Networks"},{"key":"9_CR12","unstructured":"H\u00f6lldobler, S., Kalinke, Y.: Towards a massively parallel computational model for logic programming. In: Proceedings of the ECAI 1994 Workshop on Combining Symbolic and Connectionist Processing, pp. 68\u201377, ECCAI (1994)"},{"key":"9_CR13","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\u00a011, 45\u201359 (1999)","journal-title":"Applied Intelligence"},{"key":"9_CR14","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\u00a02, 359\u2013366 (1989)","journal-title":"Neural Networks"},{"key":"9_CR15","unstructured":"Kalinke, Y.: Ein massiv paralleles Berechnungsmodell f\u00fcr normale logische Programme. Master\u2019s thesis, TU Dresden, Fakult\u00e4t Informatik (1994) (in German)"},{"key":"9_CR16","volume-title":"Introduction to Metamathematics","author":"S.C. Kleene","year":"1952","unstructured":"Kleene, S.C.: Introduction to Metamathematics. North-Holland, Amsterdam (1952)"},{"key":"#cr-split#-9_CR17.1","unstructured":"??ukasiewicz, J.: O logice tr??jwarto??ciowej. Ruch Filozoficzny??5, 169???171 (1920);"},{"key":"#cr-split#-9_CR17.2","unstructured":"English translation: On Three-Valued Logic. In: Borkowski, L. (ed.) Jan ??ukasiewicz Selected Works, pp. 87???88. North Holland, Amsterdam (1990)"},{"key":"9_CR18","first-page":"297","volume-title":"Proceedings of the Third International Conference on Information","author":"A.K. Seda","year":"2004","unstructured":"Seda, A.K., Lane, M.: Some aspects of the integration of connectionist and logic-based systems. In: Proceedings of the Third International Conference on Information, pp. 297\u2013300. International Information Institute, Tokyo (2004)"},{"key":"9_CR19","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7964.001.0001","volume-title":"Human Reasoning and Cognitive Science","author":"K. Stenning","year":"2008","unstructured":"Stenning, K., van Lambalgen, M.: Human Reasoning and Cognitive Science. MIT Press, Cambridge (2008)"},{"key":"9_CR20","volume-title":"Denotational Semantics","author":"J.E. Stoy","year":"1977","unstructured":"Stoy, J.E.: Denotational Semantics. MIT Press, Cambridge (1977)"}],"container-title":["Lecture Notes in Computer Science","Artificial Neural Networks \u2013 ICANN 2009"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04277-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T21:58:06Z","timestamp":1552168686000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04277-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642042768","9783642042775"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04277-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}