title: Situated Modeling of Epistemic Puzzles
creator: Ersan, Murat
creator: Akman, Varol
subject: Artificial Intelligence
subject: Language
subject: Computational Linguistics
subject: Semantics
subject: Philosophy of Language
subject: Logic
description: 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.
date: 1995-03
type: Journal (Paginated)
type: PeerReviewed
format: application/postscript
identifier: http://cogprints.org/331/2/paper.ps
identifier:   Ersan, Murat and Akman, Varol  (1995) Situated Modeling of Epistemic Puzzles.  [Journal (Paginated)]     
relation: http://cogprints.org/331/

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