Results 281 to 290 of about 464,264 (305)
Some of the next articles are maybe not open access.
Quantification and Intensionality in Situation Semantics
2002In this paper we present a type-driven interpretation approach to semantic theory. We will introduce a formalization of the notion of the speaker's references in a context, and a semantical storage mechanism for resolving the quantificational and de re/de dicto scope ambiguities. In Montague Grammar (PTQ) all verbs are initially treated as intensional,
openaire +1 more source
On the Representation of Speech Acts in Situation Semantics
1991In this paper a method of representing speech acts is outlined which is suitable for implementation in a natural language consulting system. Speech acts are classified according to the discourse situation in which they arise and the change in the discourse situation they incur. The approach is formulated in a Situation Semantics framework.
Elizabeth Garner, Wolfgang Heinz
openaire +1 more source
Representing the Process Semantics in the Situation Calculus
2005This paper presents a formal method based on the high-level semantics of processes to reason about continuous change. With a case study we show how the semantics of processes can be integrated with the situation calculus. The soundness and completeness of situation calculus with respect to the process semantics are proven.
openaire +1 more source
Toward a computational interpretation of situation semantics
Computational Intelligence, 1986Yves Lesperance
exaly
A Unified Operational Semantics for UML in Situation Calculus
Communications in Computer and Information Science, 2011Liang Dou, Zongyuan Yang
exaly
Tense and discourse location in situation semantics
Linguistics and Philosophy, 1986Robin Cooper, Cooper Robin
exaly