A Formalization of Weighted Path Orders and Recursive Path Orders.

Christian Sternagel René Thiemann Akihisa Yamada

Published in: Arch. Formal Proofs (2021)

Keyphrases

shortest path
data sets
databases
machine learning
artificial intelligence
neural network
website
decision trees
bayesian networks
artificial neural networks
multiple paths