Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing.

José Iborra Naoki Nishida Germán Vidal

Published in: LOPSTR (2009)

Keyphrases

goal directed
term rewrite systems
rewrite rules
autonomous robots
automated planning
pairwise
information retrieval
computer vision
real time
image sequences
multiscale
biologically inspired
dependency relations