First-Order Logic Formalisation of Impossibility Theorems in Preference Aggregation.
Umberto GrandiUlle EndrissPublished in: J. Philos. Log. (2013)
Keyphrases
- first order logic
- preference aggregation
- expressive power
- multi agent
- multi criteria
- theorem proving
- theorem prover
- inference rules
- knowledge representation
- social choice
- markov networks
- transitive closure
- incomplete information
- inductive logic programming
- mechanism design
- preference elicitation
- multiple agents
- horn clauses
- decision makers
- social networks
- special case
- knowledge base