A Bucket-Tree Based Algorithm for Automated Reasoning.

Chunling Hu Gang Lv Xiaofeng Wang

Published in: ICAC (2018)

Keyphrases

automated reasoning
dynamic programming
optimal solution
k means
detection algorithm
learning algorithm
objective function
computational complexity
search space
np hard
reinforcement learning
knowledge representation
graphical models
np complete
markov random field
energy function
message passing
reasoning systems