{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T13:23:33Z","timestamp":1773235413970,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642024771","type":"print"},{"value":"9783642024788","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02478-8_32","type":"book-chapter","created":{"date-parts":[[2009,6,5]],"date-time":"2009-06-05T22:46:41Z","timestamp":1244242001000},"page":"253-260","source":"Crossref","is-referenced-by-count":14,"title":["On the Declarative Semantics of Multi-Adjoint Logic Programs"],"prefix":"10.1007","author":[{"given":"P.","family":"Juli\u00e1n","sequence":"first","affiliation":[]},{"given":"G.","family":"Moreno","sequence":"additional","affiliation":[]},{"given":"J.","family":"Penabad","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"32_CR1","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":"32_CR2","first-page":"701","volume-title":"Proc. of IJCAI 1985","author":"M. Ishizuka","year":"1985","unstructured":"Ishizuka, M., Kanai, N.: Prolog-ELF Incorporating Fuzzy Logic. In: Proc. of IJCAI 1985, pp. 701\u2013703. Morgan Kaufmann, San Francisco (1985)"},{"issue":"2","key":"32_CR3","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(2), 162\u2013181 (2009)","journal-title":"Fuzzy Sets and Systems"},{"key":"32_CR4","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, 173\u2013192 (2004)","journal-title":"Fuzzy Sets and Systems"},{"key":"32_CR5","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. Springer, Berlin (1987)"},{"key":"32_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/3-540-45402-0_26","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":"32_CR7","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":"32_CR8","first-page":"389","volume":"275","author":"M.I. Sessa","year":"2002","unstructured":"Sessa, M.I.: Approximate reasoning by similarity-based SLD resolution. Fuzzy Sets and Systems\u00a0275, 389\u2013426 (2002)","journal-title":"Fuzzy Sets and Systems"},{"issue":"4","key":"32_CR9","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.H. Emden van","year":"1976","unstructured":"van Emden, M.H., Kowalski, R.A.: The semantics of predicate logic as a programming language. Journal of the ACM\u00a023(4), 733\u2013742 (1976)","journal-title":"Journal of the ACM"},{"key":"32_CR10","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, 361\u2013370 (2001)","journal-title":"Fuzzy Sets and Systems"},{"key":"32_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/3-540-60983-0_20","volume-title":"Extensions of Logic Programming","author":"P. Vojt\u00e1\u0161","year":"1996","unstructured":"Vojt\u00e1\u0161, P., Paul\u00edk, L.: Soundness and completeness of non-classical extended SLD-resolution. In: Herre, H., Dyckhoff, R., Schroeder-Heister, P. (eds.) ELP 1996. LNCS, vol.\u00a01050, pp. 289\u2013301. Springer, Heidelberg (1996)"}],"container-title":["Lecture Notes in Computer Science","Bio-Inspired Systems: Computational and Ambient Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02478-8_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,8]],"date-time":"2019-03-08T17:50:44Z","timestamp":1552067444000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02478-8_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642024771","9783642024788"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02478-8_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}