Departamento de Razonamiento y Lógica
Email: 
fbou@iiia.csic.es
Extension: 
209
Position: 
Ex-IIIA
Seniority / membership period: 
De 15 Febrero 2014 hasta 30 Septiembre 2016
33 Publications
2016
2015
Fèlix Bou, Marco Schorlemmer, Joe Corneli, Danny de Jesús Gómez-Ramírez, Ewen Maclean, Alan Smaill, Alison Pease; The Role of Blending in Mathematical Invention. Sixth International Conference on Computational Creativity (ICCC 2015); 2015.
2014
2013
2012
2011
Fèlix Bou, Marco Cerami, Francesc Esteva; Finite-valued Lukasiewicz modal logic is PSPACE-complete. Twenty-second International Joint Conference on Artificial Intelligence (IJCAI 2011); 2011.
2010
Marco Cerami, Francesc Esteva, Fèlix Bou; Decidability of a Description Logic over infinite-valued Product Logic. 12th Conference on Principles of Knowledge Representation and Reasoning, KR 2010; 2010.
F. Bou, F. Paoli, A. Ledda, M. Spinks, R. Giuntini; The logic of quasi-MV algebras. Journal of Logic and Computation; 2010.
2009
2008
2007
Fèlix Bou, Francesc Esteva, Lluís Godo; Modal systems based on many-valued logics. New dimensions in fuzzy logic and related technologies. Proceedings EUSFLAT 2007; 2007.
2006
2005
Fèlix Bou; Complexity of Strict Implication. Advances in modal logic Vol. 5; 2005.
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.
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.
 
-
01 Octubre 2013 - 30 Septiembre 2016
Plan Nacional
01 Enero 2011 - 31 Diciembre 2013