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

Kaustuv Chaudhuri Frank Pfenning Greg Price

Published in: IJCAR (2006)

Keyphrases

forward and backward
detection method
high accuracy
cost function
objective function
neural network
computational complexity
pairwise
dynamic programming
learning algorithm
significant improvement
optimization problems
particle swarm optimization