Weighting strategy for non-clausal resolution.

Zbigniew Stachniak Anton Belov

Published in: J. Exp. Theor. Artif. Intell. (2008)

Keyphrases

temporal resolution
neural network
constraint propagation
weighting scheme
genetic algorithm
decision trees
case study
similarity measure
search algorithm
high resolution
inductive logic programming
temporal logic