Semantic modelling and automated reasoning of non-functional requirement conflicts in the context of softgoal interdependencies.
Haibo HuQi MaTingting ZhangYong TanHong XiangChunlei FuYong FengPublished in: IET Softw. (2015)
Keyphrases
- automated reasoning
- reasoning systems
- theorem prover
- knowledge representation
- contextual information
- context dependent
- theorem proving
- probabilistic reasoning
- automated verification
- neural network
- knowledge representation and reasoning
- reasoning tasks
- semantic web
- general purpose
- decision procedures
- inference rules
- probabilistic model
- bayesian networks