Two Formal Semantics of a Subset of the Paderborn University BSPlib.

Frédéric Gava Jean Fortin

Published in: PDP (2009)

Keyphrases

formal semantics
logical language
e learning
first order logic
modeling language
formal language
er model
operational semantics
modelling language
case study
logical reasoning
theorem prover
owl dl ontology
ontology languages
learning process
speech acts
expressive power