Félix Bou

Departament de Raonament i Lògica

Email:

fbou@iiia.csic.es

Extension:

209

Web:

http://www.iiia.csic.es/~fbou

Position:

Ex-IIIA

Seniority / membership period:

15 febrer 2014 a 30 setembre 2016

Publications
Projects

36 Publications

2018

Fèlix Bou, Enric Plaza, Marco Schorlemmer; Amalgams, colimits, and conceptual blending. Concept Invention: Foundations, Implementation, Social Aspects and Applications; 2018.

Download PDF

2017

Amanda Vidal, Fèlix Bou, Francesc Esteva, Lluís Godo; On strong standard completeness in some MTL$_\Delta$ expansions. Soft Computing - A Fusion of Foundations, Methodologies and Applications; 2017.

Download PDF

2016

Francesc Esteva, Lluís Godo, Ricardo Oscar Rodriguez, Fèlix Bou; Possibilistic Semantics for a Modal KD45 Extension of Gödel Fuzzy Logic. IPMU 2016 (Part II); 2016.

Download PDF

2015

Amanda Vidal, Lluís Godo, Francesc Esteva, Fèlix Bou; ON MODAL EXPANSIONS OF LEFT-CONTINUOUS T-NORM LOGICS. ManyVal 2015; 2015.

Download PDF

Francesc Esteva, Lluís Godo, Fèlix Bou, Amanda Vidal; ON MODAL EXPANSIONS OF LEFT-CONTINUOUS T-NORM LOGICS. ManyVal 2015; 2015.

Download PDF

Fèlix Bou, Francesc Esteva, Lluís Godo; On possibilistic modal logics defined over MTL-chains. Petr Hájek on Mathematical Fuzzy Logic; 2015.

Download PDF

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.

Download PDF

2014

Fèlix Bou; Introducing an exotic MTL-chain. ; 2014.

Download PDF

2013

Amanda Vidal, Fèlix Bou; Image-finite first-order structures. ManyVal 2013, Abstracts Volume; 2013.

Download PDF

Amanda Vidal, Fèlix Bou, Lluís Godo; NiBLoS: a general SMT-based solver for logics of BL-chains. ; 2013.

Download PDF

Teresa Alsinet, David Barroso, Ramon Bejar, Fèlix Bou, Marco Cerami, Francesc Esteva; On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers. 7th International Conference on Scalable Uncertainty Management, SUM 2013; 2013.

Download PDF

2012

Amanda Vidal, Fèlix Bou, Lluís Godo; An SMT-based solver for continuous t-norm based logics. Scalable Uncertainty Management (SUM 2012); 2012.

Download PDF

Fèlix Bou, Francesc Esteva, Lluís Godo; On possibilistic modal logics over Gödel logic. Logic, Algebra and Truth Degrees 2012 (LATD 2012); 2012.

Download PDF

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.

Download PDF

F. Bobillo, Fèlix Bou, U. Straccia; On the Failure of the Finite Model Property in some Fuzzy Description Logics. Fuzzy Sets and Systems; 2011.

Download PDF

Fèlix Bou, Francesc Esteva, Lluís Godo, Ricardo Oscar Rodriguez; On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice. Journal of Logic and Computation; 2011.

Download PDF

Fèlix Bou, Carles Noguera; Solution of some open problems in the arithmetical complexity of first-order fuzzy logics. ; 2011.

Download PDF

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.

Download PDF

Marco Cerami, Francesc Esteva, Fèlix Bou; Decidability of a Description Logic over infinite-valued Product Logic(extended abstract). 3st LINZ seminar: Lattice-valued Logic and its Applications; 2010.

Download PDF

Fèlix Bou, F. Paoli, A. Ledda, M. Spinks, R. Giuntini; The logic of quasi-MV algebras. Journal of Logic and Computation; 2010.

Download PDF

2009

Fèlix Bou, Francesc Esteva, Lluís Godo, Ricardo Oscar Rodriguez; Characterizing Fuzzy Modal Semantics by fuzzy multimodal systems with crisp accessibility relations. IFSA - EUSFLAT 2009; 2009.

Download PDF

Fèlix Bou, Francesc Esteva, Josep Maria Font, Angel Gil, Lluís Godo, Antoni Torrens, Ventura Verdú; Logics preserving degrees of truth from varieties of residuated lattices. Journal of Logic and Computation (doi:10.1093/logcom/exp030); 2009.

Download PDF

2008

Fèlix Bou; A first approach to the Deduction-Detachment Theorem in logics preserving degrees of truth. Proceedings of IPMU’08; 2008.

Download PDF

Fèlix Bou, Francesc Esteva, Lluís Godo; Exploring a Syntactic Notion of Modal Many-Valued Logics. Mathware & Soft Computing; 2008.

Download PDF

Fèlix Bou, Francesco Paoli, Antonio Ledda, Hector Freytes; On some properties of quasi-MV algebras and square root quasi-MV algebras. Part II. Soft Computing; 2008.

Download PDF

Fèlix Bou, Francesc Esteva, Josep Maria Font, Angel Gil, Lluís Godo, Antoni Torrens, Ventura Verdú; T-norm based fuzzy logics preserving degrees of truth. IPMU 2008; 2008.

Download PDF

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.

Download PDF

2006

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

Fèlix Bou; Complexity of Strict Implication. Advances in modal logic Vol. 5; 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