{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:18:41Z","timestamp":1760170721905},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214974"},{"type":"electronic","value":"9783642214981"}],"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-21498-1_54","type":"book-chapter","created":{"date-parts":[[2011,5,30]],"date-time":"2011-05-30T09:47:41Z","timestamp":1306748861000},"page":"429-436","source":"Crossref","is-referenced-by-count":2,"title":["A Static Preprocess for Improving Fuzzy Thresholded Tabulation"],"prefix":"10.1007","author":[{"given":"P.","family":"Juli\u00e1n","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Medina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P. J.","family":"Morcillo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Moreno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Ojeda-Aciego","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1-3","key":"54_CR1","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1016\/j.tcs.2003.10.033","volume":"311","author":"M. Alpuente","year":"2004","unstructured":"Alpuente, M., Falaschi, M., Moreno, G., Vidal, G.: Rules + Strategies for Transforming Lazy Functional Logic Programs. Theoretical Computer Science\u00a0311(1-3), 479\u2013525 (2004)","journal-title":"Theoretical Computer Science"},{"key":"54_CR2","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":"54_CR3","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R.M. Burstall","year":"1977","unstructured":"Burstall, R.M., Darlington, J.: A Transformation System for Developing Recursive Programs. Journal of the ACM\u00a024(1), 44\u201367 (1977)","journal-title":"Journal of the ACM"},{"key":"54_CR4","unstructured":"Dam\u00e1sio, C.V., Medina, J., Ojeda-Aciego, M.: A tabulation proof procedure for residuated logic programming. In: Proc. of the European Conf. on Artificial Intelligence, Frontiers in Artificial Intelligence and Applications, vol.\u00a0110, pp. 808\u2013812 (2004)"},{"key":"54_CR5","first-page":"701","volume-title":"Proceedings of the 9th International 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 International Joint Conference on Artificial Intelligence (IJCAI 1985), pp. 701\u2013703. Morgan Kaufmann, San Francisco (1985)"},{"key":"54_CR6","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":"54_CR7","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"},{"key":"54_CR8","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/j.entcs.2007.05.039","volume":"188","author":"P. Juli\u00e1n","year":"2007","unstructured":"Juli\u00e1n, P., Moreno, G., Penabad, J.: Efficient reductants calculi using partial evaluation techniques with thresholding. Electronic Notes in Theoretical Computer Science\u00a0188, 77\u201390 (2007)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"54_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.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":"54_CR10","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":"54_CR11","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":"54_CR12","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)"},{"issue":"3-4","key":"54_CR13","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1023\/A:1018990308362","volume":"25","author":"T. Swift","year":"1999","unstructured":"Swift, T.: Tabling for non-monotonic programming. Annals of Mathematics and Artificial Intelligence\u00a025(3-4), 201\u2013240 (1999)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"54_CR14","unstructured":"Tamaki, H., Sato, T.: Unfold\/Fold Transformations of Logic Programs. In: T\u00e4rnlund, S. (ed.) Proc. of Second Int\u2019l Conf. on Logic Programming, pp. 127\u2013139 (1984)"}],"container-title":["Lecture Notes in Computer Science","Advances in Computational Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21498-1_54","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,28]],"date-time":"2019-03-28T02:16:17Z","timestamp":1553739377000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21498-1_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214974","9783642214981"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21498-1_54","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}