{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T13:24:20Z","timestamp":1773235460295,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642225451","type":"print"},{"value":"9783642225468","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","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-22546-8_14","type":"book-chapter","created":{"date-parts":[[2011,7,14]],"date-time":"2011-07-14T00:30:13Z","timestamp":1310603413000},"page":"170-185","source":"Crossref","is-referenced-by-count":3,"title":["Declarative Traces into Fuzzy Computed Answers"],"prefix":"10.1007","author":[{"given":"Pedro-Jose","family":"Morcillo","sequence":"first","affiliation":[]},{"given":"Gin\u00e9s","family":"Moreno","sequence":"additional","affiliation":[]},{"given":"Jaime","family":"Penabad","sequence":"additional","affiliation":[]},{"given":"Carlos","family":"V\u00e1zquez","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Abietar, J.M., Morcillo, P.J., Moreno, G.: Designing a software tool for fuzzy logic programming. In: Simos, T.E., Maroulis, G. (eds.) Proc. of the International Conference of Computational Methods in Sciences and Engineering, ICCMSE 2007. Computation in Modern Science and Engineering, vol.\u00a02, pp. 1117\u20131120. American Institute of Physics (distributed by Springer) (2007)","DOI":"10.1063\/1.2835940"},{"key":"14_CR2","series-title":"LNCS","first-page":"8","volume-title":"RuleML 2011","author":"J.M. Almendros-Jim\u00e9nez","year":"2011","unstructured":"Almendros-Jim\u00e9nez, J.M., Luna, A., Moreno, G.: A Flexible XPath-based Query Language Implemented with Fuzzy Logic Programming. In: Bassiliades, N., Governatori, G., Pasckhe, A. (eds.) RuleML 2011. LNCS, vol.\u00a06826, p. 8. Springer, Heidelberg (2011)"},{"key":"14_CR3","volume-title":"Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence","author":"J.F. Baldwin","year":"1995","unstructured":"Baldwin, J.F., Martin, T.P., Pilsworth, B.W.: Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence. John Wiley & Sons, Inc., Chichester (1995)"},{"issue":"1","key":"14_CR4","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":"14_CR5","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.entcs.2008.10.032","volume":"219","author":"J.A. Guerrero","year":"2008","unstructured":"Guerrero, J.A., Moreno, G.: Optimizing fuzzy logic programs by unfolding, aggregation and folding. Electronic Notes in Theoretical Computer Science\u00a0219, 19\u201334 (2008)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"14_CR6","first-page":"701","volume-title":"Proceedings of the 9th Int. Joint Conference on Artificial Intelligence, IJCAI 1985","author":"M. Ishizuka","year":"1985","unstructured":"Ishizuka, M., Kanai, N.: Prolog-ELF Incorporating Fuzzy Logic. In: Joshi, A.K. (ed.) Proceedings of the 9th Int. Joint Conference on Artificial Intelligence, IJCAI 1985, pp. 701\u2013703. Morgan Kaufmann, San Francisco (1985)"},{"key":"14_CR7","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.entcs.2009.07.063","volume":"248","author":"P. Juli\u00e1n","year":"2009","unstructured":"Juli\u00e1n, P., Medina, J., Moreno, G., Ojeda, M.: Thresholded tabulation in a fuzzy logic setting. Electronic Notes in Theoretical Computer Science\u00a0248, 115\u2013130 (2009)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-642-10728-3_7","volume":"249","author":"P. Juli\u00e1n","year":"2010","unstructured":"Juli\u00e1n, P., Medina, J., Moreno, G., Ojeda, M.: Efficient thresholded tabulation for fuzzy query answering. Studies in Fuzziness and Soft Computing (Foundations of Reasoning under Uncertainty)\u00a0249, 125\u2013141 (2010)","journal-title":"Studies in Fuzziness and Soft Computing (Foundations of Reasoning under Uncertainty)"},{"key":"14_CR9","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\u00a0154, 16\u201333 (2005)","journal-title":"Fuzzy Sets and Systems"},{"issue":"11","key":"14_CR10","first-page":"1679","volume":"12","author":"P. Juli\u00e1n","year":"2006","unstructured":"Juli\u00e1n, P., Moreno, G., Penabad, J.: Operational\/Interpretive Unfolding of Multi-adjoint Logic Programs. Journal of Universal Computer Science\u00a012(11), 1679\u20131699 (2006)","journal-title":"Journal of Universal Computer Science"},{"key":"14_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/978-3-540-73400-0_4","volume-title":"Applications of Fuzzy Sets Theory","author":"P. Juli\u00e1n","year":"2007","unstructured":"Juli\u00e1n, P., Moreno, G., Penabad, J.: Measuring the interpretive cost in fuzzy logic computations. In: Masulli, F., Mitra, S., Pasi, G. (eds.) WILF 2007. LNCS (LNAI), vol.\u00a04578, pp. 28\u201336. Springer, Heidelberg (2007)"},{"key":"14_CR12","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.fss.2008.05.006","volume":"160","author":"P. Juli\u00e1n","year":"2009","unstructured":"Juli\u00e1n, P., Moreno, G., Penabad, J.: An Improved Reductant Calculus using Fuzzy Partial Evaluation Techniques. Fuzzy Sets and Systems\u00a0160, 162\u2013181 (2009), doi:10.1016\/j.fss.2008.05.006","journal-title":"Fuzzy Sets and Systems"},{"key":"14_CR13","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.S.: Theory of generalized annotated logic programming and its applications. Journal of Logic Programming\u00a012, 335\u2013367 (1992)","journal-title":"Journal of Logic Programming"},{"key":"14_CR14","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1016\/B978-0-934613-40-8.50019-1","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"J.L. Lassez","year":"1988","unstructured":"Lassez, J.L., Maher, M.J., Marriott, K.: Unification Revisited. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 587\u2013625. Morgan Kaufmann, Los Altos (1988)"},{"key":"14_CR15","volume-title":"A fuzzy Prolog database system","author":"D. Li","year":"1990","unstructured":"Li, D., Liu, D.: A fuzzy Prolog database system. John Wiley & Sons, Inc., Chichester (1990)"},{"key":"14_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Berlin (1987)","edition":"2"},{"key":"14_CR17","series-title":"Lecture Notes in Artificial Intelligence","first-page":"351","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"J. Medina","year":"2001","unstructured":"Medina, J., Ojeda-Aciego, M., Vojt\u00e1\u0161, P.: Multi-adjoint logic programming with continuous semantics. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, pp. 351\u2013364. Springer, Heidelberg (2001)"},{"key":"14_CR18","series-title":"Lecture Notes in Artificial Intelligence","first-page":"290","volume-title":"Progress in Artificial Intelligence. Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving","author":"J. Medina","year":"2001","unstructured":"Medina, J., Ojeda-Aciego, M., Vojt\u00e1\u0161, P.: A procedural semantics for multi-adjoint logic programming. In: Brazdil, P.B., Jorge, A.M. (eds.) EPIA 2001. LNCS (LNAI), vol.\u00a02258, pp. 290\u2013297. Springer, Heidelberg (2001)"},{"key":"14_CR19","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, 43\u201362 (2004)","journal-title":"Fuzzy Sets and Systems"},{"key":"14_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-3-540-88808-6_14","volume-title":"Rule Representation, Interchange and Reasoning on the Web","author":"P.J. Morcillo","year":"2008","unstructured":"Morcillo, P.J., Moreno, G.: Programming with fuzzy logic rules by using the FLOPER tool. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2008. LNCS, vol.\u00a05321, pp. 119\u2013126. Springer, Heidelberg (2008)"},{"key":"14_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-642-02282-1_6","volume-title":"Fuzzy Logic and Applications","author":"P.J. Morcillo","year":"2009","unstructured":"Morcillo, P.J., Moreno, G.: Modeling interpretive steps in fuzzy logic computations. In: Di Ges\u00f9, V., Pal, S.K., Petrosino, A. (eds.) WILF 2009. LNCS, vol.\u00a05571, pp. 44\u201351. Springer, Heidelberg (2009)"},{"key":"14_CR22","unstructured":"Morcillo, P.J., Moreno, G.: On cost estimations for executing fuzzy logic programs. In: Arabnia, H.R., de la Fuente, D., Olivas, J.A. (eds.) Proceedings of the 11th International Conference on Artificial Intelligence, ICAI 2009, Las Vegas, Nevada, USA, July 13-16, pp. 217\u2013223. CSREA Press (2009)"},{"key":"14_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-642-16289-3_4","volume-title":"Semantic Web Rules","author":"P.J. Morcillo","year":"2010","unstructured":"Morcillo, P.J., Moreno, G., Penabad, J., V\u00e1zquez, C.: A Practical Management of Fuzzy Truth Degrees using FLOPER. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) RuleML 2010. LNCS, vol.\u00a06403, pp. 20\u201334. Springer, Heidelberg (2010)"},{"key":"14_CR24","unstructured":"Morcillo, P.J., Moreno, G., Penabad, J., V\u00e1zquez, C.: Modeling interpretive steps into the FLOPER environment. In: Arabnia, H.R., et al. (eds.) Proceedings of the 12th International Conference on Artificial Intelligence, ICAI 2010, Las Vegas, Nevada, USA, July 12-15, pp. 16\u201322. CSREA Press (2010)"},{"key":"14_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/978-3-642-21498-1_56","volume-title":"Advances in Computational Intelligence","author":"P.J. Morcillo","year":"2011","unstructured":"Morcillo, P.J., Moreno, G., Penabad, J., V\u00e1zquez, C.: Fuzzy Computed Answers Collecting Proof Information. In: Cabestany, J., Rojas, I., Joya, G. (eds.) IWANN 2011, Part II. LNCS, vol.\u00a06692, pp. 445\u2013452. Springer, Heidelberg (2011)"},{"key":"14_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/11611257_39","volume-title":"SOFSEM 2006: Theory and Practice of Computer Science","author":"G. Moreno","year":"2006","unstructured":"Moreno, G.: Building a Fuzzy Transformation System. In: Wiedermann, J., Tel, G., Pokorn\u00fd, J., Bielikov\u00e1, M., \u0160tuller, J. (eds.) SOFSEM 2006. LNCS, vol.\u00a03831, pp. 409\u2013418. Springer, Heidelberg (2006)"},{"key":"14_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/978-3-540-78969-7_20","volume-title":"Functional and Logic Programming","author":"M. Rodr\u00edguez-Artalejo","year":"2008","unstructured":"Rodr\u00edguez-Artalejo, M., Romero-D\u00edaz, C.: Quantitative logic programming revisited. In: Garrigue, J., Hermenegildo, M. (eds.) FLOPS 2008. LNCS, vol.\u00a04989, pp. 272\u2013288. Springer, Heidelberg (2008)"},{"key":"14_CR28","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1007\/11518655_58","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"U. Straccia","year":"2005","unstructured":"Straccia, U.: Query answering in normal logic programs under uncertainty. In: Godo, L. (ed.) ECSQARU 2005. LNCS (LNAI), vol.\u00a03571, pp. 687\u2013700. Springer, Heidelberg (2005)"},{"key":"14_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-540-85658-0_2","volume-title":"Reasoning Web","author":"U. Straccia","year":"2008","unstructured":"Straccia, U.: Managing uncertainty and vagueness in description logics, logic programs and description logic programs. In: Baroglio, C., Bonatti, P.A., Ma\u0142uszy\u0144ski, J., Marchiori, M., Polleres, A., Schaffert, S. (eds.) Reasoning Web. LNCS, vol.\u00a05224, pp. 54\u2013103. Springer, Heidelberg (2008)"},{"issue":"1","key":"14_CR30","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"}],"container-title":["Lecture Notes in Computer Science","Rule-Based Reasoning, Programming, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22546-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,25]],"date-time":"2019-01-25T22:07:25Z","timestamp":1548454045000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22546-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642225451","9783642225468"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22546-8_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}