{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T15:05:31Z","timestamp":1747580731826},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540651383"},{"type":"electronic","value":"9783540495611"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0095050","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T09:01:04Z","timestamp":1164358864000},"page":"167-178","source":"Crossref","is-referenced-by-count":4,"title":["Recurrent neural networks to approximate the semantics of acceptable logic programs"],"prefix":"10.1007","author":[{"given":"Steffen","family":"H\u00f6lldobler","sequence":"first","affiliation":[]},{"given":"Yvonne","family":"Kalinke","sequence":"additional","affiliation":[]},{"given":"Hans-Peter","family":"St\u00f6rr","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,10,19]]},"reference":[{"key":"15_CR1","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"K.R. Apt","year":"1982","unstructured":"K.R. Apt and M.H. Van Emden. Contributions to the Theory of Logic Programming. Journal of the ACM, 29, pp. 841\u2013862, 1982.","journal-title":"Journal of the ACM"},{"key":"15_CR2","unstructured":"S.-E. Bornscheuer. Generating Rational Models. In M. Maher, editor, Proceedings of the Joint International Conference and Symposium on Logic Programming (JICSLP), p. 547. MIT Press, 1996."},{"key":"15_CR3","volume-title":"Workshop Logic and Databases","author":"K. L. Clark","year":"1977","unstructured":"K. L. Clark. Negation as failure. In Gallaire and Nicolas, editors, Workshop Logic and Databases, CERT, Toulouse, France, 1977."},{"issue":"20","key":"15_CR4","first-page":"635","volume":"19","author":"P. Devienne","year":"1994","unstructured":"P. Devienne and P. Leb\u00e9gue and A. Parrain and J. C. Routier and J. W\u00fcrz. Smallest Horn Clause Programs. Journal of Logic Programming, 19(20):pp. 635\u2013679, 1994.","journal-title":"Journal of Logic Programming"},{"key":"15_CR5","first-page":"33","volume-title":"Knowledge Representation in Neural Networks","author":"A.S. d\u2019Avila Garcez","year":"1997","unstructured":"A.S. d\u2019Avila Garcez, G. Zaverucha, and L.A.V. de Carvalho. Logic programming and inductive learning in artificial neural networks. In Ch. Herrmann, F. Reine, and A. Strohmaier, editors, Knowledge Representation in Neural Networks, pp. 33\u201346, Berlin, Logos Verlag, 1997."},{"issue":"3","key":"15_CR6","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/S0743-1066(14)80007-1","volume":"21","author":"M. Fitting","year":"1994","unstructured":"M. Fitting. Metric methods\u2014three examples and a theorem. Journal of Logic Programming, 21(3), pp. 113\u2013127, 1994.","journal-title":"Journal of Logic Programming"},{"key":"15_CR7","unstructured":"M. Fujita and R. Hasegawa and M. Koshimura and H. Fujita. Model Generation Theorem Provers on a Parallel Inference Machine. Proceedings of the International Conference on Generation Computer Systems, 1992."},{"key":"15_CR8","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0893-6080(89)90003-8","volume":"2","author":"K.-I. Funahashi","year":"1989","unstructured":"K.-I. Funahashi. On the approximate realization of continuous mappings by neural networks. Neural Networks, 2, pp. 183\u2013192, 1989.","journal-title":"Neural Networks"},{"key":"15_CR9","unstructured":"S. H\u00f6lldobler and Y. Kalinke. Towards a massively parallel computational model for logic programming. In Proceedings of the ECA194, Workshop on Combining Symbolic and Connectionist Processing, pp. 68\u201377, ECCAI, 1994."},{"key":"15_CR10","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1016\/0893-6080(89)90020-8","volume":"2","author":"K. Hornik","year":"1989","unstructured":"K. Hornik and M. Stinchcombe and H. White. Multilayer feedforward networks are universal approximators. Neuronal Networks, 2, pp. 359\u2013366, 1989.","journal-title":"Neuronal Networks"},{"key":"15_CR11","volume-title":"Deduction","author":"P.N. Johnson-Laird","year":"1991","unstructured":"P.N. Johnson-Laird and R.M.J. Byrne. Deduction. LEA, Hove and London, 1991."},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"R. Manthey and F. Bry. SATCHMO: A Theorem Prover Implemented in Prolog. In: E. Lusk and R. Overbeek, editors, LLNCS 310, Springer, pp. 415\u2013434, 1988.","DOI":"10.1007\/BFb0012847"},{"key":"15_CR14","unstructured":"T. A. Plate. Distributed Representations and Nested Compositional Structure. PhD thesis, Department of Computer Science, University of Toronto, 1994."},{"key":"15_CR15","unstructured":"J. Slaney. Scott: A model-guided theorem prover. In Proceedings of the International Joint Conference on Artificial Intelligence, pp. 109\u2013114, 1993."},{"key":"15_CR16","doi-asserted-by":"publisher","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, pp. 1\u201374, 1988.","journal-title":"Behavioral and Brain Sciences"},{"key":"15_CR17","series-title":"Technical Report TR-93-029","volume-title":"Labeling RAAM","author":"A. Sperduti","year":"1992","unstructured":"A. Sperduti. Labeling RAAM. Technical Report TR-93-029, International Computer Science Institute, Berkeley, Ca, 1992."},{"key":"15_CR18","unstructured":"S. Willard. General Topology. Addison-Wesley, 1970."}],"container-title":["Lecture Notes in Computer Science","Advanced Topics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0095050","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,14]],"date-time":"2019-02-14T20:28:17Z","timestamp":1550176097000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0095050"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540651383","9783540495611"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0095050","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}