LOGFAC
: Classic and Multivalued Logic: foundations and computational applications
A Project coordinated by IIIA.
Principal investigator:
Collaborating organisations:
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
Adjunct Professor Ad Honorem
Carles Noguera
Contract Researcher
Contract Researcher