A formal semantics for protocol narrations.

Sébastien Briais Uwe Nestmann

Published in: Theor. Comput. Sci. (2007)

Keyphrases

formal semantics
logical language
formal language
first order logic
er model
operational semantics
modeling language
modelling language
speech acts
logical reasoning
theorem prover
machine learning
e learning
metadata
ontology languages
epistemic logic