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.

Web page:

Principal investigator: 

Collaborating organisations:

Funding entity:

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

Funding call:

Funding call URL:

Project #:

LOGFAC
LOGFAC

Funding amount:

0,00€
0,00€

Duration:

2001-12-28
2001-12-28
2004-12-27
2004-12-27

Extension date:

2005
Angel García-Cerdaña,  Carles Noguera,  & Francesc Esteva (2005). On the scope of some formulas defining additive connectives in fuzzy logics. Fuzzy sets and systems, 154, 56-75. [BibTeX]
2004
C. Chesñevar,  G. Simari,  Teresa Alsinet,  & Lluís Godo (2004). A logic programming framework for possibilistic argumentation with vague knowledge. Joseph Halpern Max Chickering (Eds.), ACM International Conference Proceeding Series (pp. 76-84). AUAI Press. [BibTeX]  [PDF]
Lluís Godo,  Josep Puyol-Gruart,  Sandra Sandri,  & P. Barrufet (2004). Assessing adequacy and risk of drugs in treatments for imprecise clinical diagnoses. J. et al. VITRIÀ (Eds.), Recent advances in artificial intelligence research and development (pp 3-10). IOS Press. [BibTeX]  [PDF]
Ana Casali,  Lluís Godo,  & Carles Sierra (2004). Graded BDI models for agent architectures. Paolo Torroni João Leite (Eds.), Computational logic in multiagent systems. Fitth international workshop, CLIMA V. Pre-proceedings (pp. 18-33). [BibTeX]  [PDF]
Lluís Godo,  & Adriana Zapico (2004). New developments in possibilistic decision theory. EUSFLAT Jaén (Eds.), Actas del XII congreso español sobre tecnologías y lógica fuzzy (pp. 147-152). aDemanda. [BibTeX]  [PDF]
Angel García-Cerdaña,  Carles Noguera,  & Francesc Esteva (2004). On definability of additive connectives in fuzzy logics. Tenth international conference information processing and management of uncertainty in knowledge-based systems. IPMU 2004 (pp. 485-492). Università La Sapienza. [BibTeX]
Francesc Esteva,  Lluís Godo,  & Carles Noguera (2004). On rational gödel and nilpotent minimum logics. Tenth international conference IPMU 2004. Information processing and management of uncertainty in knowledge-based systems (pp. 561-568). Casa editrice Università La Sapienza. [BibTeX]  [PDF]
Francesc Esteva,  Lluís Godo,  & Carles Noguera (2004). On rational weak nilponent minimum logics. EUSFLAT Jaén (Eds.), Actas del XII congreso español sobre tecnologías y lógica fuzzy (pp. 413-418). aDemanda. [BibTeX]  [PDF]
Francesc Esteva,  Maria Rifqi,  Bernadette Bouchon-Meunier,  & Marcin Detyniecki (2004). Similarity-based fuzzy interpolation method. Tenth international conference information processing and management of uncertainty in knowledge-based systems. IPMU 2004 Proceedings (pp. 1443-1449). Universitá la Sapienza. [BibTeX]
2003
Lluís Godo,  Petr Hájek,  & Francesc Esteva (2003). A fuzzy Modal Logic for Belief Functions. Fundamenta Informaticae, 57, 127-146. [BibTeX]  [PDF]
Lluís Godo,  & Sandra Sandri (2003). 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 (pp. 49-54). IEEE. [BibTeX]  [PDF]
Francesc Esteva,  Lluís Godo,  & Franco Montagna (2003). 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, LNAI 2715, 172-179. [BibTeX]  [PDF]
Isabela Drummond,  Lluís Godo,  & Sandra Sandri (2003). Learning fuzzy systems whit similarity relations. Okyay Kaynak... al.] (Eds.), Proceedings of the 10th IFSA World Congress (IFSA 2003) July 2003, Istambul (pp. 516-523). Figür Grafik & Matbaacilik Sanayi Ticaret Ltd. Sti.. [BibTeX]  [PDF]
Francesc Esteva (2003). Mathematical Fuzzy Logic II. Abstracts 12th International Congress of Logic, Methodology and Philosophy of Science (pp. 536). [BibTeX]
Francesc Esteva,  Angel García-Cerdaña,  & Carles Noguera (2003). On definability of maximun in left-continuous t.norms. M. Wagenknecht, & R. Hampel (Eds.), Third Proceeding of EUSFLAT Zittau 2003. (pp. 609-613). EUSFLAT. [BibTeX]
Francesc Esteva,  Lluís Godo,  & Angel García-Cerdaña (2003). On the Hierarchy of t-norm Based Residuated Fuzzy Logics. E. Fitting (Eds.), Beyond Two: Theory and Applications of Multiple-Valued Logic (pp 251-272). Physica-Verlag. [BibTeX]  [PDF]
Dionis Boixader,  & Lluís Godo (2003). Posibility Relations: the hindden face of fuzzy preoders. Michael Wagenknecht, & Rainer Hampel (Eds.), Proceedings of Third Conference of the Europeean Society for Fuzzy Logic and Technologies (EUSFLAT 2003) September-2003 (pp. 433-436). European Society for Fuzzy Logic and Technology (EUSFLAT). [BibTeX]  [PDF]
2002
Lluís Godo,  & Sandra Sandri (2002). Dealing with covering problems in fuzzy rule systems by similarity-based extrapolation. Proceedings of 11th. IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2002) (pp. 723-728). IEEE. [BibTeX]  [PDF]
Francesc Esteva,  Pere García,  & Lluís Godo (2002). Fuzzy Similarity-based Models in Case-based Reasoning. The 2002 IEEE World Congress on Computation Intelligence (pp. 1348-1353). [BibTeX]  [PDF]
Francesc Esteva,  Joan Gispert,  Lluís Godo,  & Franco Montagna (2002). On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm Logic. Studia Logica, 71, 199-226. [BibTeX]  [PDF]
Isabela Drummond,  Lluís Godo,  & Sandra Sandri (2002). Restoring Consistency in Systems of Fuzzy Gradual Rules Using Similarity Relations. G. Bittencourt, & G.L. Ramalho (Eds.), Brazilian Symposium on Artificial Intelligence SBIA 2002 (pp. 386-396). Springer-Verlag. [BibTeX]  [PDF]
Antonio Di Nola,  Francesc Esteva,  Pere García,  Lluís Godo,  & Salvatore Sessa (2002). Subvarieties of BL-algebras generated by single-components chains. Archive for Mathematical Logic, 41, 673-685. [BibTeX]  [PDF]
Antonio Di Nola,  Salvatore Sessa,  Francesc Esteva,  Lluís Godo,  & Pere García (2002). The variety generated by perfect BL-algebras: an algebraic approach in a fuzzy setting. Annals of Mathematics and Artificial Intelligence, 35, 197-214. [BibTeX]  [PDF]
Agata Ciabattoni,  Francesc Esteva,  & Lluís Godo (2002). T-norm Based Logics With n-Contraction. Neural Network World, 12, 441-452. [BibTeX]  [PDF]
Teresa Alsinet,  Lluís Godo,  & Sandra Sandri (2002). Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description. Electronic Notes in Theoretical Computer Science, 66, 1-21. [BibTeX]  [PDF]
2001
Lluís Godo,  Petr Hájek,  & Francesc Esteva (2001). A fuzzy modal logic for belief functions. Bernhard Nebel (Eds.), IJCAI-01 (pp. 723-729). IJCAII. [BibTeX]  [PDF]
Didier Dubois,  Francesc Esteva,  Lluís Godo,  & Henri Prade (2001). An information-based discussion of vagueness. Proceedings of 10th IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2001) (pp. 778-781). [BibTeX]  [PDF]
Peter Vojtás,  Teresa Alsinet,  & Lluís Godo (2001). 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 (pp. 1541-1546). IEEE. [BibTeX]  [PDF]
Lluís Godo,  & Francesc Esteva (2001). On complete residuated many-valued logics with t-norm conjunction. ISMVL 2001 (pp. 81-86). IEEE Computer Society. [BibTeX]  [PDF]
Bernard De Baets,  Francesc Esteva,  János Fodor,  & Lluís Godo (2001). Systems of ordinal fuzzy logic with application to preference modelling. Fuzzy Sets and Systems, 124, 353-359. [BibTeX]  [PDF]
Francesc Esteva
Adjunct Professor Ad Honorem
Phone Ext. 219