Browsing Department of Information Science and Media Studies by Subject "implementation"
Now showing items 1-1 of 1
(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