Angel Mora

Angel Mora Bonilla

other persons with the same name:

• Angel Mora

	2011
21		Pablo Cordero, Manuel Enciso, Angel Mora, Inmaculada Perez de Guzmán, José Manuel Rodríguez-Jiménez: Specification and inference of fuzzy attributes. FOCI 2011: 107-114
20		Manuel Enciso García-Oliveros, Angel Mora Bonilla, Pablo Cordero, Rosario Baena: A Claim to Incorporate Functional Dependencies in Development Tools - Benchmarking and Checking Functional Dependencies Algorithms. ICSOFT (1) 2011: 313-316
19		Pablo Cordero, Manuel Enciso, Angel Mora, Inmaculada Perez de Guzmán, José Manuel Rodríguez-Jiménez: An Efficient Algorithm for Reasoning about Fuzzy Functional Dependencies. IWANN (2) 2011: 412-420
18		Angel Mora, Inmaculada Perez de Guzmán, Manuel Enciso, Pablo Cordero: Ideal non-deterministic operators as a formal framework to reduce the key finding problem. Int. J. Comput. Math. 88(9): 1860-1868 (2011)
17		Angel Mora, Emilio Muñoz-Velasco, Joanna Golinska-Pilarek: Implementing a relational theorem prover for modal logic. Int. J. Comput. Math. 88(9): 1869-1884 (2011)
16		Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora: A new deduction system for deciding validity in modal logic K. Logic Journal of the IGPL 19(2): 425-434 (2011)
	2010
15		Angel Mora Bonilla, Enrique Mérida Casermeiro, Domingo López-Rodríguez: Improving Moodle with WIRIS and M-QIT. ICEIS (4) 2010: 75-80
14		Carlos Rossi, Antonio Guevara, Manuel Enciso, José Luis Caro, Angel Mora, Pablo Cordero: A Tool for User-guided Database Application Development - Automatic Design of XML Models using CBD. ICSOFT (2) 2010: 195-200
	2009
13		Pablo Cordero, Manuel Enciso, Angel Mora, Inmaculada Perez de Guzmán: A Complete Logic for Fuzzy Functional Dependencies over Domains with Similarity Relations. IWANN (1) 2009: 261-269
12		Alfredo Burrieza, Angel Mora, Manuel Ojeda-Aciego, Ewa Orlowska: An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning. Int. J. Comput. Math. 86(10&11): 1852-1866 (2009)
	2008
11		Joanna Golinska-Pilarek, Angel Mora, Emilio Muñoz-Velasco: An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. PRICAI 2008: 128-139
10		Angel Mora Bonilla, Enrique Mérida Casermeiro, Domingo López-Rodríguez, Luis Fernando López Anguita: Integration Of Moodle Quizzes. e-Learning 2008: 45-52
9		Pablo Cordero, Angel Mora, Inman P. de Guzmán, Manuel Enciso: Non-deterministic ideal operators: An adequate tool for formalization in Data Bases. Discrete Applied Mathematics 156(6): 911-923 (2008)
	2006
8		Angel Mora, Manuel Enciso: A Formal Tool that Integrates Relational Database Schemes and Preserves the Original Information. ICEIS (1) 2006: 302-305
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		Carlos Rossi, Manuel Enciso, Angel Mora: A First Order Temporal Logic for Behavior Representation. IBERAMIA 2004: 408-418
5		Angel Mora, Manuel Enciso, Pablo Cordero, Inman P. de Guzmán, J. Guerrero: A/D Case: A New Heart for FD3. ICEIS (1) 2004: 482-490
4		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
	2003
3		Angel Mora, Manuel Enciso, Pablo Cordero, Inmaculada Perez de Guzmán: An Efficient Preprocessing Transformation for Functional Dependencies Sets Based on the Substitution Paradigm. CAEPIA 2003: 136-146
	2002
2		Pablo Cordero, Manuel Enciso, Angel Mora, Inman P. de Guzmán: SLFD Logic: Elimination of Data Redundancy in Knowledge Representation. IBERAMIA 2002: 141-150
1		Manuel Enciso, Angel Mora: FD3: A Functional Dependencies Data Dictionary. ICEIS 2002: 807-810

Coauthor Index

1	Gabriel Aguilera	[4] [7]
2	Luis Fernando López Anguita	[10]
3	Rosario Baena	[20]
4	Alfredo Burrieza	[12]
5	José Luis Caro	[14]
6	Enrique Mérida Casermeiro	[10] [15]
7	Pablo Cordero	[2] [3] [4] [5] [7] [9] [13] [14] [18] [19] [20] [21]
8	Manuel Enciso (Manuel Enciso García-Oliveros)	[1] [2] [3] [4] [5] [6] [7] [8] [9] [13] [14] [18] [19] [20] [21]
9	Joanna Golinska-Pilarek	[11] [16] [17]
10	J. Guerrero	[5]
11	Antonio Guevara	[14]
12	Inmaculada Perez de Guzmán (Inman P. de Guzmán)	[2] [3] [4] [5] [7] [9] [13] [18] [19] [21]
13	Domingo López-Rodríguez	[10] [15]
14	Emilio Muñoz-Velasco	[11] [16] [17]
15	Manuel Ojeda-Aciego	[12]
16	Ewa Orlowska	[12]
17	José Manuel Rodríguez-Jiménez	[19] [21]
18	Carlos Rossi	[6] [14]

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page