Automated Justification of Collective Decisions via Constraint Solving.
Arthur BoixelUlle EndrissPublished in: AAMAS (2020)
Keyphrases
- constraint solving
- constraint propagation
- constraint logic programming
- constraint satisfaction problems
- constraint solver
- constraint satisfaction
- decision making
- semi automated
- finite domain
- decision makers
- constraint programming
- fully automated
- decision process
- human operators
- constraint solvers
- low level
- special case
- data structure
- database systems