Pruning Infinite Failure Branches in Programs with Occur-Check.

Ulrich Neumerkel

Published in: LPAR (1992)

Keyphrases

search space
tree pruning
computer programs
failure prediction
computer vision
website
answer sets
pruning algorithm
highly reliable
tree construction
fixpoint
effective pruning
pruning method
automatic programming
neural network
artificial intelligence
genetic algorithm
data mining