First-Order Logic for Decision Problems with Preference Aggregation.
Arnaldo AraújoAna Teresa C. MartinsDavi RomeroPublished in: BRACIS (2016)
Keyphrases
- first order logic
- decision problems
- preference aggregation
- expressive power
- utility function
- preference elicitation
- multi agent
- multi criteria
- influence diagrams
- theorem proving
- social choice
- knowledge representation
- mechanism design
- computational complexity
- np hard
- incomplete information
- inductive logic programming
- optimal policy
- transitive closure
- multiple agents
- preference relations