Angel García-Cerdaña

Departamento de Razonamiento y Lógica

Email:

angel@iiia.csic.es

Extension:

238

Position:

Adjunct scientists

Publications
Projects

31 Publications

In Press

Fernando Bobillo, Marco Cerami, Francesc Esteva, Angel García-Cerdaña, Rafael Peñaloza, Umberto Straccia; Fuzzy Description Logic. Handbook of Mathematical Fuzzy Logic - volume 3; In Press.

Download PDF

2018

Pilar Dellunde, Angel García-Cerdaña, Carles Noguera; Back-and-forth systems for fuzzy first-order models. Fuzzy Sets and Systems; 2018.

Download PDF

2016

Eva Armengol, Pilar Dellunde, Angel García-Cerdaña; On similarity in fuzzy description logics. Fuzzy Sets and Systems; 2016.

Download PDF

Francesc Esteva, Angel García-Cerdaña, Lluís Godo; Smooth finite t-norms and their equational axiomatization. Fuzzy Logic and Information Fusion; 2016.

Download PDF

2015

Eva Armengol, Pilar Dellunde, Angel García-Cerdaña; A Logical Study of Local and Global Graded Similarities. Applied Artificial Intelligence; 2015.

Download PDF

F. Bobillo, M. Cerami, Francesc Esteva, Angel García-Cerdaña, R.Peñaloza, U.Straccia; Fuzzy Description Logics. Studies in Logic; 2015.

Download PDF

2014

Pilar Dellunde, Angel García-Cerdaña, Carles Noguera; Advances on elementary equivalence in model theory of fuzzy logics. ; 2014.

Download PDF

Eva Armengol, Pilar Dellunde, Angel García-Cerdaña; Local and Global Similarities in Fuzzy Class Theory.. CCIA'14; 2014.

Download PDF

Pilar Dellunde, Angel García-Cerdaña, Carles Noguera; Lowenheim-Skolem theorems for first-order algebraizable logics. The Second Israeli Workshop on Non-Classical Logics and their Applications (ISRALOG'14); 2014.

Download PDF

Marco Cerami, Angel García-Cerdaña, Francesc Esteva; On finitely-valued Fuzzy Description Logics. International Journal of Appoximate Reasoning (http://dx.doi.org/10.1016/j.ijar.2013.09.021); 2014.

Download PDF

2012

Marco Cerami, Francesc Esteva, Angel García-Cerdaña; On Finitely Valued Fuzzy Description Logics: The Lukasiewicz Case. IPMU 2012; 2012.

Download PDF

Eva Armengol, Angel García-Cerdaña; Refining Discretizations of Continuous-Valued Attributes. The 9th International Conference on Modeling Decisions for Artificial Intelligence; 2012.

Download PDF

Eva Armengol, Pilar Dellunde, Angel García-Cerdaña; Towards a Fuzzy Extension of the López de Mántaras Distance. IPMU 2012; 2012.

Download PDF

2010

Angel García-Cerdaña, Marco Cerami, Francesc Esteva; From Classical Description Logic to n-graded Fuzzy Description logics. FUZZ-IEEE2010; 2010.

Download PDF

Angel García-Cerdaña, Eva Armengol, Francesc Esteva; Fuzzy Description Logics and t-norm based Fuzzy Logics. International Journal of Approximate reasoning; 2010.

Download PDF

Eva Armengol, Angel García-Cerdaña; Lazy induction of descriptions using two fuzzy versions of the Rand index. IPMU 2010; 2010.

Download PDF

Eva Armengol, Pilar Dellunde, Angel García-Cerdaña; On Similarities in Fuzzy Description Logics. Logic, Algebra and Truth Degrees 2010; 2010.

Download PDF

Angel García-Cerdaña, Eva Armengol, Pilar Dellunde; Similarity for attribute-value representations in Fuzzy Description Logics. Artificial Intelligence Research and Development, CCIA'10; 2010.

Download PDF

2009

Angel García-Cerdaña, Eva Armengol, Francesc Esteva; On Triangular Norm based Fuzzy Description Logics. IFSA-EUSFLAT; 2009.

Download PDF

2008

Angel García-Cerdaña, Francesc Esteva; On Fuzzy Description Logics. CCIA 2008; 2008.

Download PDF

Angel García-Cerdaña; On Some Implication-free Fragments of Substructural and Fuzzy Logics. Monografies de l'Institut d'Investigació en Intel·ligència Artificial; 2008.

Download PDF

2007

R. Adillon, Angel García-Cerdaña, V. Verdú; On three implication-less fragments of t-norm based fuzzy logics. Fuzzy Sets and Systems; 2007.

Download PDF

2006

Romà Adillon, Angel García-Cerdaña, Ventura Verdú; On some classical fragments of t-norm based fuzzy logics. Information Processing and Management of Uncertainty in Knowledge-Based Systems IPMU 2006; 2006.

Download PDF

Fèlix Bou, Angel García-Cerdaña, Ventura Verdú; On two fragments with negation and without implication of the logic of residuated lattices. Archive for Mathematical Logic; 2006.

Download PDF

2005

Angel García-Cerdaña, Carles Noguera, Francesc Esteva; On the scope of some formulas defining additive connectives in fuzzy logics. Fuzzy sets and systems; 2005.

Download PDF

2004

Fèlix Bou, Angel García-Cerdaña, Ventura Verdú; Analysis of two fragments of the logic of residuated lattices. Proceedings of CombLog'04. Workshop on Combination of Logics: Theory and Applications; 2004.

Download PDF

Angel García-Cerdaña, Carles Noguera, Francesc Esteva; On definability of additive connectives in fuzzy logics. Tenth international conference information processing and management of uncertainty in knowledge-based systems. IPMU 2004; 2004.

Download PDF

Fèlix Bou, Angel García-Cerdaña, Ventura Verdú; On some Substructural Aspects of t-Norm Based Logics. Proceedings of the Tenth International Conference IPMU 2004. Information Processing and Management of Uncertainty in Knowledge-Base Systems; 2004.

Download PDF

2003

Siegfried Gottwald, Angel García-Cerdaña, Fèlix Bou; Axiomatizing monoidal logic. A correction to: "A treatise on many-valued logics''. Journal of Multiple-Valued Logic and Soft Computing; 2003.

Download PDF

Francesc Esteva, Angel García-Cerdaña, Carles Noguera; On definability of maximun in left-continuous t.norms. Third Proceeding of EUSFLAT Zittau 2003.; 2003.

Download PDF