Login / Signup
Lifted Inference with Tree Axioms.
Timothy van Bremen
Ondrej Kuzelka
Published in:
KR (2021)
Keyphrases
</>
tree structure
binary tree
first order logic
database
knowledge base
hierarchical structure
tree search
tree construction
tree models
databases
search algorithm
graph structure
leaf nodes
pruning algorithm