A model-theoretic approach to descriptive general frames: the van Benthem characterization theorem.

Nick Bezhanishvili Tim Henke

Published in: J. Log. Comput. (2020)

Keyphrases

formal model
statistical model
probabilistic model
experimental data
web services
high level
multi agent
prior knowledge
probability distribution
markov chain
theoretical framework
process model
decision making
cost function
real time
theoretical analysis
social networks
neural network model
information retrieval