{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T20:35:08Z","timestamp":1757450108675},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,9,3]],"date-time":"2008-09-03T00:00:00Z","timestamp":1220400000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Intell"],"published-print":{"date-parts":[[2010,6]]},"DOI":"10.1007\/s10489-008-0142-y","type":"journal-article","created":{"date-parts":[[2008,9,2]],"date-time":"2008-09-02T17:19:04Z","timestamp":1220375944000},"page":"249-266","source":"Crossref","is-referenced-by-count":14,"title":["Extracting reduced logic programs from artificial neural networks"],"prefix":"10.1007","volume":"32","author":[{"given":"Jens","family":"Lehmann","sequence":"first","affiliation":[]},{"given":"Sebastian","family":"Bader","sequence":"additional","affiliation":[]},{"given":"Pascal","family":"Hitzler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,9,3]]},"reference":[{"key":"142_CR1","unstructured":"Alexandre R, Diederich J, Tickle A (1995) A survey and critique of techniques for extracting rules from trained artificial neural networks. Knowl Based Syst, 373\u2013389"},{"issue":"1\u20134","key":"142_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0925-2312(01)00577-X","volume":"47","author":"R Andrews","year":"2002","unstructured":"Andrews R, Geva S (2002) Rule extraction from local cluster neural nets. Neurocomputing 47(1\u20134):1\u201320","journal-title":"Neurocomputing"},{"issue":"3","key":"142_CR3","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/j.jal.2004.03.003","volume":"2","author":"S Bader","year":"2004","unstructured":"Bader S, Hitzler P (2004) Logic programs, iterated function systems, and recurrent radial basis function networks. J\u00a0Appl Logic 2(3):273\u2013300","journal-title":"J\u00a0Appl Logic"},{"key":"142_CR4","unstructured":"Bader S, Hitzler P (2005) Dimensions of neural-symbolic integration\u2014a structured survey. In: Artemov\u00a0S, Barringer\u00a0H, d\u2019Avila Garcez\u00a0AS, Lamb LC, Woods J (eds) We will show them: Essays in honour of dov gabbay, vol\u00a01. International Federation for Computational Logic, College Publications, pp\u00a0167\u2013194"},{"key":"142_CR5","unstructured":"Bader S, Hitzler P, H\u00f6lldobler S (2004) The integration of connectionism and first-order knowledge representation and reasoning as a challenge for artificial intelligence. In: Li L, Yen KK (eds) Proceedings of the third international conference on information, Tokyo, Japan, November\/December. International Information Institute, pp\u00a022\u201333"},{"key":"142_CR6","first-page":"314","volume-title":"Proceedings of the eighteenth international Florida artificial intelligence research symposium conference","author":"S Bader","year":"2005","unstructured":"Bader S, Garcez A, Hitzler P (2005) Computing first-order logic programs by fibring artificial neural networks. In: Russell I, Markov Z (eds) Proceedings of the eighteenth international Florida artificial intelligence research symposium conference, Clearwater Beach, Florida, USA. AAAI Press, Menlo Park, pp 314\u2013319"},{"key":"142_CR7","doi-asserted-by":"crossref","unstructured":"Bader S, Hitzler P, H\u00f6lldobler S, Witzel A (2007) A fully connectionist model generator for covered first-order logic programs. In: Veloso MM (ed) IJCAI 2007, Proceedings of the 20th international joint conference on artificial intelligence. Hyderabad, India, January 6\u201312, pp 666\u2013671","DOI":"10.1007\/978-3-540-73954-8_9"},{"key":"142_CR8","series-title":"Studies in computational intelligenc","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/978-3-540-73954-8_9","volume-title":"Perspectives of neural-symbolic integration","author":"S Bader","year":"2007","unstructured":"Bader S, Hitzler P, H\u00f6lldobler S, Witzel A (2007) The core method: Connectionist model generation for first-order logic programs. In: Hammer B, Hitzler P (eds) Perspectives of neural-symbolic integration. Studies in computational intelligenc, vol 77. Springer, Berlin, pp 205\u2013232"},{"key":"142_CR9","doi-asserted-by":"crossref","unstructured":"Bader S, Hitzler P, H\u00f6lldobler S (2008) Connectionist model generation: A first-order approach. Neurocomputing (to appear)","DOI":"10.1016\/j.neucom.2007.10.028"},{"key":"142_CR10","volume-title":"Fractals everywhere","author":"M Barnsley","year":"1993","unstructured":"Barnsley M (1993) Fractals everywhere. Academic Press, San Diego"},{"key":"142_CR11","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198538493.001.0001","volume-title":"Neural networks for pattern recognition","author":"ChM Bishop","year":"1995","unstructured":"Bishop ChM (1995) Neural networks for pattern recognition. Oxford University Press, Oxford"},{"key":"142_CR12","unstructured":"Blake CL, Newman DJ, Hettich S, Merz CJ (1998) UCI repository of machine learning databases"},{"key":"142_CR13","unstructured":"d\u2019Avila Garcez AS, Gabbay DM (2004) Fibring neural networks. In: Proceedings of the 19th national conference on artificial intelligence (AAAI 04), San Jose, California, USA, July. AAAI Press"},{"issue":"1","key":"142_CR14","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1023\/A:1008328630915","volume":"11","author":"AS d\u2019Avila Garcez","year":"1999","unstructured":"d\u2019Avila Garcez AS, Zaverucha G (1999) The connectionist inductive learning and logic programming system. Appl Intell 11(1):59\u201377. Special Issue on Neural Networks and Structured Knowledge","journal-title":"Appl Intell"},{"key":"142_CR15","first-page":"33","volume-title":"Knowledge representation in neural networks","author":"AS d\u2019Avila Garcez","year":"1997","unstructured":"d\u2019Avila Garcez AS, Zaverucha G, de Carvalho LAV (1997) Logical inference and inductive learning in artificial neural networks. In: Hermann C, Reine F (eds) Knowledge representation in neural networks. Logos Verlag, Berlin, pp 33\u201346"},{"key":"142_CR16","unstructured":"d\u2019Avila Garcez AS, Broda K, Gabbay DM (2000) Metalevel priorities and neural networks. In: Proceedings of the workshop on the foundations of connectionist-symbolic integration, ECAI\u20192000, Berlin, August"},{"issue":"1\u20132","key":"142_CR17","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/S0004-3702(00)00077-1","volume":"126","author":"AS d\u2019Avila Garcez","year":"2001","unstructured":"d\u2019Avila Garcez AS, Broda K, Gabbay DM (2001) Symbolic knowledge extraction from trained neural networks: A sound approach. Artif Intell 126(1\u20132):155\u2013207","journal-title":"Artif Intell"},{"key":"142_CR18","series-title":"Perspectives in neural computing","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0211-3","volume-title":"Neural-symbolic learning systems\u2014foundations and applications","author":"AS d\u2019Avila Garcez","year":"2002","unstructured":"d\u2019Avila Garcez AS, Broda KB, Gabbay DM (2002) Neural-symbolic learning systems\u2014foundations and applications. Perspectives in neural computing. Springer, Berlin"},{"key":"142_CR19","doi-asserted-by":"crossref","unstructured":"d\u2019Avila Garcez AS, Lamb LC, Gabbay DM (2002) A connectionist inductive learning system for modal logic programming. In: Proceedings of the IEEE international conference on neural information processing ICONIP\u201902, Singapore","DOI":"10.1109\/ICONIP.2002.1199022"},{"key":"142_CR20","unstructured":"d\u2019Avila Garcez AS, Lamb LC, Gabbay DM (2003) Neural-symbolic intuitionistic reasoning. In: Koppen M, Abraham A, Franke K (eds) Frontiers in artificial intelligence and applications. Proceedings of the third international conference on hybrid intelligent systems (HIS\u201903), Melbourne, Australia, December. IOS Press"},{"key":"142_CR21","volume-title":"Fibring logics","author":"DM Gabbay","year":"1999","unstructured":"Gabbay DM (1999) Fibring logics. Oxford University Press, Oxford"},{"key":"142_CR22","unstructured":"Hitzler P (2004) Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion. In: Seipel D, Hanus M, Geske U, Bartenstein O (eds) Proceedings of the 15th international conference on applications of declarative programming and knowledge management and the 18th workshop on logic programming, Potsdam, Germany, March 4\u20136. Technichal report, vol\u00a0327, pp 13\u201327. Bayerische Julius-Maximilians-Universit\u00e4t W\u00fcrzburg, Institut f\u00fcr Informatik"},{"issue":"3","key":"142_CR23","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/j.jal.2004.03.002","volume":"2","author":"P Hitzler","year":"2004","unstructured":"Hitzler P, H\u00f6lldobler S, Seda AK (2004) Logic programs and connectionist networks. J\u00a0Appl Logic 2(3):245\u2013272","journal-title":"J\u00a0Appl Logic"},{"key":"142_CR24","unstructured":"Hitzler P, Bader S, Garcez A (2005) Ontology leaning as a use case for neural-symbolic integration. In: Proceedings of the IJCAI-05 workshop on neural-symbolic learning and reasoning, NeSy\u201905"},{"key":"142_CR25","unstructured":"H\u00f6lldobler S, Kalinke Y (1994) Towards a new massively parallel computational model for logic programming. In: Proceedings of the ECAI94 workshop on combining symbolic and connectionist processing. ECCAI, pp\u00a068\u201377"},{"key":"142_CR26","doi-asserted-by":"crossref","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 (1999) Approximating the semantics of logic programs by recurrent neural networks. Appl Intell 11:45\u201358","journal-title":"Appl Intell"},{"issue":"6","key":"142_CR27","doi-asserted-by":"crossref","first-page":"1223","DOI":"10.1162\/0899766053630350","volume":"17","author":"H Jacobsson","year":"2005","unstructured":"Jacobsson H (2005) Rule extraction from recurrent neural networks: A taxonomy and review. Neural Comput 17(6):1223\u20131263","journal-title":"Neural Comput"},{"key":"142_CR28","unstructured":"Komendantskaya E, Seda AK, Komendantsky V (2005) On approximation of the semantic operators determined by bilattice-based logic programs. In: Proceedings of the seventh international workshop on first-order theorem proving (FTP\u201905), Koblenz, Germany, September, pp\u00a0112\u2013130"},{"key":"142_CR29","unstructured":"Komendantsky V, Seda AK (2005) Computation of normal logic programs by fibring neural networks. In: Proceedings of the seventh international workshop on first-order theorem proving (FTP\u201905), Koblenz, Germany, September, pp\u00a097\u2013111"},{"issue":"1\u20132","key":"142_CR30","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1023\/A:1008344602888","volume":"12","author":"FJ Kurfess","year":"2000","unstructured":"Kurfess FJ (2000) Neural networks and structured knowledge: Rule extraction and applications. Appl Intell 12(1\u20132):7\u201313","journal-title":"Appl Intell"},{"key":"142_CR31","volume-title":"Foundations of logic programming","author":"JW Lloyd","year":"1988","unstructured":"Lloyd JW (1988) Foundations of logic programming. Springer, Berlin"},{"key":"142_CR32","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1016\/0743-1066(94)90035-3","volume":"19-20","author":"SH Muggleton","year":"1994","unstructured":"Muggleton SH, De Raedt L (1994) Inductive logic programming: Theory and methods. J\u00a0Logic Program 19-20:629\u2013679","journal-title":"J\u00a0Logic Program"},{"issue":"1","key":"142_CR33","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0165-1684(01)00142-6","volume":"82","author":"J-F Remm","year":"2002","unstructured":"Remm J-F, Alexandre F (2002) Knowledge extraction using artificial neural networks: application to radar target identification. Signal Process 82(1):117\u2013120","journal-title":"Signal Process"},{"key":"142_CR34","series-title":"Electronic notes in theoretical computer science","first-page":"1","volume-title":"Proceedings of MFCSIT2004","author":"AK Seda","year":"2005","unstructured":"Seda AK (2005) On the integration of connectionist and logic-based systems. In: Hurley T, Mac M (eds) Proceedings of MFCSIT2004, Trinity College Dublin, July. Electronic notes in theoretical computer science. Elsevier, Amsterdam, pp 1\u201324"},{"key":"142_CR35","unstructured":"Seda AK, Lane M (2005) On approximation in the integration of connectionist and logic-based systems. In: Proceedings of the third international conference on information (Information\u201904), Tokyo, November 2005, International Information Institute, pp\u00a0297\u2013300"},{"key":"142_CR36","unstructured":"Thrun SB, Bala J, Bloedorn E, Bratko I, Cestnik B, Cheng J, De Jong K, D\u017eeroski S, Fahlman SE, Fisher D, Hamann R, Kaufman K, Keller S, Kononenko I, Kreuziger J, Michalski RS, Mitchell T, Pachowicz P, Reich Y, Vafaie H, Van\u00a0de Welde W, Wenzel W, Wnek J, Zhang J (1991) The MONK\u2019s problems: A performance comparison of different learning algorithms (Technical Report CS-91-197). Computer Science Department, Carnegie Mellon University, Pittsburgh, PA"},{"key":"142_CR37","unstructured":"Tickle AB, Maire F, Bologna G, Andrews R, Diederich J (1998) Lessons from past, current issues, and future research directions in extracting the knowledge embedded in artificial neural networks. Hybrid Neural Syst, 226\u2013239"},{"issue":"1\u20132","key":"142_CR38","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/0004-3702(94)90105-8","volume":"70","author":"GG Towell","year":"1994","unstructured":"Towell GG, Shavlik JW (1994) Knowledge-based artificial neural networks. Artif Intell 70(1\u20132):119\u2013165","journal-title":"Artif Intell"}],"container-title":["Applied Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-008-0142-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10489-008-0142-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-008-0142-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,29]],"date-time":"2024-02-29T16:02:13Z","timestamp":1709222533000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10489-008-0142-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9,3]]},"references-count":38,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,6]]}},"alternative-id":["142"],"URL":"https:\/\/doi.org\/10.1007\/s10489-008-0142-y","relation":{},"ISSN":["0924-669X","1573-7497"],"issn-type":[{"value":"0924-669X","type":"print"},{"value":"1573-7497","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,9,3]]}}}