• Reasoning about Knowledge and Action in Cluedo using Prolog 

      Aartun, Vemund Innvær (Master thesis, 2016-06-01)
      This thesis will look at how to define a representation for the implementation of Cluedo and dynamic epistemic logic into Prolog. It looks at basics of modal logic, and definitions of dynamic epistemic logic. The thesis ...
    • Using Genetic Programming for Agents in Non-Deterministic Games 

      Johansen, Bjarte (Master thesis, 2012-08-01)
      The aim of this thesis is to explore the possibility of using Genetic Programming to create agents that play non-deterministic games at a human level. The game that is used to test the hypothesis is Ms. Pac-Man; an old ...