|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 27 publication records. Showing 27 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | A. Mora, Pablo Cordero, Manuel Enciso, I. Fortes, Gabriel Aguilera |
Closure via functional dependence simplification.  |
Int. J. Comput. Math.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Cordero, Julius B. Lucks, Rhiju Das |
The Stanford RNA Mapping Database for sharing and visualizing RNA structure mapping experiments |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP BibTeX RDF |
|
| 1 | Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego |
Non-deterministic Algebraic Structures for Soft Computing. |
IWANN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego |
A coalgebraic approach to non-determinism: Applications to multilattices. |
Inf. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP BibTeX RDF |
|
| 1 | Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego |
Congruence relations on some hyperstructures. |
Ann. Math. Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego |
Fuzzy congruence relations on nd-groupoids. |
Int. J. Comput. Math. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Cordero, Manuel Enciso, Angel Mora, Inmaculada Perez de Guzmán |
A Complete Logic for Fuzzy Functional Dependencies over Domains with Similarity Relations. |
IWANN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego |
Fuzzy Logic, Soft Computing, and Applications. |
IWANN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego |
On Congruences and Homomorphisms on Some Non-deterministic Algebras. |
IJCCI |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Martínez, Gloria Gutiérrez, Inmaculada Perez de Guzmán, Pablo Cordero |
Generalizations of lattices via non-deterministic operators. |
Discrete Mathematics |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Inmaculada Perez de Guzmán |
A New Algebraic Tool for Automatic Theorem Provers. |
Ann. Math. Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
multisemilattice, theorem provers, automated deduction, implicants, ideals, lattice theory |
| 1 | Angel Mora, Manuel Enciso, Pablo Cordero, Inman P. de Guzmán, J. Guerrero |
A/D Case: A New Heart for FD3. |
ICEIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Cordero, Manuel Enciso, Inman P. de Guzmán |
Bases for closed sets of implicants and implicates in temporal logic. |
Acta Inf. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2002 |
DBLP BibTeX RDF |
|
| 1 | Pablo Cordero, Manuel Enciso, Angel Mora, Inman P. de Guzmán |
SLFD Logic: Elimination of Data Redundancy in Knowledge Representation. |
IBERAMIA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2000 |
DBLP BibTeX RDF |
|
| 1 | Inman P. de Guzmán, Pablo Cordero, Manuel Enciso |
Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic. |
EPIA |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")