@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 "anaphora.pdf"^^xsd:string .
rdfs:label "anaphora.ps"^^xsd:string .
rdfs:label "preview.png"^^xsd:string .
rdfs:label "preview.png"^^xsd:string .
rdfs:label "indexcodes.txt"^^xsd:string .
dc:format "text/html";
dc:title "HTML Summary of #4704 \n\nAnaphora and the Logic of Change\n\n";
foaf:primaryTopic .
dct:hasPart ;
ep:hasFile ;
eprel:hasIndexCodesVersion ;
eprel:hasVersion ,
;
eprel:hasVolatileVersion ,
;
eprel:haspreviewThumbnailVersion ;
rdf:type bibo:Document,
ep:Document;
rdfs:label "Anaphora and the Logic of Change (PDF)"^^xsd:string .
dct:hasPart ;
ep:hasFile ;
eprel:hasVersion ;
eprel:hasVolatileVersion ;
eprel:haspreviewThumbnailVersion ;
rdf:type bibo:Document,
ep:Document;
rdfs:label "Anaphora and the Logic of Change (Postscript)"^^xsd:string .
dct:hasPart ;
ep:hasFile ;
eprel:isVersionOf ;
eprel:isVolatileVersionOf ;
eprel:ispreviewThumbnailVersionOf ;
rdf:type ep:Document;
rdfs:label "Anaphora and the Logic of Change (Image (PNG))"^^xsd:string .
dct:hasPart ;
ep:hasFile ;
eprel:isVersionOf ;
eprel:isVolatileVersionOf ;
eprel:ispreviewThumbnailVersionOf ;
rdf:type ep:Document;
rdfs:label "Anaphora and the Logic of Change (Image (PNG))"^^xsd:string .
dct:hasPart ;
ep:hasFile ;
eprel:isIndexCodesVersionOf ;
eprel:isVersionOf ;
eprel:isVolatileVersionOf ;
rdf:type ep:Document;
rdfs:label "Anaphora and the Logic of Change (Indexer Terms)"^^xsd:string .
rdf:_1 .
rdf:_1 .
;
bibo:abstract "This paper shows how the dynamic interpretation of natural language introduced in work by Hans Kamp and Irene Heim can be modeled in classical type logic. This provides a synthesis between Richard Montague's theory of natural language semantics and the work by Kamp and Heim. "^^xsd:string;
bibo:authorList ;
bibo:editorList ;
bibo:status ,
;
dct:creator ;
dct:date "1991";
dct:isPartOf ,
;
dct:publisher ;
dct:subject ,
,
;
dct:title "Anaphora and the Logic of Change"^^xsd:string;
ep:hasDocument ,
,
,
,
;
rdf:type bibo:Article,
ep:BookchapterEPrint,
ep:EPrint;
rdfs:seeAlso .
rdf:type skos:Concept;
skos:prefLabel "Computational Linguistics" .
rdf:type skos:Concept;
skos:prefLabel "Semantics" .
rdf:type skos:Concept;
skos:prefLabel "Philosophy of Language" .
foaf:name "Springer-Verlag"^^xsd:string;
rdf:type foaf:Organization .
foaf:familyName "Muskens"^^xsd:string;
foaf:givenName "Reinhard"^^xsd:string;
foaf:name "Reinhard Muskens"^^xsd:string;
rdf:type foaf:Person .
foaf:familyName "van Eijck"^^xsd:string;
foaf:givenName "Jan"^^xsd:string;
foaf:name "Jan van Eijck"^^xsd:string;
rdf:type foaf:Person .
foaf:name " Logics in AI, Proceedings of JELIA '90, volume 478 of Lecture Notes in Computer Science"^^xsd:string;
rdf:type bibo:Collection .