Completeness and the Finite Model Property for Kleene Algebra, Reconsidered.

Published in: RAMiCS (2023)

Keyphrases

mathematical model
conceptual model
data sets
probability distribution
computational model
high level
real time
knowledge base
bayesian networks
objective function
theoretical framework
formal model
network model
autoregressive