{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T20:07:43Z","timestamp":1725998863591},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030016319"},{"type":"electronic","value":"9783030016326"}],"license":[{"start":{"date-parts":[[2018,11,3]],"date-time":"2018-11-03T00:00:00Z","timestamp":1541203200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-01632-6_1","type":"book-chapter","created":{"date-parts":[[2018,11,2]],"date-time":"2018-11-02T08:39:17Z","timestamp":1541147957000},"page":"1-17","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On the Incorporation of Interval-Valued Fuzzy Sets into the Bousi-Prolog System: Declarative Semantics, Implementation and Applications"],"prefix":"10.1007","author":[{"given":"Clemente","family":"Rubio-Manzano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mart\u00edn","family":"Pereira-Fari\u00f1a","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,11,3]]},"reference":[{"issue":"11","key":"1_CR1","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/219717.219748","volume":"38","author":"George A. Miller","year":"1995","unstructured":"Miller, G.A.: Wordnet: a lexical database for English. Commun. ACM 38(11), 39\u201341 (1995)","journal-title":"Communications of the ACM"},{"key":"1_CR2","first-page":"293","volume-title":"Lecture Notes in Computer Science","author":"Hugo Liu","year":"2004","unstructured":"Liu, H., Singh, P.: Commonsense reasoning in and over natural language. In: Negoita, M.G., Howlett, R.J., Jain, L.C. (eds). Proceedings of the 8th International Conference on Knowledge-Based Intelligent Information and Engineering Systems (KES 2004), Wellington, New Zealand, 20\u201325, September, pp. 293\u2013306. Springer, Berlin (2004)"},{"key":"1_CR3","unstructured":"Le\u00f3n-Ar\u00e1uz, P., G\u00f3mez-Romero, J., Bobillo, F.: A fuzzy ontology extension of wordnet and eurowordnet for specialized knowledge. In: Proceedings of the TKE 2012 (2012)"},{"issue":"3","key":"1_CR4","doi-asserted-by":"publisher","first-page":"2425","DOI":"10.3233\/JIFS-16377","volume":"32","author":"Clemente Rubio-Manzano","year":"2017","unstructured":"Rubio-Manzano, C., Pereira-Fari\u00f1a, M.: Towards fuzzy lexical reasoning. J. Intell. Fuzzy Syst. 32(3), 2425\u20132436 (2017)","journal-title":"Journal of Intelligent & Fuzzy Systems"},{"key":"1_CR5","unstructured":"Medina, J., Ojeda-Aciego, M.: Multi-adjoint logic programming. In: Proceedings of the 10th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2004), pp. 823\u2013830 (2004)"},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-319-42019-6_5","volume-title":"Rule Technologies. Research, Tools, and Applications","author":"Pascual Juli\u00e1n-Iranzo","year":"2016","unstructured":"Juli\u00e1n-Iranzo, P., Moreno, G., Penabad, J., V\u00e1zquez, C.: A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees, pp. 68\u201382. Springer International Publishing, Cham (2016)"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Juli\u00e1n-Iranzo, P., Moreno, G., Penabad, J., V\u00e1zquez, C.: A fuzzy logic programming environment for managing similarity and truth degrees (2015)","DOI":"10.4204\/EPTCS.173.6"},{"issue":"10","key":"1_CR8","doi-asserted-by":"publisher","first-page":"1951","DOI":"10.1016\/j.ins.2010.07.033","volume":"181","author":"Susana Munoz-Hernandez","year":"2011","unstructured":"Mu\u00f1oz-Hernandez, S., Pablos-Ceruelo, V., Strass, H.: Rfuzzy: syntax, semantics and implementation details of a simple and expressive fuzzy tool over prolog. Inf. Sci. 181(10), 1951\u20131970 (2011) (Special Issue on Information Engineering Applications Based on Lattices)","journal-title":"Information Sciences"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-540-85658-0_2","volume-title":"Reasoning Web","author":"Umberto Straccia","year":"2008","unstructured":"Straccia, U.: Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs, pp. 54\u2013103. Springer, Berlin (2008)"},{"issue":"03","key":"1_CR10","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1017\/S1471068409003779","volume":"9","author":"VAN HUNG LE","year":"2009","unstructured":"Le, V.H, Liu, F., Tran, D.K.: Fuzzy linguistic logic programming and its applications. Theory Pract. Log. Program. 9(03), 309\u2013341 (2009)","journal-title":"Theory and Practice of Logic Programming"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Pedersen, T., Patwardhan, S., Michelizzi, J.: Wordnet: similarity: measuring the relatedness of concepts. In: Demonstration Papers at HLT-NAACL 2004. HLT-NAACL\u2013Demonstrations \u201904, Stroudsburg, PA, USA, Association for Computational Linguistics, pp. 38\u201341 (2004)","DOI":"10.3115\/1614025.1614037"},{"issue":"2","key":"1_CR12","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/0888-613X(89)90002-9","volume":"3","author":"I.B. Turksen","year":"1989","unstructured":"Turksen, I.: Four methods of approximate reasoning with interval-valued fuzzy sets. Int. J. Approx. Reason. 3(2), 121\u2013142 (1989)","journal-title":"International Journal of Approximate Reasoning"},{"issue":"2","key":"1_CR13","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1080\/18756891.2010.9727692","volume":"3","author":"Humberto Bustince","year":"2010","unstructured":"Bustince, H.: Interval-valued fuzzy sets in soft computing. Int. J. Comput. Intell. Syst. 3(2), 215\u2013222 (2010)","journal-title":"International Journal of Computational Intelligence Systems"},{"key":"1_CR14","first-page":"430","volume-title":"Communications in Computer and Information Science","author":"Jes\u00fas Medina","year":"2010","unstructured":"Medina, J.: Adjoint pairs on interval-valued fuzzy sets. In: Proceedings of the 13th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2010), pp. 430\u2013439. Springer, Berlin (2010)"},{"key":"1_CR15","unstructured":"Rubio-Manzano, C., Juli\u00e1n-Iranzo, P.: A fuzzy linguistic prolog and its applications. J. Intell. Fuzzy Syst. 26(3), 1503\u20131516 (2014)"},{"key":"1_CR16","first-page":"245","volume-title":"Lecture Notes in Computer Science","author":"Pascual Juli\u00e1n-Iranzo","year":"2009","unstructured":"Juli\u00e1n-Iranzo, P., Rubio-Manzano, C.: A similarity-based WAM for Bousi-Prolog, pp. 245\u2013252. Springer, Berlin (2009)"},{"issue":"1","key":"1_CR17","first-page":"1","volume":"1\/2014","author":"M Pereira-Fari\u00f1a","year":"2014","unstructured":"Pereira-Fari\u00f1a, M.: Some reflections on the set-based and the conditional-based interpretations of statements in syllogistic reasoning. Archiv. Philos. Hist. Soft Comput. 1\/2014(1), 1\u201316 (2014)","journal-title":"Archiv. Philos. Hist. Soft Comput."},{"key":"1_CR18","series-title":"Trends in Logic","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic","author":"Petr H\u00e1jek","year":"1998","unstructured":"Hajek, P.: Metamathematics of Fuzzy Logic. Springer Science and Business Media, Berlin (1998)"},{"key":"1_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"John Wylie Lloyd","year":"1987","unstructured":"Lloyd, J.: Foundations of Logic Programming. Springer, Berlin (1987)"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Juli\u00e1n-Iranzo, P., Rubio-Manzano, C.: A declarative semantics for Bousi\u00a0Prolog. In: Proceedings of the 11th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP \u201909), pp. 149\u2013160. ACM, New York (2009)","DOI":"10.1145\/1599410.1599430"},{"issue":"2","key":"1_CR21","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/S0165-0114(98)00300-5","volume":"117","author":"Rafee Ebrahim","year":"2001","unstructured":"Ebrahim, R.: Fuzzy logic programming. Fuzzy Sets Syst. 117(2), 215\u2013230 (2001)","journal-title":"Fuzzy Sets and Systems"},{"issue":"2","key":"1_CR22","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1016\/j.fss.2008.05.004","volume":"160","author":"J Medina","year":"2009","unstructured":"Medina, J., Ojeda-Aciego, M., Ru\u00edz-Calvi\u00f1o, J.: Formal concept analysis via multi-adjoint concept lattices. Fuzzy Sets Syst. 160(2), 130\u2013144 (2009)","journal-title":"Fuzzy Sets Syst."},{"issue":"4-6","key":"1_CR23","doi-asserted-by":"publisher","first-page":"627","DOI":"10.1017\/S1471068410000323","volume":"10","author":"MARIO RODR\u00cdGUEZ-ARTALEJO","year":"2010","unstructured":"Rodr\u00edguez-Artalejo, M., Romero-D\u00edaz, C.A.: A declarative semantics for CLP with qualification and proximity. Theory Pract. Log. Program. 10(4\u20136), 627\u2013642 (2010)","journal-title":"Theory and Practice of Logic Programming"},{"issue":"2","key":"1_CR24","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/0165-0114(93)90166-F","volume":"53","author":"Krassimir Atanassov","year":"1993","unstructured":"Atanassov, K., Georgiev, C.: Intuitionistic fuzzy prolog. Fuzzy Sets Syst. 53(2), 121\u2013128 (1993)","journal-title":"Fuzzy Sets and Systems"},{"issue":"1","key":"1_CR25","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., Muoz, S., Vaucheret, C.: Fuzzy prolog: a new approach using soft constraints propagation. Fuzzy Sets Syst. 144(1), 127\u2013150 (2004)","journal-title":"Fuzzy Sets and Systems"}],"container-title":["Studies in Computational Intelligence","Interactions Between Computational Intelligence and Mathematics Part 2"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-01632-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,30]],"date-time":"2019-10-30T18:36:45Z","timestamp":1572460605000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-01632-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,3]]},"ISBN":["9783030016319","9783030016326"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-01632-6_1","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2018,11,3]]}}}