A Distinguishable Model Theorem for the Minimal US-Tense Logic.

Fabio Bellissima Anna Bucalo

Published in: Notre Dame J. Formal Log. (1995)

Keyphrases

statistical model
probabilistic model
artificial intelligence
cost function
computational model
high level
objective function
modal logic
real time
machine learning
multi agent
input data
theoretical framework
formal model
prediction model
network model