@misc{cogprints331,
          volume = {3},
          number = {1},
           month = {March},
          author = {Murat Ersan and Varol Akman},
           title = {Situated Modeling of Epistemic Puzzles},
         journal = {Bulletin of the IGPL},
           pages = {51--76},
            year = {1995},
        keywords = {computational situation theory, epistemic puzzles, common knowledge (mutual information), PROSIT (programming in situation theory), the Three Wisemen Problem, the Census-Taker Problem, the Cheating Husbands Puzzle, the Facing Logicians Puzzle.},
             url = {http://cogprints.org/331/},
        abstract = {Situation theory is a mathematical theory of meaning introduced by Jon Barwise and John Perry. It has evoked great theoretical interest and motivated the framework of a few `computational' systems. PROSIT is the pioneering work in this direction. Unfortunately, there is a lack of real-life applications on these systems and this study is a preliminary attempt to remedy this deficiency. Here, we solve a group of epistemic puzzles using the constructs provided by PROSIT.}
}

<script src="//archive-bar.soton.ac.uk/archive-bar.js"></script>