@prefix epid: .
@prefix dc: .
@prefix geo: .
@prefix bibo: .
@prefix epx: .
@prefix owl: .
@prefix void: .
@prefix event: .
@prefix skos: .
@prefix xsd: .
@prefix cc: .
@prefix ep: .
@prefix foaf: .
@prefix rdf: .
@prefix rdfs: .
@prefix eprel: .
@prefix dct: .
<>
foaf:primaryTopic ;
rdfs:comment "The repository administrator has not yet configured an RDF license."^^xsd:string .
rdfs:label "paper.ps"^^xsd:string .
dc:format "text/html";
dc:title "HTML Summary of #331 \n\nSituated Modeling of Epistemic Puzzles\n\n";
foaf:primaryTopic .
dct:hasPart ;
ep:hasFile ;
eprel:hasVersion ;
eprel:hasVolatileVersion ;
eprel:haspreviewThumbnailVersion ;
rdf:type bibo:Document,
ep:Document;
rdfs:label "Situated Modeling of Epistemic Puzzles (Postscript)"^^xsd:string .
rdf:_1 ;
rdf:_2 .
bibo: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."^^xsd:string;
bibo:authorList ;
bibo:issue "1";
bibo:status ,
;
bibo:volume "3";
dct:creator ,
;
dct:date "1995-03";
dct:isPartOf ,
;
dct:subject ,
,
,
,
,
;
dct:title "Situated Modeling of Epistemic Puzzles"^^xsd:string;
ep:hasDocument ;
rdf:type bibo:Article,
ep:EPrint,
ep:JournalpEPrint;
rdfs:seeAlso .
rdf:type skos:Concept;
skos:prefLabel "Artificial Intelligence" .
rdf:type skos:Concept;
skos:prefLabel "Language" .
rdf:type skos:Concept;
skos:prefLabel "Computational Linguistics" .
rdf:type skos:Concept;
skos:prefLabel "Semantics" .
rdf:type skos:Concept;
skos:prefLabel "Philosophy of Language" .
rdf:type skos:Concept;
skos:prefLabel "Logic" .
foaf:familyName "Ersan"^^xsd:string;
foaf:givenName "Murat"^^xsd:string;
foaf:name "Murat Ersan"^^xsd:string;
rdf:type foaf:Person .
foaf:familyName "Akman"^^xsd:string;
foaf:givenName "Varol"^^xsd:string;
foaf:name "Varol Akman"^^xsd:string;
rdf:type foaf:Person .
foaf:name "Bulletin of the IGPL"^^xsd:string;
rdf:type bibo:Collection .