Francesc Esteva' Home Page

Full professor at the Technical University of Catalonia (UPC) and working as a Research Professor of the Spanish Scientific Research Council (CSIC). From 1994 he is the director of the Artificial Intelligence Research Institute of the CSIC.

Ph.D. in Mathematics with a thesis in algebraic logic in 1974 from the University of Barcelona.

He has been head of the Department of Mathematics and Informatic of the Architecture School of the UPC, deputy director of the Architecture School and deputy director of the Educational Research Institute both of the UPC. From 1987 to 1994 he has been the director of the Center for Advanced Studies in Blanes depending on the CSIC. From 1994 the Department of Artificial Intelligence of this Center becames a new Institute, the Artificial Intelligence Research Institute 

He is area editor of the International Journal of Fuzziness and Knowledge-Based Systems (World Sci. Pub.),

and member of the editorial or advisory boards of the following international journals, collections of books and handbook:

Guest Editor of two special issue of Mathware and Soft Computing, a special issue of the International Journal of Approximate reasoning and a special issue of the Soft Computing journal.

Member of the programme committee of numerous conferences, including AAAI'97 and 98, several IEEE conferences (Specially Fuzz-IEEE), IPMU, EUSFLAT, etc.

From 1996 till 1997 President of FLAT (Spanish Association for Fuzzy Logic and Technology) which is one of the foundational associations of the new IFSA (International Fuzzy Sets Asssociation). He was one of the founders of the EUSFLAT (European Society for Fuzzy Logic and Technology) and the first President of the society (from 1997 till 2001)

The initial work and interest in algebraic logic changes to fuzzy logic, multiple-valued logic and approximate reasoning and fuzzy sets theory and applications. Next you can find a chronological description of the main subjects I have worked on:

1.-  Negations and weak negations operators on lattices. Algebraic study of Ockham algebras.

2.- Fuzzy Logic as Institutions. Application to define and combine local logics in modular expert System (Application to MILORD system).

3.- Similarity-based reasoning and its modal formalization. Applications to interpolation and Case-based reasoning.

4.- Fuzzy logic in narrow sense as t-norm based multivalued residuated logics. Main contributions are:

5.- Modelization of uncertainty measures as fuzzy theories. The cases of probability, possibility and belief functions.

6.- Introducing relation based modalities in Residuated (fuzzy) many-valued logics.

Besides scientifical work, I also enjoys theatre, art, treaking and friends. I am also interestied in social and political afers specially those afecting freedom, injustices and human rigths.

Selection of representative publications

F. Esteva (1975), Negaciones en Retículos completos, Stochastica I nº1,pp.49-66

F.Esteva (1984), On some representable De Morgan Algebras, Jour. of Mathematical Analysis an Applications, vol.100, nº2, pp.463-469

F. Esteva, R. Quintanilla (1987), On Symmetric Algebras of Fuzzy Sets. Fuzzy Sets and Systems, Vol. 24, nº 1, pp. 87-92

P. García, F. Esteva (1988), Representation of Symetric Algebras and its Subvarieties. Proceedings 18th IEEE International Symposium on Multiple-Valued Logic. IEEE Computer Society Press, pp. 277-284.

P. García F. Esteva (1989), Representation Theorems of Ockham Algebras. Proceedings of the 19th IEEE International Symposium on Multiple-valued Logic ISMVL'89. China. pp. 14-19.

Ll. Godo, F. Esteva, P. García, J. Agustí (1991), A Formal Semantical Approach to Fuzzy Logic. International Symposium on Multiple Valued Logic. ISMVL'91, pp. 72-79.

J. Agustí, F. Esteva, P. García, Ll. Godo, C. Sierra (1991), Combining Multiple-valued Logics in Modular Expert Systems. 7th Conference on Uncertainty in Artificial Intelligence, (Bruce dÕAmbrosio et al. eds.) 1991, Morgan Kaufman Publishers. San Mateo (California), pp. 17-25

J. Agustí, F. Esteva, P. García, Ll. Godo (1991), Formalizing Multiple-Valued Logics as Institutions. En: Uncertainty in Knowledge Bases. B. Bouchon-Meunier, R.R. Yager, L.A. Zadeh (Eds.) Lecture Notes in Computer Science 521. Springer-Verlag.1991, pp.269-278.

F.Esteva, Cálculo con relaciones borrosas, Lógica borrosa y sus aplicaciones, (E.Trillas et al. eds.) Nuevas Tendencias nº 20 (CSIC), pp.33-50.

J. Agustí, F. Esteva, P. García, Ll. Godo, R. López de Mántaras, L. Murgui, J. Puyol, C. Sierra. (1992), Structured Local Fuzzy Logics in MILORD. Fuzzy Logic for the Management of Uncertainty (L.A. Zadeh & J. Kacprzyk, eds.), 1992,John Wiley & Sons, pp. 523-551.

J. Agustí, F. Esteva, P. García, L. Godo, R. López de Mántaras, C. Sierra (1992), Managing Local Fuzzy Logics in MILORD-II. FUZZ-IEEE'92, IEEE International Conference on Fuzzy Systems 1992. Ed. IEEE. San Diego, California, U.S.A. March 8-12,1992, pp.787-794.

J. Agustí, F. Esteva, P. García, L. Godo, R. López de Mántaras, J. Puyol, C. Sierra; Local Multivalued Logics in Modular Expert Systems. International Journal of Experimental and Theoretical Artificial Intelligence, Vol. 6, n. 3, 1994, pp. 303-321.

F. Esteva, P. García-Calvés and LL. Godo (1994) Enriched Interval Bilattices and Partial Many-Valued Logics: An Approach to Deal with Graded Truth and Imprecision. Int.J. of Uncertainty, Fuzziness and Knowledge-based Systems, World Scientific 1994, Vol. 2, nº 1 pp.37-54.

F. Esteva, P. García, L. Godo (1994), Relating and Extending Semantical Approaches to Possibilistic Reasoning. International Journal of Approximate Reasoning. Elsevier Science Inc Mayo 1994; Vol. 10 nº 4, pp. 311-344.

P. Hájek, D. Harmancova, F. Esteva, P. García and L. Godo, (1994), On Modal Logics for Qualitative Possibility in a Fuzzy Setting. (R. López de Mántaras & D. Poole, eds.) Uncertainty in Artificial Intelligence Morgan Kaufmann Publishers, S. Francisco (USA) 1994, pp. 278-285.

F. Esteva, P. García, L. Godo, E. Ruspini, L. Valverde (1994), On Similarity Logic and the Generalized Modus Ponenes. IEEE International Conference on Fuzzy Systems. FUZZ-IEEEÕ94. IEEE Press, Orlando USA,1994, pp. 1423-1427. ¥

J. Amat, F. Esteva and R. López de Mántaras (1995); Autonomous navigation troup for cooperative modelling of unknown environments. ICAR'95: Proceeding of the 7th International Conference on Advanced Robotics. UPC. San Feliu de Guíxols, Vol. I, pp. 383-389.

F. Esteva, P. García (1995); On Ockham Algebras: Congruence Lattices and Subdirectly Irreducible Algebras. Studia Logica. Kluwer Academic. nº 55, pp. 319-346.

F. Esteva, P. García, L. Godo (1995); On conditioning in Similarity Logic (B. Bouchon-Menier, R.R. Yager and L. A. Zadeh, Eds.) Fuzzy Logic and Soft Computing. World Scientific, pp. 300-309.

D. Dubois, F. Esteva, P. García, L. Godo, H. Prade (1995); Similarity-Based Consequence Relations. Lecture Notes in Artificial Intelligence. Springer, nª 946, pp. 171-179.

P. Hájek, L. Godo, F. Esteva (1995); Fuzzy logic and Probability. (P. Besnard & S. Hanks, Eds.) Uncertainty in Artificial Intelligence Conference. Morgan Kaufmann. San Francisco, pp. 237-244.

P. Hájek, L. Godo, F. Esteva (1996); A complete many-valued logic with product conjunction. Archive for Mathematical Logic. Springer, Vol. 35, nº 3, pp. 191-208.

R. López de Mántaras, J. Amat, F. Esteva, M. López, C.Sierra; Generation of Unknown Environment Maps by Cooperative Low-Cost Robots. AGENTS'97 First International Conference on Autonomous Agents, Marina del Rey, February 5-8, 1997. ACM Press. pp. 164-169. (sorry but ACM copyright does not allow posting the paper in servers)

D. Dubois, F. Esteva, P. Garcia, L. Godo, R. López de Mántaras, H. Prade; Fuzzy set-based models in case-based reasoning. IIIA Research Report 97-09. 2d International Conference on Case-Based Reasoning, Providence, Rhode Island, USA, 25-27 July 1997. Lecture Notes in Artificial Intelligence nº 1266, pp. 599-610.

F. Esteva, P. García L. Godo, R. Rodríguez (1997); A Modal Account of Similarity -based Reasoning. International Journal of Approximate Reasoning. North-Holland, Vol. 16, pp. 235-260. (IIIA-RR-96-08)

D. Dubois, F.Esteva, P. García, L. Godo H. Prade (1997); A Logical Approach to Interpolation Based on Similarity Relations. International Journal of Approximate Reasoning. North-Holland, Vol. 17 (1), 1-36.

D. Dubois, F. Esteva, P. Garcia, L. Godo, R. López de Mántaras, H. Prade (1997); Fuzzy modelling of case-based reasoning and decision. Lecture Notes in Artificial Intelligence Springer, num. 1266, pp. 599-610. (IIIA-RR-97-09).

E. Plaza, F. Esteva, P. Garcia, L. Godo, R. López de Mántaras; A Logical Approach to Case-Based Reasoning Using Fuzzy Similarity Relations. IIIA Research Report 96-22. To appear in Information Sciences Journal, vol. 106, pp 105-122 (1998)

D. Dubois, F. Esteva, P. Garcia, L. Godo, R. López de Mántaras, H. Prade; Fuzzy set-based models in case-based reasoning.  International Journal of Intelligent Systems, vol 134, pp.345-373 (1998)

E. Ruspini, F.Esteva; Logical aspects of Fuzzy Models. Handbook of Fuzzy Computation IOS Press (1998) Section B 2.3.

F.Esteva; Interpretation of Fuzzy Sets. Handbook of Fuzzy Computation IOS Press (1998) Section C2.2

F. Esteva, P. García L. Godo, R. Rodríguez (1998); Fuzzy approximation relations, Modal structures and Possibilistic logic . Mathware and Soft Computing. Vol. VI, nº 2,3 pp.219-234. 

F. Esteva, L. Godo; Putin together Lukasiewicz and Product logics (1999). Mathware and Soft Computing. Vol. V, nº 2,3 pp.151-166. 

Esteva, Francesc; Godo, Lluís; Hájek, Petr; Navara, Mirko (2000). Residuated Fuzzy logic with an involutive negation. Archieve for Math. Logic, Vol. 39, pp. 103-124. 

Cignoli, Roberto; Esteva, Francesc; Godo, Luís, Torrens, Antoni (2000); Basic Fuzzy Logic is the logic of continuous t-norms and their residua.  Soft Computing - A Fusion of Foundations, Methodologies and Applications, Vol. 4, N. 2, pp. 106-112

D. Dubois, F. Esteva, P. Garcia, L. Godo, R. López de Mántaras, H. Prade(2000); Case-based reasoning: a fuzzy approach.  LNAI, vol 1566, pp.79-90

F. Esteva, P. Garcia, L. Godo (2000); Similarity-based reasoning.  Discovering the world with Fuzzy Logic (V.Novak. I. Perfilieva eds.), Studies in Fuzziness and Soft Computing, Vol.57, pp. 367-393.

 L. Godo, F. Esteva, P. Hàjek (2000); Reasoning about probability using fuzzy logic.  Neural Network World, vol 5, pp.811-824 

J.A. Reyes, J. Puyol-Gruart, F.Esteva (2000); On defining multiple valued logics for knowledge-based systems communication. Mathware and Soft Computing, Vol. VII, 2-3, pp. 199-212.

F. Esteva, L. Godo, F. Montagna (2001). The LPi and LPi1/2 logics : two complete fuzzy systems joining Lukasiewicz and Product Logics. Archive for Mathematical Logic, Vol. 40, pp. 39-67. [BibTeX]

F. Esteva, P.Garcia, L. Godo (2001). Fuzzy similarity-based models in case-based reasoning. EUSFLAT 2001 : International Conference in Fuzzy Logic and Technology. pp. 51-54. EUSFLAT. [BibTeX]

 F. Esteva, L. Godo (2001). Monoidal t-norm based logic : towards a logic for left-continuous t-norms. Fuzzy Sets and Systems, Vol. 124, N. 3, pp. 271-288. [BibTeX]
    
F. Esteva, L. Godo (2001). On complete residuated many-valued logics with t-norm conjunction. ISMVL 2001. pp. 81-86. IEEE Computer Society. [BibTeX]
   
F. Esteva, P.Garcia, L. Godo (2001). On syntactical and semantical approaches to similarity-based approximate reasoning. Joint 9th IFSA World Congress and 20th NAFIPS International Conference. pp. 1598-1603. IEEE. [BibTeX]
    
De Baets, Bernard; Esteva, Francesc; Fodor, János; Godo, Lluís (2001). Systems of ordinal fuzzy logic with application to preference modelling. Fuzzy Sets and Systems, Vol. 124, N. 3, pp. 353-359. [BibTeX]
    
Godo, Lluís; Hájek, Petr; Esteva, Francesc (2001). A fuzzy modal logic for belief functions. IJCAI-01. (Nebel, Bernhard eds.), pp. 723-729. IJCAII. [BibTeX]    

Dubois, Didier; Esteva, Francesc; Godo, Lluís; Prade, Henri (2001). An information-based discussion of vagueness. Proceedings of 10th IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2001). pp. 778-781. [BibTeX]

Cignoli, Roberto; Esteva, Francesc; Godo, Lluís; Montagna, Franco (2002). On a class of left-continuous t-norms. Fuzzy sets and systems, Vol. 131, N. 3, pp. 283-296. [BibTeX]

Di Nola, Antonio; Sessa, Salvatore; Esteva, Francesc; Godo, Lluís; García, Pere (2002). The variety generated by perfect BL-algebras: an algebraic approach in a fuzzy setting. Annals of Mathematics and Artificial Intelligence, Vol. 35, N. 1-4, pp. 197-214. [BibTeX]

Ciabattoni, Agata; Esteva, Francesc; Godo, Lluís (2002). T-norm Based Logics With n-Contraction. Neural Network World, Vol. 12, N. 5, pp. 441-452. [BibTeX]

Di Nola, Antonio; Esteva, Francesc; García, Pere; Godo, Lluís; Sessa, Salvatore (2002). Subvarieties of BL-algebras generated by single-components chains. Archive for Mathematical Logic, Vol. 41, pp. 673-685. [BibTeX]

Esteva, Francesc; Gispert, Joan; Godo, Lluís; Montagna, Franco (2002). On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm Logic. Studia Logica, Vol. 71, pp. 199-226. [BibTeX]

Esteva, Francesc; García, Pere; Godo, Lluís (2002). Fuzzy Similarity-based Models in Case-based Reasoning. The 2002 IEEE World Congress on Computation Intelligence. Vol. Proceeding of 11 th. IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2002) Hawaii (USA) Mayo 2002, pp. 1348-1353. [BibTeX]

Esteva, Francesc; Godo, Lluís; García-Cerdaña, Angel (2003). On the Hierachy of t-norm Based Residuated Fuzzy Logics. Beyond Two: Theory and Applications of Multiple-Valued Logic. (Fitting, M. Orlowska, E. eds.), pp. 251-272. Physica-Verlag. [BibTeX]

Godo, Lluís; Hájek, Petr; Esteva, Francesc (2003). A fuzzy Modal Logic for Belief Functions. Fundamenta Informaticae, Vol. 57, N. 2-4, pp. 127-146. [BibTeX]

Esteva, Francesc; Godo, Lluís; Hájek, Petr; Montagna, Franco (2003). Hoops and Fuzzy Logic. Journal Logic & Computation, Vol. 13, N. 4, pp. 531-555. [BibTeX]

Rodriguez, Ricardo Oscar; Esteva, Francesc; García, Pere; Godo, Lluís (2003). On implicative closure operators in approximate reasoning. Internationa Journal of Approximate Reasoning, Vol. 33, pp. 159-184. [BibTeX


Armengol, Eva; Esteva, Francesc; Godo, Lluís; Torra, Vicenç (2004). On learning similarity relations in fuzzy case-based reasoning.Transactions on Rough Sets II: Rough Sets and Fuzzy Sets. (Peters, J.F.; Skowron, A.; Dubois, D.; Grzymala-Busse, J.; Inuiguchi, M.; Polkowski, L eds.), Lecture Notes in Computer Science , Vol. 3135, pp. 14-32. Springer. [BibTeX]

Esteva, Francesc; Rifqi, Maria; Bouchon-Meunier, Bernadette; Detyniecki, Marcin (2004). Similarity-based fuzzy interpolation method. Tenth international conference information processing and management of uncertainty in knowledge-based systems. IPMU 2004 Proceedings. Vol. II, pp. 1443-1449. Universitá la Sapienza. [BibTeX]

Esteva, Francesc; Godo, Lluís; Montagna, Franco (2004). Equational characterization of the subverieties of BL generated by t-norm algebras. Studia Logica, Vol. 76, N. 2, pp. 161-200. [BibTeX]

García-Cerdaña, Angel; Noguera, Carles; Esteva, Francesc (2005). On the scope of some formulas defining additive connectives in fuzzy logics. Fuzzy sets and systems, Vol. 154, N. 1, pp. 56-75. [BibTeX]

Bouchon-Meunier, Bernadette; Esteva, Francesc; Godo, Lluís; Rifqi, Maria; Sandri, Sandra (2005). A principled approach to fuzzy rule-based interpolation using similarity relations. EUSFLAT-LFA 2005. Joint 4th EUSFLAT & 11th LFA Conference 7-9 September, 2005 - Barcelona, Spain (Sobrevilla, Pilar ; Montseny, Eduard eds.), pp. 757 - 763. [BibTeX]

Noguera, Carles; Esteva, Francesc; Gispert, Joan (2005). On some varieties of MTL-Algebras. Logic Journal of the IGPL. May 2005., Vol
vol. 13, N. 4, pp. 443 - 466. [BibTeX]

Noguera, Carles; Esteva, Francesc; Gispert, Joan (2005). Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops. Archive for Mathematical Logic, Vol. 44, N. 7, pp. 869 - 886. [BibTeX]

Dubois, Didier; Esteva, Francesc; Godo, Lluís; Prade, Henri (2005). An information based discussion of vagueness. Handbook of Categorization in Cognitive Science. (Henri Cohen, Claire Lefebvre eds.), pp. 892-913. Elsevier. [BibTeX]

Di Nola, Antonio; Esteva, Francesc; Godo, Lluís; Montagna, Franco (2005). Varieties of BL-algebras. Soft Computing - A Fusion of Foundations, Methodologies and Applications, Vol. 9, N. 12, pp. 875 - 888. [BibTeX


Cignoli, Roberto; Esteva, Francesc; Godo, Lluís; Noguera, Carles (2005). On product fuzzy logic with truth-constants. Proceedings of the Eleventh International Fuzzy Systems Association World Congress IFSA 2005. (Yingming Liu, Guoqing Chen and Mingsheng Ying eds.)

Esteva, Francesc; Godo, Lluís; Noguera, Carles (2006). On rational weak nilpotent minimum logics. Journal of multiple valued-logic and soft computing, Vol. 12, N. 1-2, pp. 9-32. [BibTeX]

Savicky, Petr; Cignoli, Roberto; Esteva, Francesc; Godo, Lluís; Noguera, Carles (2006). On product logic with truth constants. Journal of logic and computation, Vol. 16, N. 2, pp. 205-225. [BibTeX]

Noguera, Carles; Esteva, Francesc; Gispert, Joan (2006). On n-contractive fuzzy logics: first results. Eleventh international conference IPMU 2006, Information processing and management of uncertainty in knowledge-based systems. pp. 1612-1619. [BibTeX]

Esteva, Francesc; Gispert, Joan; Godo, Lluís; Noguera, Carles (2007). Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results. Fuzzy Sets and Systems, Vol. 158, N. 6, pp. 597-618. [BibTeX]
    
Esteva, Francesc; Godo, Lluís; Noguera, Carles (2007). On expansions of t-norm based logics with truth-constants. Fuzzy Logics and Related Structures. (S. Gottwald, P. Hájek, U. Höhle, E.P. Klement eds.), Elsevier, to appear. [BibTeX]

 Cignoli, Roberto; Esteva, Francesc; Godo, Lluís (2007). On Lukasiewicz logic with truth constants. Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, ASC 42. (O. Castillo et al. eds.), pp. 869-875. Springer-Verlag. [BibTeX]

Esteva, Francesc; Godo, Lluís (2007). Towards the generalization of Mundici's Gamma functor to IMTL algebras: the linearly ordered case. Algebraic and Proof-theoretic Aspects of Non-classical Logics - Papers in honour of Daniele Mundici on the occasion of his 60th birthday. (S. Aguzzoli, A.Ciabattoni, B. Gerla, C. Manara, V. Marra eds.), LNCS 4460, Springer, to appear. [BibTeX]

Dubois, Didier; Esteva, Francesc; Godo, Lluís; Prade, Henri (2007). Fuzzy-set Based Logics --- An History-oriented Presentation of their Main Developments. Handbook of the History of Logic, Volume 8: The Many Valued and Non-monotonic Turn in Logic. (D. M. Gabbay and J. Woods eds.), pp. 325--449. Elsevier. [BibTeX]

Bou, Fèlix; Esteva, Francesc; Godo, Lluís (2007). Modal systems based on many-valued logics. Proc. EUSFLAT 2007. To appear. [BibTeX]





IIIA

Francesc Esteva

IIIA - Institut d'Investigació en Intel.ligència Artificial
CSIC - Spanish Scientific Research Council
Campus Universitat Autonoma de Barcelona
08193 Bellaterra, Catalonia, Spain
voice: +34-3-580 95 70
fax: +34-3-580 96 61
Email: esteva@iiia.csic.es
URL: http://www.iiia.csic.es/~mantaras



december, 1997