A Formal Semantics of the MULTI-ML Language.

Victor Allombert Frédéric Gava Julien Tesson

Published in: ISPDC (2018)

Keyphrases

formal semantics
logical language
formal language
operational semantics
modelling language
modeling language
speech acts
maximum likelihood
er model
first order logic
logical reasoning
ontology languages
theorem prover
situation calculus
epistemic logic
machine learning
owl dl ontology