Some constructive variants of S4 with the finite model property.
Philippe BalbianiMartín DiéguezDavid Fernández-DuquePublished in: CoRR (2021)
Keyphrases
- high level
- prediction model
- formal model
- statistical model
- computational model
- hybrid model
- information systems
- simulation model
- conceptual model
- hierarchical structure
- experimental data
- mathematical model
- parameter estimation
- theoretical analysis
- probabilistic model
- management system
- evolutionary algorithm
- data structure
- reinforcement learning
- network model
- linear model
- similarity measure