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 ...

The viability of Virtual Reality (VR) is being explored in an increasing number of fields outside its primary use in entertainment. A notable example is VR therapy, where VR-based alternatives to exposure therapy and ...