|
1147
|
Tcl and the Tk Toolkit
– Ousterhout
- 1994
|
|
555
|
The generative lexicon
– Pustejovsky
- 1991
|
|
518
|
From Discourse to Logic
– Kamp, Reyle
- 1993
|
|
505
|
Situations and Attitudes
– Barwise, Perry
- 1984
|
|
478
|
A Mathematical Introduction to Logic
– Enderton
- 1972
|
|
456
|
Interpretation as abduction
– Hobbs, Stickel, et al.
- 1993
|
|
390
|
A Theory of Truth and Semantic Representation
– Kamp
- 1981
|
|
372
|
The Calculus of Constructions
– Coquand, Huet
- 1988
|
|
351
|
The semantics of definite and indefinite noun phrases
– Heim
- 1982
|
|
340
|
First-Order Logic and Automated Theorem Proving (2 nd ed
– Fitting
- 1996
|
|
329
|
The case for case
– Fillmore
- 1968
|
|
282
|
The Proper Treatment of Quantification in Ordinary English
– Montague
- 1973
|
|
270
|
The logic of typed feature structures
– Carpenter
- 1992
|
|
264
|
Dynamic predicate logic
– Groenendijk, Stokhof
- 1991
|
|
239
|
Word meaning and Montague Grammar
– Dowty
- 1979
|
|
225
|
Lexical semantics
– Cruse
- 1986
|
|
223
|
Structural ambiguity and lexical relations
– Hindle, Rooth
- 1993
|
|
213
|
Constructive mathematics and computer programming
– Martin-Löf
- 1979
|
|
203
|
Reference to Abstract Objects in Discourse
– Asher
- 1993
|
|
202
|
A.: Naming and Necessity
– Kripke
|
|
175
|
Learnability and Cognition: The Acquisition of Argument Structure
– Pinker
- 1989
|
|
173
|
Introduction to Montague Semantics
– Dowty, Wall, et al.
- 1981
|
|
165
|
Reasoning about change
– Shoham
- 1988
|
|
163
|
Non-well-founded sets
– Aczel
- 1988
|
|
152
|
Dealing with Ambiguities by Underspecification: Construction, Representation and Deduction
– Reyle
- 1993
|
|
150
|
D.—Tarlecki, A.: Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited
– Sannella
- 1988
|
|
149
|
Presupposition projection as anaphora resolution
– Sandt
- 1992
|
|
144
|
Focusing in the comprehension of definite anaphora
– Sidner
- 1986
|
|
108
|
Monotonic Semantic Interpretation
– Alshawi, Crouch
- 1992
|
|
95
|
Quantification and Syntactic Theory
– Cooper
- 1983
|
|
93
|
Temporal interpretation, discourse . relations and commonsense entailment', Linguistics and Philosophy
– Lascarides, Asher
- 1993
|
|
83
|
Lexical access during sentence comprehension: (Re)consideration of context effects
– Swinney
- 1979
|
|
81
|
dynamic Montague Grammar
– Groenendijk, Stokhof
- 1990
|
|
79
|
Conceptual Dependency: A Theory of Natural Language Understanding. Cognitive
– Schank
- 1972
|
|
77
|
Intuitionistic Type Theory. Bibliopolis
– Martin-Löf
- 1984
|
|
72
|
Semiproductive polysemy and sense extension
– Copestake, Briscoe
- 1995
|
|
63
|
On the semantic content of the notion ‘thematic role
– Dowty
- 1989
|
|
61
|
Syntactical treatments of modality, with corollaries on re ection principles and nite axiomatizability
– Montague
- 1963
|
|
60
|
Prolog and Natural Language Analysis
– Pereira, Shieber
- 1987
|
|
59
|
Metamathematical investigations of a calculus of constructions. manuscript
– Coquand
- 1989
|
|
59
|
A kernel language for algebraic specifications and implementation
– Sannella, Wirsing
- 1983
|
|
57
|
Practical Issues in Automatic Documentation Generation
– McKeown
- 1994
|
|
52
|
Frege structures and the notions of proposition, truth and set
– Aczel
- 1980
|
|
51
|
Inference in DATR
– EVANS, GAZDAR
- 1989
|
|
50
|
Training and Scaling Preference Functions for Disambiguation
– Alshawi, Carter
- 1994
|
|
49
|
Two theories about adjectives
– Kamp
- 1975
|
|
48
|
Meaning and Partiality
– Muskens
- 1995
|
|
46
|
Noun phrases, generalized quantifiers and anaphora
– Barwise
- 1987
|
|
43
|
Enjoy the paper: lexical semantics via lexicology
– Briscoe, Copestake, et al.
- 1990
|
|
43
|
Memory and Context for Language Interpretation
– Alshawi
- 1987
|
|
