Ver Publicación - Prisma - Unidad de Bibliometría

Formally Verified Tableau-Based Reasoners for a Description Logic

Hidalgo-Doblado, M. J. ; Alonso-Jiménez, J. A.; Borrego-Díaz, J.; Martín-Mateos, F. J.; Ruiz-Reina, J. L.

Tipo: Artículo
Año de Publicación: 2014
Volumen: 52
Número: 3
Páginas: 331 - 360
Acceso abierto: Vía verde
Fuente Nº Citas Fecha Actualización
scopus523-03-2024
wos323-03-2024
Dimensions
PlumX
Altmetric

Año: 2014

Journal Impact Factor (JIF): 0,881

CategoríaEdiciónPosiciónCuartilTercilDecil
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCESCIE87/123Q3T3D8

Año: 2017

Journal Citation Indicator (JCI): 0,730

CategoríaPosiciónCuartilTercilDecilPercentil
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE75/170Q2T2D556,18

Año:

2014

CiteScore:

3,400

CategoríaPosiciónCuartilTercilDecil
Computational Theory and Mathematics28/101Q2T1D3
Software137/375Q2T2D4
Artificial Intelligence62/151Q2T2D5

SJR año:

2014

Factor de Impacto:

0,762

CategoríaPosiciónCuartilTercilDecil
Software84/328Q2T1D3
Artificial Intelligence56/155Q2T2D4
Computational Theory and Mathematics42/103Q2T2D5
No existen datos para la revista de esta publicación.
Agencia Código de Proyecto
FEDER-
Junta de AndaluciaTIC-06064
Ministerio de Ciencia e Innovacion and ExcellenceTIN2009-09492
Nota: los datos sobre financiación provienen de la WOS
# Autor Afiliación
1Hidalgo-Doblado, M. J. Universidad de Sevilla (Spain)
2Alonso-Jiménez, J. A.Universidad de Sevilla (Spain)
3Borrego-Díaz, J.Universidad de Sevilla (Spain)
4Martín-Mateos, F. J.Universidad de Sevilla (Spain)
5Ruiz-Reina, J. L.Universidad de Sevilla (Spain)