The k-majority game is played with n numbered balls, each coloured with one of two colours. It is given that there are at least k balls of the majority colour, where k is a fixed integer greater than n/2. On each turn the player selects two balls to compare, and it is revealed whether they are of the same colour; the player’s aim is to determine a ball of the majority colour. It has been correc...

We shall discuss a variety of results on Answer Set Programming based on the work of author with Marek, Nerode, Blair and Cenzer that have arisen by looking at Answer Set Programming from a mathematical perspective. This includes work with Nerode and Marek (Marek, Nerode, & Remmel 1990; 1992c; 1992b; 1992a; 1994; 1997; 1999) Nonmonotonic Proof Systems which allows one to gives a common generali...