Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Manuel Enciso
Manuel Enciso García-Oliveros
2010 – today
- 2012
[j9]Angel Mora, Pablo Cordero, Manuel Enciso, I. Fortes, Gabriel Aguilera: Closure via functional dependence simplification. Int. J. Comput. Math. 89(4): 510-526 (2012)- [c19]Pablo Cordero, Manuel Enciso, Angel Mora, Manuel Ojeda-Aciego: Computing Minimal Generators from Implications: a Logic-guided Approach. CLA 2012: 187-198
- [c18]Manuel Enciso, Carlos Rossi, Antonio Guevara: A Metamodel for Functional Dependencies - Towards a Functional Dependency Model Transformation. ICSOFT 2012: 291-296
- [c17]Radim Belohlávek, Pablo Cordero, Manuel Enciso, Angel Mora, Vilém Vychodil: An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data. MDAI 2012: 408-419
- 2011
- [j8]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)
- [c16]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
- [c15]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
- [c14]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
- 2010
- [c13]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
2000 – 2009
- 2009
- [c12]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
- 2008
- [j7]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
- [j6]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)
- [c11]Angel Mora, Manuel Enciso: A Formal Tool that Integrates Relational Database Schemes and Preserves the Original Information. ICEIS (1) 2006: 302-305
- 2004
- [j5]Manuel Enciso, Inmaculada Perez de Guzmán, Carlos Rossi: Una forma normal temporal independiente del método de deducción. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 8(23): 27-45 (2004)
- [j4]Carlos Rossi, Manuel Enciso, Inmaculada Perez de Guzmán: Formalization of UML state machines using temporal logic. Software and System Modeling 3(1): 31-54 (2004)
- [c10]Carlos Rossi, Manuel Enciso, Angel Mora: A First Order Temporal Logic for Behavior Representation. IBERAMIA 2004: 408-418
- [c9]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
- [c8]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
- [c7]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
- [j3]Pablo Cordero, Manuel Enciso, Inman P. de Guzmán: Bases for closed sets of implicants and implicates in temporal logic. Acta Inf. 38(9): 599-619 (2002)
- [j2]Pablo Cordero, Manuel Enciso, Inmaculada Perez de Guzmán: From the Poset of Temporal Implicates/implicants to a Temporal Negative Form. Reports on Mathematical Logic 36: 3-53 (2002)
- [c6]Pablo Cordero, Manuel Enciso, Angel Mora, Inman P. de Guzmán: SLFD Logic: Elimination of Data Redundancy in Knowledge Representation. IBERAMIA 2002: 141-150
- [c5]
- 2000
- [j1]Inman P. de Guzmán, Manuel Enciso, Pablo Cordero: A temporal negative normal form which preserves implicants and implicates. Journal of Applied Non-Classical Logics 10(3-4): 243-272 (2000)
1990 – 1999
- 1999
- [c4]Inman P. de Guzmán, Pablo Cordero, Manuel Enciso: Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic. EPIA 1999: 193-207
- 1996
- [c3]Manuel Enciso, J. F. Moncada, Inman P. de Guzmán, Manuel Ojeda-Aciego: Executing Intensional Logic with the TAS Tool. APPIA-GULP-PRODE 1996: 561-566
- [c2]Manuel Enciso, Inman P. de Guzmán, Carlos Rossi: Temporal Reasoning over Linear Discrete Time. JELIA 1996: 303-319
- 1994
- [c1]Manuel Enciso, Inman P. de Guzmán, Carlos Rossi: A Temporal Logic for Program Specification. GULP-PRODE (2) 1994: 309-323
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-04-09 21:20 CEST by the dblp team