{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:09:30Z","timestamp":1760170170320},"reference-count":28,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[2002,12,1]],"date-time":"2002-12-01T00:00:00Z","timestamp":1038700800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3893,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2002,12]]},"DOI":"10.1016\/s1571-0661(04)80511-5","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"1-21","source":"Crossref","is-referenced-by-count":19,"title":["Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification"],"prefix":"10.1016","volume":"66","author":[{"given":"Teresa","family":"Alsinet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Llu\u00eds","family":"Godo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sandra","family":"Sandri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80511-5_NEWBIB1","unstructured":"T. Alsinet and L. Godo. A complete calculus for possibilistic logic programming with fuzzy propositional variables. In Proc. of UAI'2000 Conference, pp. 1\u201310, Stanford, CA, 2000."},{"key":"10.1016\/S1571-0661(04)80511-5_NEWBIB2","unstructured":"T. Alsinet and L. Godo. A complete proof method for possibilistic logic programming with semantical unification of fuzzy constants. In Proc. of ESTYLF'2000 Conference, pp. 279\u2013284, Sevilla, Spain, 2000."},{"key":"10.1016\/S1571-0661(04)80511-5_NEWBIB3","doi-asserted-by":"crossref","unstructured":"T. Alsinet and L. Godo. A proof procedure for Possibilistic logic programming with fuzzy constants. In Proc. of ECSQARU'2001, Toulouse (France), Sept. 2001, LNAI 2143, Springer, pp. 760\u2013771.","DOI":"10.1007\/3-540-44652-4_67"},{"key":"10.1016\/S1571-0661(04)80511-5_NEWBIB4","unstructured":"T. Alsinet and L. Godo. Adding similarity-based reasoning capabilities to a Horn fragment of Possbilistic Logic with Fuzzy Constants. Submitted."},{"key":"10.1016\/S1571-0661(04)80511-5_NEWBIB5","unstructured":"T. Alsinet, L. Godo, and S. Sandri. On the semantics and automated deduction for PLFC, a logic of possibilistic uncertainty and fuzziness. In Proc. of UAI'99 Conference, pp. 3\u201312, Stockholm, Sweden, 1999."},{"key":"10.1016\/S1571-0661(04)80511-5_NEWBIB6","series-title":"Logic Programming and Soft Computing, chapter 3","first-page":"51","article-title":"Fuzzy unification as a foundation of fuzzy logic programming","author":"Arcelli","year":"1998"},{"key":"10.1016\/S1571-0661(04)80511-5_NEWBIB7","series-title":"Fril - Fuzzy and Evidential Reasoning in Artificial Intelligence","author":"Baldwin","year":"1995"},{"key":"10.1016\/S1571-0661(04)80511-5_NEWBIB8","series-title":"Software for Discret Manufacturing","first-page":"525","article-title":"Towards the use of fuzzy rule-based systems in the monitoring of manufactoring systems","author":"Bel","year":"1986"},{"key":"10.1016\/S1571-0661(04)80511-5_NEWBIB9","first-page":"318","article-title":"KOMET - A system for the integration of heterogeneous information sources","volume":"1325","author":"Calmet","year":"1997"},{"key":"10.1016\/S1571-0661(04)80511-5_NEWBIB10","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"},{"key":"10.1016\/S1571-0661(04)80511-5_NEWBIB11","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\/S1571-0661(04)80511-5_NEWBIB12","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\/S1571-0661(04)80511-5_NEWBIB13","unstructured":"L. Rios-Filho, S. Sandri. Contextual fuzzy unification. In Proc. IFSA'95 S\u00e3o Paulo (Brazil), pp. 81\u201384, 1995."},{"key":"10.1016\/S1571-0661(04)80511-5_NEWBIB14","series-title":"Fuzzy Logic and Soft Computing, chapter 2","first-page":"19","article-title":"Similarity in Logic Programming","author":"Gerla","year":"1999"},{"key":"10.1016\/S1571-0661(04)80511-5_NEWBIB15","unstructured":"L. Godo and L. Vila. Possibilistic Temporal Reasoning based on Fuzzy Temporal Constraints. In Proceedings IJCAI'95, Montreal (Canada), Vol. 2, pp. 1916\u20131922, 1995."},{"key":"10.1016\/S1571-0661(04)80511-5_NEWBIB16","first-page":"1","article-title":"Similarity-based unification","volume":"40","author":"Formato","year":"2000","journal-title":"Fundamenta Informaticae"},{"issue":"1","key":"10.1016\/S1571-0661(04)80511-5_NEWBIB17","first-page":"335","article-title":"Theory of Generalized Annotated Logic Programming","volume":"Vol. 12","author":"Kifer","year":"1999","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1571-0661(04)80511-5_NEWBIB18","doi-asserted-by":"crossref","unstructured":"P. Kullmann, and S. Sandri, Possibilistic logic as an annotated logic. In Proc. Fuzz-IEEE'99, Seoul (S. Korea), 1999, pp. 210\u2013215.","DOI":"10.1109\/FUZZY.1999.793236"},{"key":"10.1016\/S1571-0661(04)80511-5_NEWBIB19","doi-asserted-by":"crossref","unstructured":"P. Kullmann, and S. Sandri. Implementation of an Extended Possibilistic Logic in an Annotated Logic Theorem Prover. In Proc. IFSA-NAFIPS'2001, Vancouver (Ca), Jul. 2001, pp. 1529\u20131534.","DOI":"10.1109\/NAFIPS.2001.943776"},{"key":"10.1016\/S1571-0661(04)80511-5_NEWBIB20","unstructured":"J. Medina, M. Ojeda-Aciego, and P. Vojt\u00e1s. Similarity-based unification: a multi-adjoint approach. In Proc. EUSFLAT Conference in Fuzzy Logic and Technology, pp. 273\u2013276, 2001."},{"key":"10.1016\/S1571-0661(04)80511-5_NEWBIB21","unstructured":"S. Sandri, and L. Godo. Treatment of temporal information in possibilistic logic with fuzzy constants. In Proc. IFSA'99, Taipei (ROC), pp. 561\u2013565, 1999."},{"issue":"1-2","key":"10.1016\/S1571-0661(04)80511-5_NEWBIB22","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":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80511-5_NEWBIB23","unstructured":"V.S. Subrahmanian. On the Semantics of Quantitative Logic Programs. Proc. 4th IEEE Symposium on Logic Programming, Computer Society Press, Washington DC, pp. 173\u2013182, 1987."},{"key":"10.1016\/S1571-0661(04)80511-5_NEWBIB24","unstructured":"M. Umano. Fuzzy set prolog. In Proceedings 2nd IFSA Congress, pp. 750\u2013753, Tokyo, Japan, 1987."},{"key":"10.1016\/S1571-0661(04)80511-5_NEWBIB25","series-title":"Logic Programming and Soft Computing","first-page":"91","article-title":"Linguistic logic programming","author":"Virtanen","year":"1998"},{"issue":"5","key":"10.1016\/S1571-0661(04)80511-5_NEWBIB26","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"},{"issue":"3","key":"10.1016\/S1571-0661(04)80511-5_NEWBIB27","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1016\/S0165-0114(01)00106-3","article-title":"Fuzzy logic programming","volume":"124","author":"Voj\u00e1\u0161","year":"2001","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1571-0661(04)80511-5_NEWBIB28","doi-asserted-by":"crossref","unstructured":"P. Vojt\u00e1s, T. Alsinet, and L. Godo. Different models of fuzzy logic programming with fuzzy unification (towards a revision of fuzzy databases). In Proc. IFSANAFIPS'2001, July 2001, Vancouver (Canada) pp. 1541\u20131545.","DOI":"10.1109\/NAFIPS.2001.943778"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104805115?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104805115?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T10:54:59Z","timestamp":1549191299000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104805115"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,12]]},"references-count":28,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2002,12]]}},"alternative-id":["S1571066104805115"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80511-5","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2002,12]]}}}