{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T04:04:07Z","timestamp":1746417847070,"version":"3.40.4"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319115573"},{"type":"electronic","value":"9783319115580"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11558-0_53","type":"book-chapter","created":{"date-parts":[[2014,9,16]],"date-time":"2014-09-16T02:22:39Z","timestamp":1410834159000},"page":"694-702","source":"Crossref","is-referenced-by-count":1,"title":["Revisiting Reductants in the Multi-adjoint Logic Programming Framework"],"prefix":"10.1007","author":[{"given":"Pascual","family":"Juli\u00e1n-Iranzo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jes\u00fas","family":"Medina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Ojeda-Aciego","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"53_CR1","unstructured":"Baldwin, J.F., Martin, T.P., Pilsworth, B.W.: Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence. John Wiley &; Sons, Inc. (1995)"},{"issue":"6","key":"53_CR2","first-page":"559","volume":"25","author":"T.H. Cao","year":"2010","unstructured":"Cao, T.H., Noi, N.V.: A framework for linguistic logic programming. International Journal of Intelligent Systems\u00a025(6), 559\u2013580 (2010)","journal-title":"International Journal of Intelligent Systems"},{"key":"53_CR3","series-title":"LNCS (LNAI)","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-319-03200-9_12","volume-title":"Fuzzy Logic and Applications","author":"P. Eklund","year":"2013","unstructured":"Eklund, P., Gal\u00e1n, M.\u00c1., Helgesson, R., Kortelainen, J., Moreno, G., V\u00e1zquez, C.: Towards categorical fuzzy logic programming. In: Masulli, F. (ed.) WILF 2013. LNCS (LNAI), vol.\u00a08256, pp. 109\u2013121. Springer, Heidelberg (2013)"},{"issue":"5","key":"53_CR4","doi-asserted-by":"publisher","first-page":"815","DOI":"10.1109\/72.159071","volume":"3","author":"P. Eklund","year":"1992","unstructured":"Eklund, P., Klawonn, F.: Neural fuzzy logic programming. IEEE Transactions on Neural Networks\u00a03(5), 815\u2013818 (1992)","journal-title":"IEEE Transactions on Neural Networks"},{"issue":"1","key":"53_CR5","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/j.fss.2003.10.017","volume":"144","author":"S. Guadarrama","year":"2004","unstructured":"Guadarrama, S., Mu\u00f1oz, S., Vaucheret, C.: Fuzzy prolog: A new approach using soft constraints propagation. Fuzzy Sets and Systems\u00a0144(1), 127\u2013150 (2004)","journal-title":"Fuzzy Sets and Systems"},{"key":"53_CR6","doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P.: Metamathematics of fuzzy logic, vol.\u00a04. Springer (1998)","DOI":"10.1007\/978-94-011-5300-3"},{"key":"53_CR7","unstructured":"Ishizuka, M., Kanai, N.: Prolog-ELF Incorporating Fuzzy Logic. In: Joshi, A.K. (ed.) Proc. of the 9th International Joint Conference on Artificial Intelligence (IJCAI 1985), Los Angeles, CA, USA, pp. 701\u2013703. Morgan Kaufmann (1985)"},{"key":"53_CR8","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1016\/j.fss.2005.03.013","volume":"154","author":"P. Juli\u00e1n","year":"2005","unstructured":"Juli\u00e1n, P., Moreno, G., Penabad, J.: On Fuzzy Unfolding. A Multi-adjoint Approach. Fuzzy Sets and Systems, Elsevier\u00a0154, 16\u201333 (2005)","journal-title":"Fuzzy Sets and Systems, Elsevier"},{"key":"53_CR9","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","volume":"12","author":"M. Kifer","year":"1992","unstructured":"Kifer, M., Subrahmanian, V.: Theory of generalized annotated logic programming and its applications. Journal of Logic Programming\u00a012, 335\u2013367 (1992)","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"53_CR10","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/j.fss.2003.10.019","volume":"144","author":"S. Kraj\u010di","year":"2004","unstructured":"Kraj\u010di, S., Lencses, R., Vojt\u00e1\u0161, P.: A comparison of fuzzy and annotated logic programming. Fuzzy Sets and Systems\u00a0144(1), 173\u2013192 (2004)","journal-title":"Fuzzy Sets and Systems"},{"key":"53_CR11","doi-asserted-by":"crossref","unstructured":"Kuhr, T., Vychodil, V.: Fuzzy logic programming reduced to reasoning with attribute implications. Fuzzy Sets and Systems (in press 2014)","DOI":"10.1016\/j.fss.2014.04.013"},{"key":"53_CR12","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1017\/S1471068409003779","volume":"9","author":"V.H. Le","year":"2009","unstructured":"Le, V.H., Liu, F., Tran, D.K.: Fuzzy linguistic logic programming and its applications. Theory and Practice of Logic Programming\u00a09, 309\u2013341 (2009)","journal-title":"Theory and Practice of Logic Programming"},{"issue":"1","key":"53_CR13","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.fss.2003.11.005","volume":"146","author":"J. Medina","year":"2004","unstructured":"Medina, J., Ojeda-Aciego, M., Vojt\u00e1\u0161, P.: Similarity-based unification: A multi-adjoint approach. Fuzzy Sets and Systems\u00a0146(1), 43\u201362 (2004)","journal-title":"Fuzzy Sets and Systems"},{"key":"53_CR14","unstructured":"Morcillo, P., Moreno, G.: A practical approach for ensuring completeness of multi-adjoint logic computations via general reductants. In: Lucio, G.M.P., Pe\u00f1a, R. (eds.) Proc. of IX Jornadas sobre Programaci\u00f3n y Lenguajes, PROLE 2009, San Sebasti\u00e1n, Spain, September 8-11, pp. 355\u2013363. Universidad del Pa\u00eds Vasco (2009) ISBN 978-84-692-4600-9"},{"key":"53_CR15","doi-asserted-by":"crossref","unstructured":"Morcillo, P., Moreno, G.: Improving completeness in multi-adjoint logic computations via general reductants. In: Proc. of 2011 IEEE Symposium on Foundations of Computational Intelligence, Paris, France, April 11-15, pp. 138\u2013145. IEEE (2011)","DOI":"10.1109\/FOCI.2011.5949467"},{"key":"53_CR16","unstructured":"Morcillo, P., Moreno, G.: Simplifying general reductants with unfolding-based techniques. In: Arenas, P., Gul\u00edas, V., Nogueira, P. (eds.) Proc. of XI Jornadas sobre Programaci\u00f3n y Lenguajes, PROLE 2011, A Coru\u00f1a, Spain, September 5-7, pp. 154\u2013168 (secci\u00f3n de trabajos en progreso). Universidade da Coru\u00f1a (2011) ISBN 978-84-9749-487-8"},{"key":"53_CR17","doi-asserted-by":"crossref","unstructured":"Moreno, G., Pascual, V.: A hybrid programming scheme combining fuzzy-logic and functional-logic resources. Fuzzy Sets and Systems\u00a0160(10), 1402\u20131419 (2009), Special Issue: Fuzzy Sets in Interdisciplinary Perception and Intelligence","DOI":"10.1016\/j.fss.2008.11.028"},{"issue":"2","key":"53_CR18","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1145\/234528.234529","volume":"28","author":"A. Pettorossi","year":"1996","unstructured":"Pettorossi, A., Proietti, M.: Rules and Strategies for Transforming Functional and Logic Programs. ACM Computing Surveys\u00a028(2), 360\u2013414 (1996)","journal-title":"ACM Computing Surveys"},{"issue":"1","key":"53_CR19","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1016\/S0165-0114(01)00106-3","volume":"124","author":"P. Vojt\u00e1\u0161","year":"2001","unstructured":"Vojt\u00e1\u0161, P.: Fuzzy Logic Programming. Fuzzy Sets and Systems\u00a0124(1), 361\u2013370 (2001)","journal-title":"Fuzzy Sets and Systems"},{"key":"53_CR20","doi-asserted-by":"crossref","unstructured":"Yasui, H., Hamada, Y., Mukaidono, M.: Fuzzy prolog based on Lukasiewicz implication and bounded product. In: Proc. of IEEE Symp on Fuzzy Systems FUZZ-IEEE, pp. 949\u2013954 (1995)","DOI":"10.1109\/FUZZY.1995.409796"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11558-0_53","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T16:54:44Z","timestamp":1746377684000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11558-0_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319115573","9783319115580"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11558-0_53","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}