TkWinHOL: A Tool for Window Inference in HOL.

Thomas Långbacka Rimvydas Ruksenas Joakim von Wright

Published in: TPHOLs (1995)

Keyphrases

sliding window
data mining
inference process
decision making
bayesian networks
belief networks
learning algorithm
knowledge representation
knowledge acquisition
probabilistic inference
bayesian inference
theorem prover