{"_id":"sj4qmDLXWJTctP2og","bibbaseid":"grandi-endriss-firstorderlogicformalisationofimpossibilitytheoremsinpreferenceaggregation-2013","downloads":0,"creationDate":"2016-01-22T22:42:50.240Z","title":"First-Order Logic Formalisation of Impossibility Theorems in Preference Aggregation","author_short":["Grandi, U.","Endriss, U."],"year":2013,"bibtype":"article","biburl":"https://staff.science.uva.nl/u.endriss/pubs/data/endriss.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Umberto"],"propositions":[],"lastnames":["Grandi"],"suffixes":[]},{"firstnames":["Ulle"],"propositions":[],"lastnames":["Endriss"],"suffixes":[]}],"title":"First-Order Logic Formalisation of Impossibility Theorems in Preference Aggregation","journal":"Journal of Philosophical Logic","year":"2013","volume":"42","number":"4","pages":"595–618","doi":"10.1007/s10992-012-9240-8","url":"http://www.illc.uva.nl/~ulle/pubs/files/GrandiEndrissJPL2013.pdf","bibtex":"@Article{GrandiEndrissJPL2013,\n author = \t {Umberto Grandi and Ulle Endriss},\n title = \t {First-Order Logic Formalisation of Impossibility Theorems in Preference Aggregation},\n journal = \t {Journal of Philosophical Logic},\n year = \t {2013},\n volume = {42},\n number = {4},\n pages = {595--618},\n doi = {10.1007/s10992-012-9240-8},\n url = {http://www.illc.uva.nl/~ulle/pubs/files/GrandiEndrissJPL2013.pdf}\n}\n\n","author_short":["Grandi, U.","Endriss, U."],"key":"GrandiEndrissJPL2013","id":"GrandiEndrissJPL2013","bibbaseid":"grandi-endriss-firstorderlogicformalisationofimpossibilitytheoremsinpreferenceaggregation-2013","role":"author","urls":{"Paper":"http://www.illc.uva.nl/~ulle/pubs/files/GrandiEndrissJPL2013.pdf"},"downloads":0},"search_terms":["first","order","logic","formalisation","impossibility","theorems","preference","aggregation","grandi","endriss"],"keywords":["automated reasoning","axiomatisability","first-order logic","preference aggregation","social choice theory"],"authorIDs":[],"dataSources":["tttdepmzM7nTNGhka"]}