Concepedia

Félix Bou

FB

13

Publications

516

Citations

11

H-Index

2007

Active since

Affiliations

Artificial Intelligence Research Institute(Current)

Consejo Superior de Investigaciones Científicas

Universitat de Barcelona

University of Cagliari

University of Genoa

Félix Bou is an author at Artificial Intelligence Research Institute specializing in engineering, automated reasoning, and formal methods.

Top concepts

Publications per year

2007–2015

13

Publications

13

On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice

Félix Bou, Francesc Esteva, Lluı́s Godo et al. · Journal of Logic and Computation · 2009 · 146 citations · Full text

Logics Preserving Degrees of Truth from Varieties of Residuated Lattices

Félix Bou, Francesc Esteva, Josep M. Font-Llagunes et al. · Journal of Logic and Computation · 2009 · 78 citations

, , +16

On the failure of the finite model property in some Fuzzy Description Logics

Fernando Bobillo, Félix Bou, Umberto Straccia · Fuzzy Sets and Systems · 2011 · 47 citations · Full text

, , +10

The logic of distributive bilattices

Félix Bou, Umberto Rivieccio · Logic Journal of IGPL · 2010 · 37 citations · Full text

Proceedings of the sixth international conference of computational creativity

Félix Bou, Marco Schorlemmer, Joseph Corneli et al. · 2015 · 37 citations

, , +1

Rows per page

1–5 of 13