4 citations found. Retrieving documents...
J. Barwise. "Noun Phrases, Generalized Quantifiers, and Anaphora," in P. Gardenfors, editor, Generalized Quantifiers, Dordrecht, Holland: Reidel, 1987, pp. 1--29.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Computational Situation Theory - Tin, Akman (1994)   (Correct)

.... philosophy, and the mind [10] It was first formulated in detail by Jon Barwise and John Perry in 1983 [11] and has matured over the last decade [24] Various versions of the theory have been applied to a number of linguistic issues, resulting in what is commonly known as situation semantics [7, 8, 9, 23, 29, 31, 33, 48]. The latter aims at the construction of a unified and mathematically rigorous theory of meaning, and the application of such a theory to natural languages. Department of Computer Engineering and Information Science, Faculty of Engineering, Bilkent, 06533 Ankara, Turkey. E mail: ftin, ....

.... With these underlying assumptions and features, situation semantics provides a fundamental and appropriate framework for a realistic model theoretic semantics of natural language [10] Various versions of this theory have been applied to a number of linguistic issues (mainly) in English [7, 8, 9, 20, 22, 23, 29, 33, 41]. The ideas emerging from research in situation semantics have also been coalesced with well developed linguistic theories such as lexical functional grammar [45] and led to rigorous formalisms [31] On the other hand, situation semantics has been compared to other influential mathematical ....

J. Barwise. "Noun Phrases, Generalized Quantifiers, and Anaphora," in P. Gardenfors, editor, Generalized Quantifiers, Dordrecht, Holland: Reidel, 1987, pp. 1--29.


Dynamic interpretation and Hoare deduction - van Eijck, DE VRIES (1992)   (3 citations)  (Correct)

....In this paper we present a dynamic assignment language which extends the dynamic predicate logic of Groenendijk Stokhof [1991: 39 100] with assignment and with generalized quantifiers. The use of this dynamic assignment language for natural language analysis, along the lines of o.c. and [Barwise, 1987: 1 29] is demonstrated by examples. We show that our representation language permits us to treat a wide variety of donkey sentences : conditionals with a donkey pronoun in their consequent and quantified sentences with donkey pronouns anywhere in the scope of the quantifier. It is also ....

....method for finding static meanings of the programs of the representation language. Key words: semantics of natural language, dynamic interpretation, Hoare logic, knowledge representation languages. 1. Introduction Our starting point is a dynamic perspective on natural language as proposed in [Barwise, 1987: 1 29] and [Groenendijk Stokhof, 1991: 39 100] We propose to supplement the purely semantic treatment that was given in those papers with a syntactic account, using the tools of Hoare logic. The key notions to be introduced and discussed in this paper are briefly summarized in the following ....

J. Barwise, `Noun Phrases, Generalized Quantifiers and Anaphora', in P. Gardenfors (ed.), Generalized Quantifiers / Linguistic and Logical Approaches, 1--29, Reidel, Dordrecht, 1987.


Situations and Computation: An Overview of Recent Research - Tin, Akman   (Correct)

....information, logic, philosophy, and the mind. The original theory was due to Jon Barwise and John Perry [6] The theory has matured over the last decade [12] and various versions of it have been applied to a number of linguistic issues, resulting in what is commonly known as situation semantics [2, 3, 5, 11, 15, 16, 18, 25]. Situation semantics aims at the construction of a mathematically rigorous theory of meaning, and the application of such a theory to natural language. The mathematical foundations of the theory are based on intuitions basically coming from set theory and logic [1, 3, 11, 12] One of the ....

J. Barwise. "Noun Phrases, Generalized Quantifiers, and Anaphora," in P. Gardenfors, editor, Generalized Quantifiers, Dordrecht, Holland: Reidel, 1987, pp. 1--29.


Existential Disclosure - Dekker (1993)   (1 citation)  Self-citation (Barwise)   (Correct)

.... within the format of discourse representation theory (DRT) More recently, compositional, dynamic reformulations of the DRT framework have been given that enhance comparison of DRT with more classical semantic theories, in particular, Montague grammar, and that enable an integration of results (Barwise [1987], Rooth [1987] Asher and Wada [1988] Zeevat [1989] Groenendijk and Stokhof [1990] Muskens [1990] Groenendijk and Stokhof [1990] in particular formulates a dynamic Montague grammar (DMG) in which the paradigmatic Montague grammar of the seventies is adapted in order to incorporate ....

Barwise, J. 1987. `Noun phrases, generalized quantifiers and anaphora'. In P.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC