Keyphrases
- formal semantics
- decision models
- decision model
- decision theoretic
- influence diagrams
- model construction
- first order logic
- logical language
- expected utility
- learning algorithm
- probabilistic reasoning
- software architecture
- modeling language
- owl dl ontology
- decision problems
- software systems
- cooperative
- high level
- theorem prover
- software agents
- software engineering
- decision making
- genetic algorithm