Essays about: "Undecidable"
Showing result 1 - 5 of 8 essays containing the word Undecidable.
-
1. Simplifying multi-agent games with imperfect information against nature using predetermined strategies : Reducing the complexity of strategy synthesis for games by treating things in our control as if they were out of our control
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : We study games on graphs, where a coalition of agents work against an adversarial nature to achieve an objective. The agents have to collaborate while making their moves simultaneously, while receiving differing information about the state of the game and without a means of agent-to-agent communication. READ MORE
-
2. Imaginary Specters, Imagined Listeners: The Undecidable in Graham Swift's Tomorrow and Mothering Sunday
University essay from Malmö universitet/Institutionen för konst, kultur och kommunikation (K3)Abstract : This paper aims to investigate the possible connection between specters and silence in Graham Swift’s Tomorrow (2007) and Mothering Sunday (2016). In both novels, the protagonists predominantly speak in interior monologues, recounting the memories and secrets that haunt them, in what could be construed as an attempt to exorcise the ghosts of their past. READ MORE
-
3. Investigating Strategic Hierarchical Information
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : Multi-agent strategic planning is a field that seeks to model groups of agents who must cooperate to fulfil some goal. It is closely connected to the field of game theory, as games are used to model the interactions between players. READ MORE
-
4. A contract language for modular specification and verification of temporal properties
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : Deductive software verification is used to prove correctness of programs with respect to contracts. Contracts are commonly expressed on procedures of a program using Hoare logic. READ MORE
-
5. Undecidable decisions : an application of agonistic pluralism to an environmental conflict case from post-political Austria
University essay from SLU/Dept. of Urban and Rural DevelopmentAbstract : As natural resource management is inherently riddled with different opinions and ensuing conflicts, there is no consensus that doesn’t necessarily exclude parts of society. At the same time, there is a need to manage natural resources in order to prevent their depletion by a few. READ MORE