EdeTRI
EdeTRI

EdeTRI
EdeTRI
 : 
Study and development of technologies for the efficient resolution of reasoning problems with incomplete information
Study and development of technologies for the efficient resolution of reasoning problems with incomplete information

A Project coordinated by IIIA.

Web page:

Principal investigator: 

Collaborating organisations:

Funding entity:

MINECO, TIN2012-39348-C02-01
MINECO, TIN2012-39348-C02-01

Funding call:

Funding call URL:

Project #:

EdeTRI
EdeTRI

Total funding amount:

0,00€
0,00€

IIIA funding amount:

Duration:

01/Feb/2013
01/Feb/2013
31/Jan/2016
31/Jan/2016

Extension date:

2015
Lynn D'err,  Nele Verbiest,  Chris Cornelis,  & Lluís Godo (2015). A comprehensive study of implicator-conjunctor-based and noise-tolerant fuzzy rough sets: Definitions, properties and robustness analysis. Fuzzy Sets and Systems, 275, 1-38. https://doi.org/http://www.sciencedirect.com/science/article/pii/S0165011414005363. [BibTeX]  [PDF]
Tommaso Flaminio,  Lluís Godo,  & Hykel Hosni (2015). Coherence in the aggregate: a betting method for belief functions on many-valued events. International Journal of Approximate Reasoning, 58, 71-86. https://doi.org/http://www.sciencedirect.com/science/article/pii/S0888613X1500002X. [BibTeX]  [PDF]
F. Bobillo,  M. Cerami,  Francesc Esteva,  Angel García-Cerdaña,  R.Peñaloza,  & U.Straccia (2015). Fuzzy Description Logics . Springer. [BibTeX]
Eva Armengol,  & Vicenç Torra (2015). Generalization-Based k-Anonymization. V. Torra, & Y. Narukawa (Eds.), MDAI 2015 (pp. 207-218). Spriger-Verlag. [BibTeX]  [PDF]
Amanda Vidal,  Lluís Godo,  Francesc Esteva,  & Fèlix Bou (2015). ON MODAL EXPANSIONS OF LEFT-CONTINUOUS T-NORM LOGICS. ManyVal 2015 . [BibTeX]
Amanda Vidal,  Lluís Godo,  & Francesc Esteva (2015). On strongly standard complete fuzzy logics: MTL^Q_*and its expansions. Proc. of the Joint Conference IFSA-EUSFLAT 2015 (pp. 828-835). Atlantis Press. https://doi.org/http://dx.doi.org/10.2991/ifsa-eusflat-15.2015.117. [BibTeX]  [PDF]
Tommaso Flaminio,  Lluís Godo,  & Hykel Hosni (2015). On the algebraic structure of conditional events. ECSQARU 2015 (pp. 106-116). Springer. [BibTeX]  [PDF]
Rodolfo Ertola,  Francesc Esteva,  Tommaso Flaminio,  Lluís Godo,  & Carles Noguera (2015). Paraconsistency properties in degree-preserving fuzzy logics. Soft Computing - A Fusion of Foundations, Methodologies and Applications, 19, 531-546. https://doi.org/http://link.springer.com/article/10.1007/s00500-014-1489-0. [BibTeX]  [PDF]
M. E. Cornejo,  Francesc Esteva,  Jesús Medina,  & E. Ramírez-Poussa (2015). Relating adjoint negations with strong adjoint negations (pp. 66-71). Universidad de Cádiz. [BibTeX]  [PDF]
2014
Amanda Vidal,  Francesc Esteva,  & Lluís Godo (2014). About standard completeness of Product logic. XVII Congreso Español sobre Tecnologías y Lógica Fuzzy (ESTYLF 2014) (pp. 423-428). [BibTeX]  [PDF]
Pilar Dellunde,  Angel García-Cerdaña,  & Carles Noguera (2014). Advances on elementary equivalence in model theory of fuzzy logics (pp. 163-167). [BibTeX]
Amanda Vidal,  Francesc Esteva,  & Lluís Godo (2014). Axiomatising a fuzzy modal logic over the standard product algebra. Logic, Algebra and Truth Degrees 2014 (LATD 2014) (pp. 275-279). https://doi.org/http://www.logic.at/latd2014/abstract_booklet_final.pdf. [BibTeX]  [PDF]
Tommaso Flaminio,  Lluís Godo,  & Tomas Kroupa (2014). Belief Functions on MV-algebras of Fuzzy Sets: An Overview. Y. Narukawa V. Torra, & M. Sugeno (Eds.), Non-Additive Measures (pp 173-200). Springer. https://doi.org/http://link.springer.com/chapter/10.1007/978-3-319-03155-2_7. [BibTeX]  [PDF]
Lluís Godo,  & Enrico Marchioni (2014). Games for the Strategic Influence of Expectations. 2nd International Workshop on Strategic Reasoning (SR 2014) (pp. 9-15). https://doi.org/http://dx.doi.org/10.4204/EPTCS.146.2. [BibTeX]  [PDF]
Eva Armengol,  Pilar Dellunde,  & Angel García-Cerdaña (2014). Local and Global Similarities in Fuzzy Class Theory.. CCIA'14 (pp. 205-217). [BibTeX]
Marcelo Coniglio,  Francesc Esteva,  & Lluís Godo (2014). Logics of formal inconsistency arising from systems of fuzzy logic. Logic Journal of the IGPL, 22, 880-904. https://doi.org/http://jigpal.oxfordjournals.org/content/22/6/880.abstract. [BibTeX]  [PDF]
Lynn D´err,  Nele Verbiest,  Chris Cornelis,  & Lluís Godo (2014). Modelos de Conjuntos Rugosos Difusos Tolerantes al Ruido: Definiciones y Propiedades. XVII Congreso Español sobre Tecnologías y Lógica Fuzzy (ESTYLF 2014) (pp. 27-32). [BibTeX]  [PDF]
Francesc Esteva,  Itziar García-Honrado,  & Lluís Godo (2014). On conjectures in t-norm based fuzzy logics. XVII Congreso Español sobre Tecnologías y Lógica Fuzzy (ESTYLF 2014) (pp. 435-440). [BibTeX]  [PDF]
Marco Cerami,  Angel García-Cerdaña,  & Francesc Esteva (2014). On finitely-valued Fuzzy Description Logics. International Journal of Appoximate Reasoning (http://dx.doi.org/10.1016/j.ijar.2013.09.021), 55, 1890-1916. [BibTeX]
Mohua Banerjee,  Didier Dubois,  & Lluís Godo (2014). Possibilistic vs. Relational Semantics for Logics of Incomplete Information. IPMU 2014, Part I (pp. 335 - 344). Springer. https://doi.org/http://link.springer.com/chapter/10.1007%2F978-3-319-08795-5_35. [BibTeX]  [PDF]
Amanda Vidal (2014). Progress report on a modal extension of the solver NiBLos . [BibTeX]
2013
Pere Pardo,  & Lluís Godo (2013). An argumentation-based multi-agent temporal planning system built on t-DeLP. 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013 (pp. 188-198). Springer. https://doi.org/http://link.springer.com/chapter/10.1007/978-3-642-40643-0_20. [BibTeX]  [PDF]
Pere Pardo,  & Lluís Godo (2013). A temporal argumentation approach to cooperative planning using dialogues. J. Leite, T. C. Son, P. Torroni, L. Torre, & S. Woltran (Eds.), 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV (pp. 307-324). Springer. https://doi.org/http://link.springer.com/chapter/10.1007%2F978-3-642-40624-9_19. [BibTeX]  [PDF]
Lynn DÂŽerr,  Nele Verbiest,  Chris Cornelis,  & Lluís Godo (2013). Implicator-Conjunctor Based Models of Fuzzy Rough Sets: Definitions and Properties. 14th International Conference, RSFDGrC 2013 (pp. 169-179). Springer Berlin Heidelberg. https://doi.org/http://link.springer.com/chapter/10.1007/978-3-642-41218-9_18. [BibTeX]  [PDF]
Marcelo Coniglio (2013). Logics of formal inconsistency arising from systems of fuzzy logic. [BibTeX]  [PDF]
Marcelo Coniglio,  Francesc Esteva,  & Lluís Godo (2013). On logics of formal inconsistency and fuzzy logics. ManyVal 2013, Abstracts Volume (pp. 20-22). https://doi.org/http://www.cs.cas.cz/manyval13/index.php?id=main.htm. [BibTeX]  [PDF]
Teresa Alsinet,  Ramon Bejar,  Lluís Godo,  & Francesc Guitart (2013). On the Implementation of a Multiple Output Algorithm for Defeasible Argumentation. 7th International Conference on Scalable Uncertainty Management, SUM 2013 (pp. 71-77). Springer. https://doi.org/http://link.springer.com/chapter/10.1007%2F978-3-642-40381-1_6. [BibTeX]  [PDF]
Marjon Blondeel,  Tommaso Flaminio,  Lluís Godo,  & Martine Cock (2013). Relating fuzzy autoepistemic logic to fuzzy modal logics of belief. IJCAI-13 Workshop on Weighted Logics for Artificial Intelligence (WL4AI-2013) (pp. 18-25). [BibTeX]  [PDF]
Teresa Alsinet,  Ramon Bejar,  Lluís Godo,  & Francesc Guitart (2013). Web Based System for Weighted Defeasible Argumentation. J. Leite, T. C. Son, P. Torroni, L. Torre, & S. Woltran (Eds.), 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV (pp. 155-171). Springer. https://doi.org/http://link.springer.com/chapter/10.1007%2F978-3-642-40624-9_10. [BibTeX]  [PDF]
Eva Armengol
Tenured Scientist
Phone Ext. 431851

Francesc Esteva
Adjunct Professor Ad Honorem
Phone Ext. 431827

Tommaso Flaminio
Tenured Scientist
Phone Ext. 431841

Lluís Godo
Research Professor
Phone Ext. 431857

Josep Puyol-Gruart
Tenured Scientist
Phone Ext. 431842

Amanda Vidal
Contract Researcher
Phone Ext. 431844