A novel model for system-level decision making with combined ASP and SMT solving.
Alexander BiewerJens GladigauChristian HaubeltPublished in: DATE (2014)
Keyphrases
- decision making
- computational model
- formal model
- experimental data
- probabilistic model
- web services
- probability distribution
- statistical model
- web applications
- group decision
- integer program
- prediction model
- conceptual model
- mathematical model
- data sets
- management system
- evolutionary algorithm
- knowledge base
- genetic algorithm