Analysing Vote Counting Algorithms via Logic And Its Application to the CADE Election System

Beckert, BernhardGore, RajeevSchurmann, Carsten2015-12-10June 9-149783642385735http://hdl.handle.net/1885/66185We 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 generatKeywords: First order logic; ITS applications; Standard definitions; Voting algorithm; Logic programming; Semantics; AlgorithmsAnalysing Vote Counting Algorithms via Logic And Its Application to the CADE Election System201310.1007/978-3-642-38574-2_92016-02-24