Finite Model Property in Weakly Transitive Tense Logics.

Minghui Ma Qian Chen

Published in: Stud Logica (2023)

Keyphrases

mathematical model
data sets
probabilistic model
experimental data
database
image sequences
objective function
computational model
neural network
machine learning
high level
similarity measure
expert systems
probability distribution
em algorithm
theoretical analysis