Gabriel Aguilera

	2012
10		A. Mora, Pablo Cordero, Manuel Enciso, I. Fortes, Gabriel Aguilera: Closure via functional dependence simplification. Int. J. Comput. Math. 89(4): 510-526 (2012)
	2010
9		Gabriel Aguilera, José Luis Galán, Rafael Madrid, Antonio Manuel Martínez, Yolanda Padilla, Pedro Rodríguez: Automated generation of contrapuntal musical compositions using probabilistic logic in Derive. Mathematics and Computers in Simulation 80(6): 1200-1211 (2010)
	2006
8		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: 602-611
7		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 Artificial, Revista Iberoamericana de Inteligencia Artificial 10(31): 31-40 (2006)
	2004
6		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: 31-40
	2001
5		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): 81-112 (2001)
	1998
4		Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde: Reducing signed propositional formulas. Soft Comput. 2(4): 157-166 (1998)
	1995
3		Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego: Increasing the efficiency of automated theorem proving. Journal of Applied Non-Classical Logics 5(1): (1995)
	1994
2		Gabriel Aguilera, José Luis Galán, Inman P. de Guzmán, Manuel Ojeda-Aciego: TAS-D++ vs tablas semanticas. GULP-PRODE (2) 1994: 438-439
1		Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego: TAS-D++: Syntactic Trees Transformations for Automated Theorem Proving. JELIA 1994: 198-216

Coauthor Index

1	Alfredo Burrieza	[8]
2	Pablo Cordero	[6] [7] [8] [10]
3	Manuel Enciso (Manuel Enciso García-Oliveros)	[6] [7] [10]
4	I. Fortes	[10]
5	José Luis Galán	[2] [9]
6	Inmaculada Perez de Guzmán (Inman P. de Guzmán)	[1] [2] [3] [4] [5] [6] [7] [8]
7	Rafael Madrid	[9]
8	Antonio Manuel Martínez	[9]
9	A. Mora	[10]
10	Angel Mora (Angel Mora Bonilla)	[6] [7]
11	Emilio Muñoz-Velasco	[8]
12	Manuel Ojeda-Aciego	[1] [2] [3] [4] [5]
13	Yolanda Padilla	[9]
14	Pedro Rodríguez	[9]
15	Agustín Valverde	[4] [5]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page