Now showing items 1-1 of 1

    • Reasoning about Knowledge and Action in Cluedo using Prolog 

      Aartun, Vemund Innvær (The University of Bergen, 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 ...
      Master thesis