A Formal Semantics for Protocol Narrations.

Sébastien Briais Uwe Nestmann

Published in: TGC (2005)

Keyphrases

formal semantics
logical language
er model
modeling language
operational semantics
theorem prover
logical reasoning
first order logic
owl dl ontology
machine learning
ontology languages
modelling language
speech acts
formal language
epistemic logic
database
data management
case study
databases