LOGFAC LOGFAC

LOGFAC LOGFAC

 : 

Classic and Multivalued Logic: foundations and computational applications Classic and Multivalued Logic: foundations and computational applications

A Project coordinated by IIIA.

Principal investigator:

Francesc Esteva Francesc Esteva

Team members:

Collaborating organisations:

Funding entity:

TIC2001-1577-C03-01 TIC2001-1577-C03-01

Funding call:

Project #:

LOGFAC LOGFAC

Funding amount:

0,00€ 0,00€

Duration:

2001-12-28 2001-12-28

 -

2004-12-27 2004-12-27
2005
Angel García-CerdañaCarles NogueraFrancesc Esteva; On the scope of some formulas defining additive connectives in fuzzy logics. Fuzzy sets and systems; 2005.  [BibTeX]
2004
C. ChesñevarG. SimariTeresa AlsinetLluís Godo; A logic programming framework for possibilistic argumentation with vague knowledge. ACM International Conference Proceeding Series; 2004.  [PDF]  [BibTeX]
Lluís GodoJosep Puyol-GruartSandra SandriP. Barrufet; Assessing adequacy and risk of drugs in treatments for imprecise clinical diagnoses. 2004.  [PDF]  [BibTeX]
Ana CasaliLluís GodoCarles Sierra; Graded BDI models for agent architectures. Computational logic in multiagent systems. Fitth international workshop, CLIMA V. Pre-proceedings; 2004.  [PDF]  [BibTeX]
Lluís GodoAdriana Zapico; New developments in possibilistic decision theory. Actas del XII congreso español sobre tecnologías y lógica fuzzy; 2004.  [PDF]  [BibTeX]
Angel García-CerdañaCarles NogueraFrancesc Esteva; On definability of additive connectives in fuzzy logics. 2004.  [BibTeX]
Francesc EstevaLluís GodoCarles Noguera; On rational gödel and nilpotent minimum logics. Tenth international conference IPMU 2004. Information processing and management of uncertainty in knowledge-based systems; 2004.  [PDF]  [BibTeX]
Francesc EstevaLluís GodoCarles Noguera; On rational weak nilponent minimum logics. Actas del XII congreso español sobre tecnologías y lógica fuzzy; 2004.  [PDF]  [BibTeX]
Francesc EstevaMaria RifqiBernadette Bouchon-MeunierMarcin Detyniecki; Similarity-based fuzzy interpolation method. 2004.  [BibTeX]
2003
Lluís GodoPetr HájekFrancesc Esteva; A fuzzy Modal Logic for Belief Functions. Fundamenta Informaticae; 2003.  [PDF]  [BibTeX]
Lluís GodoSandra Sandri; A note on the duality between continuous t-norm and t-conorm operators. Proceedings of 12th IEEE International Conference on Fuzzy Systems(FUZZ-IEEE 2003) May, 2003. St. louis; 2003.  [PDF]  [BibTeX]
Francesc EstevaLluís GodoFranco Montagna; Axiomatization of Any Residuated Fuzzy Logic Defined by a Continuous T-norm. Fuzzy Sets and Sistems IFSA 2003. 10th International Fuzzy Systems Association World Congress; 2003.  [PDF]  [BibTeX]
Isabela DrummondLluís GodoSandra Sandri; Learning fuzzy systems whit similarity relations. Proceedings of the 10th IFSA World Congress (IFSA 2003) July 2003, Istambul; 2003.  [PDF]  [BibTeX]
Francesc Esteva; Mathematical Fuzzy Logic II. 2003.  [BibTeX]
Francesc EstevaAngel García-CerdañaCarles Noguera; On definability of maximun in left-continuous t.norms. 2003.  [BibTeX]
Francesc EstevaLluís GodoAngel García-Cerdaña; On the Hierarchy of t-norm Based Residuated Fuzzy Logics. 2003.  [PDF]  [BibTeX]
Dionis BoixaderLluís Godo; Posibility Relations: the hindden face of fuzzy preoders. Proceedings of Third Conference of the Europeean Society for Fuzzy Logic and Technologies (EUSFLAT 2003) September-2003; 2003.  [PDF]  [BibTeX]
2002
Lluís GodoSandra Sandri; Dealing with covering problems in fuzzy rule systems by similarity-based extrapolation. Proceedings of 11th. IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2002); 2002.  [PDF]  [BibTeX]
Francesc EstevaPere GarcíaLluís Godo; Fuzzy Similarity-based Models in Case-based Reasoning. The 2002 IEEE World Congress on Computation Intelligence; 2002.  [PDF]  [BibTeX]
Francesc EstevaJoan GispertLluís GodoFranco Montagna; On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm Logic. Studia Logica; 2002.  [PDF]  [BibTeX]
Isabela DrummondLluís GodoSandra Sandri; Restoring Consistency in Systems of Fuzzy Gradual Rules Using Similarity Relations. Lecture Notes in Artificial Intelligence; 2002.  [PDF]  [BibTeX]
Antonio Di NolaFrancesc EstevaPere GarcíaLluís GodoSalvatore Sessa; Subvarieties of BL-algebras generated by single-components chains. Archive for Mathematical Logic; 2002.  [PDF]  [BibTeX]
Antonio Di NolaSalvatore SessaFrancesc EstevaLluís GodoPere García; The variety generated by perfect BL-algebras: an algebraic approach in a fuzzy setting. Annals of Mathematics and Artificial Intelligence; 2002.  [PDF]  [BibTeX]
Agata CiabattoniFrancesc EstevaLluís Godo; T-norm Based Logics With n-Contraction. Neural Network World; 2002.  [PDF]  [BibTeX]
Teresa AlsinetLluís GodoSandra Sandri; Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description. Electronic Notes in Theoretical Computer Science; 2002.  [PDF]  [BibTeX]
2001
Lluís GodoPetr HájekFrancesc Esteva; A fuzzy modal logic for belief functions. IJCAI-01; 2001.  [PDF]  [BibTeX]
Didier DuboisFrancesc EstevaLluís GodoHenri Prade; An information-based discussion of vagueness. Proceedings of 10th IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2001); 2001.  [PDF]  [BibTeX]
Peter VojtásTeresa AlsinetLluís Godo; Different models of fuzzy logic programming with fuzzy unification (towards a revision of fuzzy databases). Joint 9th IFSA World Congress and 20th NAFIPS International Conference; 2001.  [PDF]  [BibTeX]
Lluís GodoFrancesc Esteva; On complete residuated many-valued logics with t-norm conjunction. ISMVL 2001; 2001.  [PDF]  [BibTeX]
Bernard De BaetsFrancesc EstevaJános FodorLluís Godo; Systems of ordinal fuzzy logic with application to preference modelling. Fuzzy Sets and Systems; 2001.  [PDF]  [BibTeX]