LOGFACLOGFAC

LOGFACLOGFAC

 : 

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

A Project coordinated by IIIA.

Principal investigator:

Francesc EstevaFrancesc Esteva

Team members:

Collaborating organisations:

Funding entity:

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

Funding call:

Project #:

LOGFACLOGFAC

Funding amount:

0,00€0,00€

Duration:

2001-12-282001-12-28

 -

2004-12-272004-12-27
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. [BibTeX]
2004
C. Chesñevar,  G. Simari,  Teresa Alsinet,  & Lluís Godo (2004). A logic programming framework for possibilistic argumentation with vague knowledge. In Max Chickering, Joseph Halpern (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. Recent advances in artificial intelligence research and development. [BibTeX]  [PDF]
Ana Casali,  Lluís Godo,  & Carles Sierra (2004). Graded BDI models for agent architectures. In João Leite, Paolo Torroni (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. In Universidad de Jaén, EUSFLAT (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 . [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. In Universidad de Jaén, EUSFLAT (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 . [BibTeX]
2003
Lluís Godo,  Petr Hájek,  & Francesc Esteva (2003). A fuzzy Modal Logic for Belief Functions. Fundamenta Informaticae. [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. [BibTeX]  [PDF]
Isabela Drummond,  Lluís Godo,  & Sandra Sandri (2003). Learning fuzzy systems whit similarity relations. In Okyay Kaynak... [et. 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 . [BibTeX]
Francesc Esteva,  Angel García-Cerdaña,  & Carles Noguera (2003). On definability of maximun in left-continuous t.norms. Third Proceeding of EUSFLAT Zittau 2003. . [BibTeX]
Francesc Esteva,  Lluís Godo,  & Angel García-Cerdaña (2003). On the Hierarchy of t-norm Based Residuated Fuzzy Logics. Beyond Two: Theory and Applications of Multiple-Valued Logic. [BibTeX]  [PDF]
Dionis Boixader,  & Lluís Godo (2003). Posibility Relations: the hindden face of fuzzy preoders. In Michael Wagenknecht and 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. [BibTeX]  [PDF]
Isabela Drummond,  Lluís Godo,  & Sandra Sandri (2002). Restoring Consistency in Systems of Fuzzy Gradual Rules Using Similarity Relations. In G. Bittencourt and 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. [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. [BibTeX]  [PDF]
Agata Ciabattoni,  Francesc Esteva,  & Lluís Godo (2002). T-norm Based Logics With n-Contraction. Neural Network World. [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. [BibTeX]  [PDF]
2001
Lluís Godo,  Petr Hájek,  & Francesc Esteva (2001). A fuzzy modal logic for belief functions. In Nebel, Bernhard (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. [BibTeX]  [PDF]