Bonet B.
8
Coauthors
5
Documentos
Volumen de publicaciones por año
Cargando gráfico
| Año de publicación | Num. Publicaciones |
|---|---|
| 2006 | 1 |
| 2010 | 2 |
| 2012 | 1 |
| 2014 | 1 |
Publicaciones por áreas de conocimiento
Cargando gráfico
| Área de conocimiento | Num. Publicaciones |
|---|---|
| Algoritmo | 4 |
| Optimización matemática | 2 |
| Ciencias de la computación | 1 |
| Software | 1 |
| Lingüística | 1 |
Publicaciones por áreas temáticas
Cargando gráfico
| Área temática | Num. Publicaciones |
|---|---|
| Ciencias de la computación | 2 |
| Programación informática, programas, datos, seguridad | 2 |
| Lingüística | 2 |
| Dirección general | 1 |
| Lengua | 1 |
| Inglés e inglés antiguo (anglosajón) | 1 |
| Métodos informáticos especiales | 1 |
Principales fuentes de datos
| Origen | Num. Publicaciones |
|---|---|
| Scopus | 5 |
| Google Scholar | 0 |
| RRAAE | 0 |
Cargando gráfico
Coautores destacados por número de publicaciones
| Coautor | Num. Publicaciones |
|---|---|
| María-Esther Vidal | 3 |
| Izquierdo D. | 2 |
| Nerio Borges | 2 |
| Arvelo Y. | 1 |
Cargando gráfico
Top Keywords
Cargando gráfico
Publicaciones del autor
Universal first-order logic is superfluous for NL, P, NP and CO NP
ArticleAbstract: In this work we continue the syntactic study of completeness that began with the works of Immerman aPalabras claves:Complexity classes, descriptive complexity, First order projections, NP completeness, Problems and reductionsAutores:Bonet B., Nerio BorgesFuentes:scopusSyntactic characterizations of completeness using duals and operators
ArticleAbstract: This article extends the work laid down by Medina and Immerman for the syntactic characterization ofPalabras claves:Canonical forms, completeness, descriptive complexity, Dual operator, Syntactic operatorsAutores:Bonet B., Nerio BorgesFuentes:scopusCompilation of query-rewriting problems into tractable fragments of prepositional logic
Conference ObjectAbstract: We consider the problem of rewriting a query efficiently using materialized views. In the context ofPalabras claves:Autores:Arvelo Y., Bonet B., María-Esther VidalFuentes:scopusAn expressive and efficient solution to the service selection problem
Conference ObjectAbstract: Given the large number of Semantic Web Services that can be created from online sources by using exiPalabras claves:Autores:Bonet B., Izquierdo D., María-Esther VidalFuentes:scopusSTEREO: A SaT-based tool for an optimal solution of the service selection problem
Conference ObjectAbstract: We present STEREO, a system that offers an expressive formalism and implements techniques firmly groPalabras claves:Autores:Bonet B., Izquierdo D., María-Esther VidalFuentes:scopus