Some constructive variants of S4 with the finite model property.
Philippe BalbianiMartín DiéguezDavid Fernández-DuquePublished in: LICS (2021)
Keyphrases
- experimental data
- computational model
- management system
- autoregressive
- artificial intelligence
- hybrid model
- mathematical model
- probability distribution
- high level
- prior knowledge
- artificial neural networks
- data structure
- process model
- optimal solution
- closed form
- computational models
- decision trees
- information systems