{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,12,8]],"date-time":"2023-12-08T10:33:36Z","timestamp":1702031616180},"reference-count":30,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2004,5,1]],"date-time":"2004-05-01T00:00:00Z","timestamp":1083369600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Fuzzy Sets and Systems"],"published-print":{"date-parts":[[2004,5]]},"DOI":"10.1016\/j.fss.2003.10.013","type":"journal-article","created":{"date-parts":[[2003,11,11]],"date-time":"2003-11-11T14:08:16Z","timestamp":1068559696000},"page":"43-65","source":"Crossref","is-referenced-by-count":8,"title":["Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants"],"prefix":"10.1016","volume":"144","author":[{"given":"Teresa","family":"Alsinet","sequence":"first","affiliation":[]},{"given":"Llu\u0131\u0301s","family":"Godo","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.fss.2003.10.013_BIB1","unstructured":"T. Alsinet, L. Godo, A complete calculus for possibilistic logic programming with fuzzy propositional variables, in: Proc. UAI\u20192000 Conf., Stanford, CA, 2000, pp. 1\u201310."},{"key":"10.1016\/j.fss.2003.10.013_BIB2","unstructured":"T. Alsinet, L. Godo, A complete proof method for possibilistic logic programming with semantical unification of fuzzy constants, in: Proc. ESTYLF\u20192000 Conf., Sevilla, Spain, 2000, pp. 279\u2013284. http:\/\/fermat.eup.udl.es\/~tracy\/report002.ps."},{"key":"10.1016\/j.fss.2003.10.013_BIB3","doi-asserted-by":"crossref","unstructured":"T. Alsinet, L. Godo, A proof procedure for possibilistic logic programming with fuzzy constants, in: Proc. ECSQARU\u20192001 Conf., Toulouse, France, Lecture Notes in Artificial Intelligence, Vol. 2143, Springer, Berlin, 2001, pp. 760\u2013771.","DOI":"10.1007\/3-540-44652-4_67"},{"key":"10.1016\/j.fss.2003.10.013_BIB4","unstructured":"T. Alsinet, L. Godo, S. Sandri, On the semantics and automated deduction for PLFC, a logic of possibilistic uncertainty and fuzziness, in: Proc. UAI\u201999 Conf., Stockholm, Sweden, 1999, pp. 3\u201312. Extended version as IIIA Tech. Report 99-09. Available at http:\/\/www.iiia.csic.es\/Publications\/Reports\/1999."},{"key":"10.1016\/j.fss.2003.10.013_BIB5","doi-asserted-by":"crossref","unstructured":"T. Alsinet, L. Godo, S. Sandri, Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description, Electron. Notes Comput. Sci. 66(5) (2002) 21, URL: http:\/\/www.elsevier.nl\/locate\/entcs\/volume66.html.","DOI":"10.1016\/S1571-0661(04)80511-5"},{"key":"10.1016\/j.fss.2003.10.013_BIB6","unstructured":"F. Arcelli, F. Formato, G. Gerla, Extending unification through similarity relations, BUSEFAL, Vol. 70, IRIT, Toulouse, France, 1997, pp. 3\u201312."},{"key":"10.1016\/j.fss.2003.10.013_BIB7","series-title":"Logic Programming and Soft Computing","first-page":"51","article-title":"Fuzzy unification as a foundation of fuzzy logic programming","author":"Arcelli","year":"1998"},{"key":"10.1016\/j.fss.2003.10.013_BIB8","series-title":"Fril\u2014Fuzzy and Evidential Reasoning in Artificial Intelligence","author":"Baldwin","year":"1995"},{"key":"10.1016\/j.fss.2003.10.013_BIB9","series-title":"Software for Discrete Manufacturing","first-page":"525","article-title":"Towards the use of fuzzy rule-based systems in the monitoring of manufacturing systems","author":"Bel","year":"1986"},{"key":"10.1016\/j.fss.2003.10.013_BIB10","series-title":"Foundations of Intelligent Systems","first-page":"318","article-title":"KOMET\u2014A system for the integration of heterogeneous information sources","volume":"Vol. 1325","author":"Calmet","year":"1997"},{"key":"10.1016\/j.fss.2003.10.013_BIB11","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1108\/eb005612","article-title":"Fuzzy pattern matching","volume":"11","author":"Cayrol","year":"1982","journal-title":"Kybernetes"},{"issue":"1","key":"10.1016\/j.fss.2003.10.013_BIB12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0888-613X(96)00137-5","article-title":"A logical approach to interpolation based on similarity relations","volume":"17","author":"Dubois","year":"1997","journal-title":"Internat. J. Approx. Reason."},{"issue":"6","key":"10.1016\/j.fss.2003.10.013_BIB13","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/69.273026","article-title":"Automated reasoning using possibilistic logic","volume":"1","author":"Dubois","year":"1994","journal-title":"IEEE Trans. Data Knowledge Eng."},{"key":"10.1016\/j.fss.2003.10.013_BIB14","series-title":"Fuzzy Logic and Fuzzy Control","first-page":"45","article-title":"Handling uncertainty, contex vague predicates and partial inconsistency in possibilistic logic","volume":"Vol. 833","author":"Dubois","year":"1994"},{"key":"10.1016\/j.fss.2003.10.013_BIB15","series-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","first-page":"439","article-title":"Possibilistic logic","author":"Dubois","year":"1994"},{"key":"10.1016\/j.fss.2003.10.013_BIB16","unstructured":"D. Dubois, H. Prade, S. Sandri, Possibilistic logic augmented with fuzzy unification, in: Proc. IPMU\u201996 Conf., Granada, Spain, 1996, pp. 1009\u20131014."},{"key":"10.1016\/j.fss.2003.10.013_BIB17","series-title":"Logic Programming and Soft Computing","first-page":"69","article-title":"Possibilistic logic with fuzzy constants and fuzzily restricted quantifiers","author":"Dubois","year":"1998"},{"key":"10.1016\/j.fss.2003.10.013_BIB18","first-page":"1","article-title":"Similarity-based unification","volume":"40","author":"Formato","year":"2000","journal-title":"Fund. Inform."},{"key":"10.1016\/j.fss.2003.10.013_BIB19","series-title":"Fuzzy Logic and Soft Computing","first-page":"19","article-title":"Similarity in logic programming","author":"Gerla","year":"1999"},{"key":"10.1016\/j.fss.2003.10.013_BIB20","doi-asserted-by":"crossref","unstructured":"P. Kullmann, S. Sandri, Possibilistic logic as an annotated logic, in: Proc. Fuzz-IEEE\u201999 Conf., Seoul, South Korea, 1999, pp. 210\u2013215.","DOI":"10.1109\/FUZZY.1999.793236"},{"key":"10.1016\/j.fss.2003.10.013_BIB21","doi-asserted-by":"crossref","unstructured":"P. Kullmann, S. Sandri, Implementation of an Extended Possibilistic Logic in an Annotated Logic Theorem Prover, in: Proc. IFSA-NAFIPS\u20192001 Conf., Vancouver, Canada, 2001, pp. 1529\u20131534.","DOI":"10.1109\/NAFIPS.2001.943776"},{"key":"10.1016\/j.fss.2003.10.013_BIB22","unstructured":"J. Medina, M. Ojeda-Aciego, P. Vojt\u00e1\u0161, Multi-adjoint logic programming with continuous semantics, in: Proc. LPNMR\u201901 Conf., Lecture Notes in Artificial Intelligence, Vol. 2173, Springer, Berlin, 2001, pp. 351\u2013364."},{"key":"10.1016\/j.fss.2003.10.013_BIB23","doi-asserted-by":"crossref","unstructured":"J. Medina, M. Ojeda-Aciego, P. Vojt\u00e1\u0161, A procedural semantics for multi-adjoint logic programming, in: Proc. EPIA\u201901 Conf., Lecture Notes in Artificial Intelligence, Vol. 2258, Springer, Berlin, 2001, pp. 290\u2013297.","DOI":"10.1007\/3-540-45329-6_29"},{"key":"10.1016\/j.fss.2003.10.013_BIB24","unstructured":"J. Medina, M. Ojeda-Aciego, P. Vojt\u00e1\u0161, Similarity-based unification: a multi-adjoint approach, in: Proc. EUSFLAT Conf. in Fuzzy Logic and Technology, De Montfort University, Leicester, UK, 2001, pp. 273\u2013276."},{"key":"10.1016\/j.fss.2003.10.013_BIB25","unstructured":"L.G. Rios-Filho, S. Sandri, Contextual fuzzy unification, in: Proc. IFSA\u201995 Conf., S\u00e3o Paulo, Brazil, 1995, pp. 81\u201384."},{"issue":"1\u20132","key":"10.1016\/j.fss.2003.10.013_BIB26","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1016\/S0304-3975(01)00188-8","article-title":"Approximate reasoning by similarity-based SLD resolution","volume":"275","author":"Sessa","year":"2002","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/j.fss.2003.10.013_BIB27","unstructured":"M. Umano, Fuzzy set prolog, in: Proc. 2nd IFSA Congress, Tokyo, Japan, 1987, pp. 750\u2013753."},{"issue":"5","key":"10.1016\/j.fss.2003.10.013_BIB28","first-page":"891","article-title":"A formal model for fuzzy knowledge based systems with similarities","volume":"10","author":"Vina\u0159","year":"2000","journal-title":"Neural Network World"},{"key":"10.1016\/j.fss.2003.10.013_BIB29","series-title":"Logic Programming and Soft Computing","first-page":"91","article-title":"Linguistic logic programming","author":"Virtanen","year":"1998"},{"issue":"3","key":"10.1016\/j.fss.2003.10.013_BIB30","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1016\/S0165-0114(01)00106-3","article-title":"Fuzzy logic programming","volume":"124","author":"Vojt\u00e1\u0161","year":"2001","journal-title":"Fuzzy Sets and Systems"}],"container-title":["Fuzzy Sets and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0165011403004457?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0165011403004457?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,26]],"date-time":"2020-03-26T20:42:26Z","timestamp":1585255346000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0165011403004457"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,5]]},"references-count":30,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2004,5]]}},"alternative-id":["S0165011403004457"],"URL":"https:\/\/doi.org\/10.1016\/j.fss.2003.10.013","relation":{},"ISSN":["0165-0114"],"issn-type":[{"value":"0165-0114","type":"print"}],"subject":[],"published":{"date-parts":[[2004,5]]}}}