An Abstract Algebraic Logic View on Judgment Aggregation.
María EstebanAlessandra PalmigianoZhiguang ZhaoPublished in: LORI (2015)
Keyphrases
- propositional dynamic logic
- algebraic structure
- classical logic
- data aggregation
- computer algebra
- multi agent
- low level
- rank aggregation
- computational properties
- modal logic
- automated reasoning
- sound and complete axiomatization
- data sets
- logical framework
- aggregation operators
- expressive power
- higher order
- wireless sensor networks
- bayesian networks
- case study
- neural network