Nerio Borges
EPN
7
Coauthors
5
Documentos
1
H-index Scopus
Volumen de publicaciones por año
Cargando gráfico
| Año de publicación | Num. Publicaciones |
|---|---|
| 2012 | 1 |
| 2014 | 1 |
| 2019 | 1 |
| 2020 | 2 |
Publicaciones por áreas de conocimiento
Cargando gráfico
| Área de conocimiento | Num. Publicaciones |
|---|---|
| Filosofía del lenguaje | 2 |
| Optimización matemática | 2 |
| Lingüística | 1 |
Publicaciones por áreas temáticas
Cargando gráfico
| Área temática | Num. Publicaciones |
|---|---|
| Ética (Filosofía moral) | 2 |
| Ciencias de la computación | 2 |
| Lingüística | 2 |
| Lógica filosófica | 1 |
| Ciencias sociales | 1 |
| Lengua | 1 |
| Inglés e inglés antiguo (anglosajón) | 1 |
| Métodos informáticos especiales | 1 |
| Sistemas | 1 |
| Procesos mentales conscientes e inteligencia | 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 |
|---|---|
| Bonet B. | 2 |
| Ramón Pino-Pérez | 1 |
| Pino R. | 1 |
| Zenaida Castillo | 1 |
| Carrasco M. | 1 |
| Pin E. | 1 |
Cargando gráfico
Top Keywords
Cargando gráfico
Publicaciones del autor
Belief change and 3-valued logics: Characterization of 19,683 belief change operators
ArticleAbstract: In this work we introduce a 3-valued logic with modalities, with the aim of having a clear and preciPalabras claves:Autores:Nerio Borges, Ramón Pino-PérezFuentes:scopusUniversal 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:scopusUniversal first-order logic is superfluous in the second level of the polynomial-time hierarchy
ArticleAbstract: In this paper we prove that ∀FO, the universal fragment of first-order logic, is superfluous in Σ2pPalabras claves:Computational complexity, descriptive complexity, Graph Theory, MATHEMATICAL LOGICAutores:Nerio Borges, Pin E.Fuentes: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:scopusIntroducing perfectly nested circuits
ArticleAbstract: Nested graphs have been used in different applications, for example to represent knowledge in semantPalabras claves:Binary sequences, Circuits, Nested graphs, Order isomorphisms, PathsAutores:Carrasco M., Nerio Borges, Pino R., Zenaida CastilloFuentes:scopus