The computability path ordering: the end of a quest

Frédéric Blanqui Jean-Pierre Jouannaud Albert Rubio

Published in: CoRR (2008)

Keyphrases

shortest path
endpoints
partial order
learning algorithm
optimal solution
neural network
real world
information systems
bayesian networks
search algorithm
information technology
dynamic programming
multiple paths