Login / Signup
A Formal Semantics for Decision-oriented Variability Modeling with DOPLER.
Deepak Dhungana
Patrick Heymans
Rick Rabiser
Published in:
VaMoS (2010)
Keyphrases
</>
formal semantics
modeling language
er model
logical reasoning
operational semantics
first order logic
theorem prover
owl dl ontology
domain knowledge
modelling language
decision making
epistemic logic
formal language
speech acts
logical language
multi agent
artificial intelligence