OASIcs - OpenAccess Series in Informatics. 2014 Imperial College Computing Student Workshop
Doi
Abstract
In this work we investigate infinite structures. We discuss the importance, meaning and temptation of the axiom of choice and equivalent formulations with respect to graph theory, abstract argumentation and dialogue games. Emphasis is put on maximal independent sets in graph
theory as well as preferred semantics in abstract argumentation