Gabriel Aguilera

Publication Activity (10 Years)

Years Active: 1994-2013
Publications (10 Years): 0

Top Topics

Imprecise Probabilities

Belief Functions

Top Venues

Fuzzy Sets Syst.

Int. J. Comput. Math.

Publications

Inmaculada Fortes, Maria A. Galán, Gabriel Aguilera, Alfredo Burrieza, J. Morones, Sixto Sánchez
A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques. Fuzzy Sets Syst. 218 (2013)
Angel Mora, Pablo Cordero, Manuel Enciso, Inmaculada Fortes, Gabriel Aguilera
Closure via functional dependence simplification. Int. J. Comput. Math. 89 (4) (2012)
Andrea J. Goldsmith, Juan P. Peña-Martin, Gabriel Aguilera, Juan M. Romero-Jerez
Performance comparison of MRC and IC under transmit diversity. IEEE Trans. Wirel. Commun. 8 (5) (2009)
Juan M. Romero-Jerez, Juan P. Peña-Martin, Gabriel Aguilera, Andrea J. Goldsmith
Performance of MIMO MRC Systems with Co-Channel Interference. ICC (2006)
Gabriel Aguilera, Alfredo Burrieza, Pablo Cordero, Inmaculada Perez de Guzmán, Emilio Muñoz-Velasco
MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies. IBERAMIA-SBIA (2006)
Angel Mora, Gabriel Aguilera, Manuel Enciso, Pablo Cordero, Inmaculada Perez de Guzmán
A new closure algorithm based in logic: SLFD-Closure versus classical closures. Inteligencia Artif. 10 (31) (2006)
Gabriel Aguilera, Pablo Cordero, Manuel Enciso, Angel Mora, Inmaculada Perez de Guzmán
A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic. SBIA (2004)
Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
Reductions for non-clausal theorem proving. Theor. Comput. Sci. 266 (1-2) (2001)
Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
Reducing signed propositional formulas. Soft Comput. 2 (4) (1998)
Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego
Increasing the efficiency of automated theorem proving. J. Appl. Non Class. Logics 5 (1) (1995)
Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego
: Syntactic Trees Transformations for Automated Theorem Proving. JELIA (1994)
Gabriel Aguilera, José Luis Galán, Inman P. de Guzmán, Manuel Ojeda-Aciego
TAS-D++ vs tablas semanticas. GULP-PRODE (2) (1994)