Observatorio de I+D+i UPM

Memorias de investigación
Artículos en revistas:
Constraint Answer Set Programming without Grounding (JCR-Q1)
Año:2018
Áreas de investigación
  • Ingenierías
Datos
Descripción
Extending ASP with constraints (CASP) enhances its expressiveness and performance. This extension is not straightforward as the grounding phase, present in most ASP systems, removes variables and the links among them, and also causes a combinatorial explosion in the size of the program. This has led CASP systems to devise several methods to overcome this issue: restricting the constraint domains (e.g., discrete instead of dense), or the type (or number) of models that can be returned. In this paper we propose to incorporate constraints into s(ASP), a goal-directed, top-down execution model which implements ASP while retaining logical variables both during execution and in the answer sets. The resulting model, s(CASP), can constrain variables that (as in CLP) are kept during the execution and in the answer sets. s(CASP) inherits and generalizes the execution model of s(ASP) while parameterizing the constraint solver. We describe this novel execution model and show, through several examples, the enhanced expressiveness of s(CASP) w.r.t. ASP, CLP, and other ASP systems with constraints. We also report improved performance w.r.t. other very mature, highly optimized ASP systems in some benchmarks.
Internacional
Si
JCR del ISI
Si
Título de la revista
Theory And Practice of Logic Programming
ISSN
1471-0684
Factor de impacto JCR
0,875
Información de impacto
Datos JCR del año 2017
Volumen
18
DOI
10.1017/S1471068418000285
Número de revista
3-4
Desde la página
337
Hasta la página
354
Mes
JULIO
Ranking
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Joaquin Arias Herrero (UPM)
  • Autor: Manuel Carro Liñares (UPM)
  • Autor: Elmer Salazar (UT Dallas)
  • Autor: Kyle Marple (UT Dallas)
  • Autor: Gopal Gupta (UT Dallas)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
S2i 2021 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)