dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Manuel Enciso (Selection)

Manuel Enciso García-Oliveros

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo 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
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo 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
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAngel 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)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo 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
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo 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)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAngel 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)
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAngel 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
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriel 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
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel 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)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos 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)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAngel 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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo Cordero, Manuel Enciso, Angel Mora, Inman P. de Guzmán: SLFD Logic: Elimination of Data Redundancy in Knowledge Representation. IBERAMIA 2002: 141-150
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo 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)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo 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)
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLInman 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): (2000)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLInman P. de Guzmán, Pablo Cordero, Manuel Enciso: Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic. EPIA 1999: 193-207
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Enciso, Inman P. de Guzmán, Carlos Rossi: Temporal Reasoning over Linear Discrete Time. JELIA 1996: 303-319
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Enciso, Inman P. de Guzmán, Carlos Rossi: A Temporal Logic for Program Specification. GULP-PRODE (2) 1994: 309-323

Selection of 19 from 26 records - Manuel Enciso has 14 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page