Memorias de investigación
Artículos en revistas:
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption
Año:2018

Áreas de investigación

Datos
Descripción
0
Internacional
Si
JCR del ISI
Si
Título de la revista
THEORY AND PRACTICE OF LOGIC PROGRAMMING
ISSN
1471-0684
Factor de impacto JCR
1,38
Información de impacto
Volumen
18
DOI
10.1017/S1471068418000042
Número de revista
2
Desde la página
167
Hasta la página
223
Mes
Ranking
0

Esta actividad pertenece a memorias de investigación

Participantes
  • Autor: m. klemen UPM
  • Autor: p. lopez-garcia
  • Autor: u. liqat UPM
  • Autor: l. darmawan
  • Autor: f. bueno UPM
  • Autor: m. v hermenegildo

Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: No seleccionado
  • Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial