Towards a Model Theory of Ordered Logics: Expressivity and Interpolation.
Bartosz BednarczykReijo JaakkolaPublished in: MFCS (2022)
Keyphrases
- probabilistic model
- computational model
- formal model
- theoretical foundation
- mathematical model
- high level
- prediction model
- theoretical framework
- management system
- simulation model
- theoretical analysis
- description logics
- information retrieval
- probability distribution
- cost function
- control system
- prior knowledge
- objective function
- decision trees