Automated Reasoning in Social Choice Theory - Some Remarks.

Siddharth Chatterjee Arunava Sen

Published in: CoRR (2014)

Keyphrases

automated reasoning
social choice theory
knowledge representation
reasoning systems
theorem prover
theorem proving
probabilistic reasoning
reasoning tasks
decision procedures
automated verification
neural network
knowledge representation and reasoning
decision problems
preference relations