{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,17]],"date-time":"2025-04-17T16:09:41Z","timestamp":1744906181813},"publisher-location":"Berlin, Heidelberg","reference-count":11,"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_53","type":"book-chapter","created":{"date-parts":[[2011,5,30]],"date-time":"2011-05-30T09:47:41Z","timestamp":1306748861000},"page":"421-428","source":"Crossref","is-referenced-by-count":2,"title":["A Sound Semantics for a Similarity-Based Logic Programming Language"],"prefix":"10.1007","author":[{"given":"Pascual","family":"Juli\u00e1n-Iranzo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clemente","family":"Rubio-Manzano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"53_CR1","first-page":"185","volume-title":"Proc. PPDP 2008","author":"R. Caballero","year":"2008","unstructured":"Caballero, R., Rodr\u00edguez, M., Romero, C.A.: Similarity-based reasoning in qualified logic programming. In: Proc. PPDP 2008, pp. 185\u2013194. ACM, New York (2008)"},{"issue":"9","key":"53_CR2","doi-asserted-by":"publisher","first-page":"853","DOI":"10.1002\/int.10067","volume":"17","author":"F. Arcelli","year":"2002","unstructured":"Arcelli, F., Formato, F.: A similarity-based resolution rule. Int. J. Intell. Syst.\u00a017(9), 853\u2013872 (2002)","journal-title":"Int. J. Intell. Syst."},{"issue":"1","key":"53_CR3","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_CR4","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1145\/1599410.1599430","volume-title":"PPDP","author":"P. Juli\u00e1n","year":"2009","unstructured":"Juli\u00e1n, P., Rubio, C.: A declarative semantics for Bousi~Prolog. In: PPDP, pp. 149\u2013160. ACM, New York (2009)"},{"key":"53_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":"53_CR6","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1145\/357162.357169","volume":"4","author":"A. Martelli","year":"1982","unstructured":"Martelli, A., Montanari, U.: An Efficient Unification Algorithm. ACM Transactions on Programming Languages and Systems\u00a04, 258\u2013282 (1982)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1","key":"53_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, 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_CR8","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","year":"2008","unstructured":"Rodr\u00edguez, M., Romero, C.A.: Quantitative logic programming revisited. In: Garrigue, J., Hermenegildo, M.V. (eds.) FLOPS 2008. LNCS, vol.\u00a04989, pp. 272\u2013288. Springer, Heidelberg (2008)"},{"issue":"1-2","key":"53_CR9","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1016\/S0304-3975(01)00188-8","volume":"275","author":"M.I. Sessa","year":"2002","unstructured":"Sessa, M.I.: Approximate reasoning by similarity-based sld resolution. Theoretical Computer Science\u00a0275(1-2), 389\u2013426 (2002)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"53_CR10","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0743-1066(86)90003-8","volume":"3","author":"M.H. Emden van","year":"1986","unstructured":"van Emden, M.H.: Quantitative deduction and its fixpoint theory. Journal of Logic Programming\u00a03(1), 37\u201353 (1986)","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"53_CR11","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","Advances in Computational Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21498-1_53","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,28]],"date-time":"2019-03-28T02:13:52Z","timestamp":1553739232000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21498-1_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214974","9783642214981"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21498-1_53","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}