Situated modeling of epistemic puzzles
dc.citation.epage | 76 | en_US |
dc.citation.issueNumber | 1 | en_US |
dc.citation.spage | 51 | en_US |
dc.citation.volumeNumber | 3 | en_US |
dc.contributor.author | Ersan, M. | en_US |
dc.contributor.author | Akman, V. | en_US |
dc.date.accessioned | 2019-02-06T08:45:55Z | |
dc.date.available | 2019-02-06T08:45:55Z | |
dc.date.issued | 1995 | en_US |
dc.department | Department of Computer Engineering | en_US |
dc.description.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 de ciency. Here, we solve a group of epistemic puzzle using the constructs provided by PROSIT | en_US |
dc.identifier.doi | 10.1093/jigpal/3.1.51 | en_US |
dc.identifier.issn | 0945-9103 | en_US |
dc.identifier.uri | http://hdl.handle.net/11693/48925 | en_US |
dc.language.iso | English | en_US |
dc.relation.isversionof | https://doi.org/10.1093/jigpal/3.1.51 | en_US |
dc.source.title | IGPL Bulletin | en_US |
dc.subject | computational situation theory | en_US |
dc.subject | epistemic puzzles | en_US |
dc.subject | common knowledge | en_US |
dc.subject | PROSIT | en_US |
dc.title | Situated modeling of epistemic puzzles | en_US |
dc.type | Article | en_US |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- Situated_Modeling_of_Epistemic_Puzzles.pdf
- Size:
- 286.21 KB
- Format:
- Adobe Portable Document Format
- Description:
- Full printable version
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 1.71 KB
- Format:
- Item-specific license agreed upon to submission
- Description: