On the Termination of Russell's Description Elimination Algorithm.

Clemens Grabmayer Joop Leo Vincent van Oostrom Albert Visser

Published in: Rev. Symb. Log. (2011)

Keyphrases

elimination algorithm
high level
probabilistic inference
hadamard transform
neural network
image sequences
dynamic programming
decision problems
transitive closure