A Formal Semantics for Multi-level Staged Configuration.

Andreas Classen Arnaud Hubaux Patrick Heymans

Published in: VaMoS (2009)

Keyphrases

formal semantics
first order logic
modeling language
formal language
logical language
operational semantics
modelling language
er model
speech acts
logical reasoning
case study
theorem prover
ontology languages
domain knowledge