Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
User-Definable Resource Bounds Analysis for Logic Programs
Año:2017
Áreas de investigación
  • Ingenierías
Datos
Descripción
Plenary invited talk at the 33rd International Conference on Logic Programming
Internacional
Si
Nombre congreso
33rd International Conference on Logic Programming
Tipo de participación
960
Lugar del congreso
Melbourne, Australia
Revisores
Si
ISBN o ISSN
978-3-540-74608-9
DOI
https://doi.org/10.1007/978-3-540-74610-2_24
Fecha inicio congreso
28/08/2017
Fecha fin congreso
01/09/2017
Desde la página
348
Hasta la página
363
Título de las actas
Lecture Notes in Computer Science book series (LNCS, volume 4670)
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Manuel de Hermenegildo Salinas (UPM)
  • Autor: Pedro Lopez Garcia (CSIC)
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
S2i 2023 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)