A Logical Characterization of Forward and Backward Chaining in the Inverse Method.

Kaustuv Chaudhuri Frank Pfenning Greg Price

Published in: J. Autom. Reason. (2008)

Keyphrases

forward and backward
dynamic programming
detection method
significant improvement
high accuracy
cost function
clustering method
computationally efficient
similarity measure
objective function
search algorithm
pairwise
error rate