{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T13:25:56Z","timestamp":1773235556866,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540733997","type":"print"},{"value":"9783540734000","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73400-0_4","type":"book-chapter","created":{"date-parts":[[2007,8,24]],"date-time":"2007-08-24T03:14:08Z","timestamp":1187925248000},"page":"28-36","source":"Crossref","is-referenced-by-count":5,"title":["Measuring the Interpretive Cost in Fuzzy Logic Computations"],"prefix":"10.1007","author":[{"given":"Pascual","family":"Juli\u00e1n","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gin\u00e9s","family":"Moreno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaime","family":"Penabad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","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., West Sussex, England (1995)"},{"issue":"1","key":"4_CR2","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":"4_CR3","first-page":"701","volume-title":"IJCAI 1985","author":"M. Ishizuka","year":"1985","unstructured":"Ishizuka, M., Kanai, N.: Prolog-ELF Incorporating Fuzzy Logic. In: Joshi, A.K. (ed.) IJCAI 1985. Proc. of the 9th International Joint Conference on Artificial Intelligence, Los Angeles, USA, pp. 701\u2013703. Morgan Kaufmann, San Francisco (1985)"},{"key":"4_CR4","volume-title":"Partial Evaluation and Automatic Program Generation","author":"N.D. Jones","year":"1993","unstructured":"Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice-Hall, Englewood Cliffs, NJ (1993)"},{"key":"4_CR5","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":"4_CR6","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":"4_CR7","first-page":"15","volume-title":"Electronic Notes in Theoretical Computer Science","author":"P. Juli\u00e1n","year":"2007","unstructured":"Juli\u00e1n, P., Moreno, G., Penabad, J.: Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding. In: Lucio, P. (ed.) Electronic Notes in Theoretical Computer Science, p. 15. Elsevier, Amsterdam (2007)"},{"key":"4_CR8","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., West Sussex, England (1990)"},{"key":"4_CR9","doi-asserted-by":"crossref","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-Verlag, Berlin (1987)","edition":"2"},{"key":"4_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":"4_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"},{"issue":"1","key":"4_CR12","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","Applications of Fuzzy Sets Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73400-0_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:10:15Z","timestamp":1619518215000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73400-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540733997","9783540734000"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73400-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}