Observatorio de I+D+i UPM

Memorias de investigación
Research Publications in journals:
Supporting Pruning in Tabled LP
Year:2013
Research Areas
  • Information technology and adata processing
Information
Abstract
This paper analyzes issues which appear when supporting pruning operators in tabled LP. A version of the once/1 control predicate tailored for tabled predicates is presented, and an implementation analyzed and evaluated. Using once/1 with answer-on-demand strategies makes it possible to avoid computing unneeded solutions for problems which can benefit from tabled LP but in which only a single solution is needed, such as model checking and planning. The proposed version of once/1 is also directly applicable to the efficient implementation of other optimizations, such as early completion, cut-fail loops (to, e.g., prune at the top level), if-then-else, and constraint-based branch-and-bound optimization. Although once/1 still presents open issues such as dependencies of tabled solutions on program history, our experimental evaluation confirms that it provides an arbitrarily large efficiency improvement in several application areas.
International
Si
JCR
No
Title
Practical Aspects of Declarative Languages (PADL'13), LNCS, Springer Verlag
ISBN
978-3-642-45283-3
Impact factor JCR
0,23
Impact info
Volume
7752
Journal number
From page
60
To page
76
Month
ENERO
Ranking
CORE: B. CiteseerX position (ave) top 23%, impact (ave) 0.230. Average position: top 44%.
Participants
  • Autor: Manuel Carro Liñares (UPM)
  • Autor: Manuel de Hermenegildo Salinas (UPM)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial
S2i 2019 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)