Memorias de investigación
Premio:
10 year Test of Time Award
Año:2017
Áreas de investigación
  • Ingenierías
Datos
Descripción
Pedro López-García and Manuel Hermenegildo. User-Definable Resource Bounds Analysis for Logic Programs. 33rd International Conference on Logic Programming (ICLP 2017). 10 year Test of Time Award.
Internacional
Si
Entidad premiada
Entidad concedente
Fecha
Lugar donde se premió
Melbourne (Australia)
Esta actividad pertenece a memorias de investigación
Participantes
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial