( en | de | ru )

 

Disambiguation of "Esteva, Francesc"

Author of the publication

copydeleteadd this publication to your clipboard
On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers.

, , , , , and . SUM, volume 8078 of Lecture Notes in Computer Science, page 325-330. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Francesc Pont

Francesc Xavier Camps Camprubí

Francesc Vilanova i Vila-abadal

 

Other publications of authors with the same name

On varieties generated by Weak Nilpotent Minimum t-norms., , and . EUSFLAT Conf., page 866-871. Universidad Polytecnica de Catalunya, (2005)On the relationship between fuzzy description logics and many-valued modal logics., , and . Int. J. Approx. Reason., (2018)On Modal Logics for Qualitative Possibility in a Fuzzy Setting, , , , and . CoRR, (2013)Equational Characterization of the Subvarieties of BL Generated by t-norm Algebras., , and . Stud Logica, 76 (2): 161-200 (2004)A principled approach to fuzzy rule base interpolation using similarity relations., , , , and . EUSFLAT Conf., page 757-763. Universidad Polytecnica de Catalunya, (2005)QBL: towards a logic for left-continuous t-norms., and . EUSFLAT-ESTYLF Joint Conf., page 35-37. Universitat de les Illes Balears, Palma de Mallorca, Spain, (1999)A Fuzzy Modal Logic for Belief Functions., , and . IJCAI, page 723-732. Morgan Kaufmann, (2001)Systems of ordinal fuzzy logic with application to preference modelling., , , and . EUSFLAT-ESTYLF Joint Conf., page 47-50. Universitat de les Illes Balears, Palma de Mallorca, Spain, (1999)Smooth Finite T-norms and Their Equational Axiomatization., , and . Fuzzy Logic and Information Fusion, volume 339 of Studies in Fuzziness and Soft Computing, page 11-24. Springer, (2016)On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics., , and . Log. J. IGPL, 24 (3): 288-320 (2016)