An effective version of definability in metric model theory.

Nazanin Roshandel Tavana

Published in: CoRR (2020)

Keyphrases

computational model
theoretical foundation
probabilistic model
formal model
objective function
statistical model
mathematical model
mathematical framework
propositional logic
theoretical framework
database
neural network model
multi agent
simulation model
high quality
high level
decision theory
machine learning