Towards Tight Interaction of ASP and SMT Solving for System-Level Decision Making.
Alexander BiewerJens GladigauChristian HaubeltPublished in: ARCS Workshops (2014)
Keyphrases
- decision making
- lower bound
- upper bound
- answer set programming
- information processing
- user interaction
- higher level
- data mining
- levels of abstraction
- decision process
- decision support system
- web applications
- fuzzy logic
- data sets
- decision makers
- decision support
- information extraction
- human computer interaction
- evolutionary algorithm
- social networks
- artificial intelligence
- lower level
- sequential decision making