{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T23:56:03Z","timestamp":1743119763861,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642202056"},{"type":"electronic","value":"9783642202063"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-20206-3_3","type":"book-chapter","created":{"date-parts":[[2011,4,4]],"date-time":"2011-04-04T11:01:51Z","timestamp":1301914911000},"page":"45-58","source":"Crossref","is-referenced-by-count":1,"title":["Symbolic Knowledge Extraction from Trained Neural Networks Governed by \u0141ukasiewicz Logics"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Leandro","sequence":"first","affiliation":[]},{"given":"H\u00e9lder","family":"Pita","sequence":"additional","affiliation":[]},{"given":"Lu\u00eds","family":"Monteiro","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"publisher","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, A.K.: Logic programs and connectionist networks. Journal of Applied Logic\u00a02, 245\u2013272 (2004)","journal-title":"Journal of Applied Logic"},{"key":"3_CR2","series-title":"SCI","volume-title":"Perspectives of Neural-Symbolic Integration","author":"A.S. d\u2019Avila Garcez","year":"2007","unstructured":"d\u2019Avila Garcez, A.S.: Advances in neural-symbolic learning systems: Modal and temporal reasoning. In: Hammer, B., Hitzler, P. (eds.) Perspectives of Neural-Symbolic Integration. SCI, vol.\u00a077. Springer, Heidelberg (2007)"},{"key":"3_CR3","series-title":"SCI","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73954-8_12","volume-title":"Perspectives of Neural-Symbolic Integration","author":"E. Komendantskaya","year":"2007","unstructured":"Komendantskaya, E., Lane, M., Seda, A.K.: Connectionistic representation of multi-valued logic programs. In: Hammer, B., Hitzler, P. (eds.) Perspectives of Neural-Symbolic Integration. SCI, vol.\u00a077. Springer, Heidelberg (2007)"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Eklund, P., Klawonn, F.: Neural fuzzy logic programming. IEEE Translations on Neural Networks\u00a03(5) (1992)","DOI":"10.1109\/72.159071"},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1109\/21.214775","volume":"23","author":"L.M. Fu","year":"1993","unstructured":"Fu, L.M.: Knowledge-based connectionism from revising domain theories. IEEE Trans. Syst. Man. Cybern.\u00a023, 173\u2013182 (1993)","journal-title":"IEEE Trans. Syst. Man. Cybern."},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/0004-3702(94)90105-8","volume":"70","author":"G.G. Towell","year":"1994","unstructured":"Towell, G.G., Shavlik, J.W.: Knowledge-based artificial neural networks. Artif. Intell.,\u00a070, 119\u2013165 (1994)","journal-title":"Artif. Intell.,"},{"key":"3_CR7","volume-title":"Neural Network Learning and Expert Systems","author":"S.I. Gallant","year":"1994","unstructured":"Gallant, S.I.: Neural Network Learning and Expert Systems. MIT Press, Cambridge (1994)"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/BF00993103","volume":"13","author":"G.G. Towell","year":"1993","unstructured":"Towell, G.G., Shavlik, J.W.: Extracting refined rules from knowledge-based neural networks. Mach. Learn.\u00a013, 71\u2013101 (1993)","journal-title":"Mach. Learn."},{"key":"3_CR9","first-page":"23","volume":"5","author":"J. Castro","year":"1998","unstructured":"Castro, J., Trillas, E.: The logic of neural networks. Mathware and Soft Computing\u00a05, 23\u201327 (1998)","journal-title":"Mathware and Soft Computing"},{"issue":"6","key":"3_CR10","doi-asserted-by":"publisher","first-page":"989","DOI":"10.1109\/72.329697","volume":"5","author":"M.T. Hagan","year":"1999","unstructured":"Hagan, M.T., Menhaj, M.: Training feedforward networks with marquardt algorithm. IEEE Transaction on Neural Networks\u00a05(6), 989\u2013993 (1999)","journal-title":"IEEE Transaction on Neural Networks"},{"key":"3_CR11","unstructured":"Hassibi, B., Stork, D.G., Wolf, G.J.: Optimal brain surgeon and general network pruning. In: IEEE International Conference on Neural Network, vol.\u00a04(5), pp. 740\u2013747 (1993)"},{"issue":"5","key":"3_CR12","first-page":"491","volume":"13","author":"P. Jipsen","year":"2003","unstructured":"Jipsen, P.: An overview of generalised basic logic algebra. Neural Network World\u00a013(5), 491\u2013500 (2003)","journal-title":"Neural Network World"},{"key":"3_CR13","unstructured":"Gerla, B.: Functional representation of many-valued logics based on continuous t-norms. PhD thesis, University of Milano (2000)"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","volume-title":"SOFSEM \u201995: Theory and Practice of Informatics","author":"P. H\u00e1jek","year":"1995","unstructured":"H\u00e1jek, P.: Fuzzy logic from the logical point of view. In: Bartosek, M., Staudek, J., Wiedermann, J. (eds.) SOFSEM 1995. LNCS, vol.\u00a01012. Springer, Heidelberg (1995)"},{"issue":"6","key":"3_CR15","first-page":"506","volume":"5","author":"P. Amato","year":"2002","unstructured":"Amato, P., Nola, A.D., Gerla, B.: Neural networks and rational \u0142ukasiewicz logic. IEEE Transaction on Neural Networks\u00a05(6), 506\u2013510 (2002)","journal-title":"IEEE Transaction on Neural Networks"},{"key":"3_CR16","doi-asserted-by":"publisher","first-page":"596","DOI":"10.2307\/2275410","volume":"59","author":"D. Mundici","year":"1994","unstructured":"Mundici, D.: A constructive proof of macnaughton\u2019s theorem in intinite-valued logics. Journal of Symbolic Logic\u00a059, 596\u2013602 (1994)","journal-title":"Journal of Symbolic Logic"},{"key":"3_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4429-6","volume-title":"Fundamentals of fuzzy sets","author":"D. Dubois","year":"2000","unstructured":"Dubois, D., Prade, H.: Fundamentals of fuzzy sets. Kluwer, Dordrecht (2000)"},{"issue":"3","key":"3_CR18","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1049\/ip-d.1992.0041","volume":"139","author":"C. Charalambous","year":"1992","unstructured":"Charalambous, C.: Conjugate gradient algorithm for efficient training of artificial neural networks. IEEE Proceedings\u00a0139(3), 301\u2013310 (1992)","journal-title":"IEEE Proceedings"},{"issue":"2","key":"3_CR19","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1162\/neco.1992.4.2.141","volume":"4","author":"R. Battiti","year":"1992","unstructured":"Battiti, R.: Frist- and second-order methods for learning between steepest descent and newton\u2019s method. Neural Computation\u00a04(2), 141\u2013166 (1992)","journal-title":"Neural Computation"}],"container-title":["Studies in Computational Intelligence","Computational Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20206-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,6]],"date-time":"2023-12-06T07:03:17Z","timestamp":1701846197000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-20206-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642202056","9783642202063"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20206-3_3","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2011]]}}}