First-order possibility Models and Finitary Completeness Proofs.

Matthew Harrison-Trainor

Published in: Rev. Symb. Log. (2019)

Keyphrases

complex systems
higher order
experimental data
accurate models
real time
neural network
artificial intelligence
information systems
probabilistic model
markov chain
model selection
statistical model
parametric models
formal proofs