Automated Reasoning in Social Choice Theory: Some Remarks.
Siddharth ChatterjeeArunava SenPublished in: Math. Comput. Sci. (2014)
Keyphrases
- automated reasoning
- social choice theory
- reasoning systems
- knowledge representation
- theorem proving
- probabilistic reasoning
- decision procedures
- reasoning tasks
- theorem prover
- automated verification
- knowledge representation and reasoning
- first order logic
- preference relations
- propositional satisfiability
- expert systems