Towards a Model Theory of Ordered Logics: Expressivity and Interpolation (Extended version).

Bartosz Bednarczyk Reijo Jaakkola

Published in: CoRR (2022)

Keyphrases

computational model
theoretical framework
statistical model
management system
formal model
high level
mathematical model
conceptual model
conceptual framework
object model
knowledge base
multiscale
probabilistic model
input data
parameter estimation
prediction model