Analysing Vote Counting Algorithms via Logic And Its Application to the CADE Election System
-
Altmetric Citations
Beckert, Bernhard; Gore, Rajeev; Schurmann, Carsten
Description
We present a method for using first-order logic to specify the semantics of preferences as used in common vote counting algorithms. We also present a corresponding system that uses Celf linear-logic programs to describe voting algorithms and which generat
Collections | ANU Research Publications |
---|---|
Date published: | 2013 |
Type: | Conference paper |
URI: | http://hdl.handle.net/1885/66185 |
Source: | CADE 2013 |
DOI: | 10.1007/978-3-642-38574-2_9 |
Download
File | Description | Size | Format | Image |
---|---|---|---|---|
01_Beckert_Analysing_Vote_Counting_2013.pdf | 3.77 MB | Adobe PDF | Request a copy |
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.
Updated: 17 November 2022/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator