{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T11:50:24Z","timestamp":1783684224347,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540858621","type":"print"},{"value":"9783540858638","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85863-8_50","type":"book-chapter","created":{"date-parts":[[2008,9,12]],"date-time":"2008-09-12T14:33:54Z","timestamp":1221230034000},"page":"424-433","source":"Crossref","is-referenced-by-count":8,"title":["Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude"],"prefix":"10.1007","author":[{"given":"Gustavo","family":"Santos-Garc\u00eda","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Miguel","family":"Palomino","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alberto","family":"Verdejo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"50_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C. (eds.): All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"50_CR2","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"3","volume-title":"6th International Workshop on Strategies in Automated Deduction, STRATEGIES 2006","author":"S. Eker","year":"2007","unstructured":"Eker, S., Mart\u00ed-Oliet, N., Meseguer, J., Verdejo, A.: Deduction, strategies, and rewriting. In: Archer, M., de la Tour, T.B., Mu\u00f1oz, C.A. (eds.) 6th International Workshop on Strategies in Automated Deduction, STRATEGIES 2006, Part of FLOC 2006, Seattle, Washington, August 16. Electronic Notes in Theoretical Computer Science, vol.\u00a0174(11), pp. 3\u201325. Elsevier, Amsterdam (2007)"},{"key":"50_CR3","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1007\/978-3-540-74972-1_54","volume-title":"Innovations in Hybrid Intelligent Systems, Advances in Soft Computing","author":"E. Hern\u00e1ndez Galilea","year":"2007","unstructured":"Hern\u00e1ndez Galilea, E., Santos-Garc\u00eda, G., Franco Su\u00e1rez-B\u00e1rcena, I.: Identification of glaucoma stages with artificial neural networks using retinal nerve fibre layer analysis and visual field parameters. In: Corchado, E., Corchado, J.M., Abraham, A. (eds.) Innovations in Hybrid Intelligent Systems, Advances in Soft Computing, pp. 418\u2013424. Springer, Heidelberg (2007)"},{"key":"50_CR4","doi-asserted-by":"crossref","unstructured":"Lippman, R.P.: An introduction to computing with neural nets. IEEE ASSP Magazine, 4\u201322 (1987)","DOI":"10.1109\/MASSP.1987.1165576"},{"key":"50_CR5","first-page":"1","volume-title":"Handbook of Philosophical Logic","author":"N. Mart\u00ed-Oliet","year":"2002","unstructured":"Mart\u00ed-Oliet, N., Meseguer, J.: Rewriting logic as a logical and semantic framework. In: Gabbay, D. (ed.) Handbook of Philosophical Logic, 2nd edn., vol.\u00a09, pp. 1\u201381. Kluwer Academic Press, Dordrecht (2002)","edition":"2"},{"issue":"2","key":"50_CR6","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0304-3975(01)00357-7","volume":"285","author":"N. Mart\u00ed-Oliet","year":"2002","unstructured":"Mart\u00ed-Oliet, N., Meseguer, J.: Rewriting logic: Roadmap and bibliography. Theoretical Computer Science\u00a0285(2), 121\u2013154 (2002)","journal-title":"Theoretical Computer Science"},{"key":"50_CR7","doi-asserted-by":"crossref","unstructured":"Meseguer, J.: Research directions in rewriting logic. In: Berger, U., Schwichtenberg, H. (eds.) Computational Logic: Marktoberdorf, Germany, July 29 \u2013 August 6, vol.\u00a0165, pp. 347\u2013398. NATO Advanced Study Institute (1997)","DOI":"10.1007\/978-3-642-58622-4_10"},{"issue":"1","key":"50_CR8","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science\u00a096(1), 73\u2013155 (1992)","journal-title":"Theoretical Computer Science"},{"key":"50_CR9","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"360","volume-title":"Workshop on Rewriting Logic and its Applications, WRLA 1996","author":"C.L. Talcott","year":"1996","unstructured":"Talcott, C.L.: An actor rewriting theory. In: Meseguer, J. (ed.) Workshop on Rewriting Logic and its Applications, WRLA 1996. Electronic Notes in Theoretical Computer Science, vol.\u00a04, pp. 360\u2013383. Elsevier, Amsterdam (1996)"}],"container-title":["Advances in Soft Computing","International Symposium on Distributed Computing and Artificial Intelligence 2008 (DCAI 2008)"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85863-8_50.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:35:35Z","timestamp":1606185335000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85863-8_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540858621","9783540858638"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85863-8_50","relation":{},"ISSN":["1615-3871","1860-0794"],"issn-type":[{"value":"1615-3871","type":"print"},{"value":"1860-0794","type":"electronic"}],"subject":[]}}