Login / Signup
Formal Methods and the Theory of Social Choice.
Marc Pauly
Published in:
RelMiCS (2008)
Keyphrases
</>
formal methods
social choice
software engineering
knowledge based systems
model checking
artificial intelligence
formal specification
formal specification language
computational social choice
special case
knowledge base
multi agent systems
theoretical framework