What KL-ONE Lookalikes Need to Cope with Natural Language: Scope and Aspect of Plural Noun Phrases

A corona discharger includes a shield and a discharge wire extended between opposed ends of the shield and supported between its ends. The position of the wire is adjustable to control the distance between the wire and a surface of a member to be subjected to the corona discharge and a spring is arranged to maintain tension on the discharge wire regardless of the position of adjustment of the wire.

[1]  Michael P. Wellman,et al.  Mechanisms for Reasoning about Sets , 1988, AAAI.

[2]  Keith S. Donnellan,et al.  Language, Mind, and Knowledge , 1977 .

[3]  Norbert Reithinger,et al.  Bidirectional Use of Knowledge in the Multi-modal NL Access System XTRA , 1989, IJCAI.

[4]  C. K. Ogden,et al.  The Meaning of Meaning , 1923 .

[5]  Bernhard Nebel,et al.  NIGEL Gets To Know Logic , 1986, GWAI.

[6]  Dag Westerståhl,et al.  Logical constants in quantifier languages , 1985 .

[7]  Godehard Link,et al.  Generalized Quantifiers and Plurals , 1987 .

[8]  J.F.A.K. van Benthem.  Determiners and logic , 1983 .

[9]  J. Barwise,et al.  Generalized quantifiers and natural language , 1981 .

[10]  Sebastian Loebner.  Natural Language and Generalized Quantifier Theory , 1987 .

[11]  Christopher Habel,et al.  Prinzipien der Referentialität: Untersuchungen zur propositionalen Repräsentation von Wissen , 1986, Informatik-Fachberichte.

[12]  Irene Heim,et al.  The semantics of definite and indefinite noun phrases : a dissertation , 1982 .

[13]  Vladimir Lifschitz,et al.  Pointwise Circumscription: Preliminary Report , 1986, AAAI.

[14]  Jeroen Groenendijk,et al.  Formal methods in the study of language , 1983 .

[15]  Johannes Matiasek,et al.  Die Anwendung Generalisierter Quantoren in einem natürlichsprachigen Datenbank-Interface , 1989, ÖGAI.

[16]  N. Cocchiarella,et al.  Situations and Attitudes. , 1986 .

[17]  Douglas E. Appelt,et al.  Reference and Pragmatic Identification , 1987, TINLAP.

[18]  Jan Tore Lønning,et al.  Mass terms and quantification , 1987 .

[19]  Hector J. Levesque,et al.  An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON , 1985, IJCAI.

[20]  Marc B. Vilain,et al.  The Restricted Language Architecture of a Hybrid Representation System , 1985, IJCAI.

[21]  Keith S. Donnellan.  Reference and Definite Descriptions , 1966 .

[22]  Matthew L. Ginsberg,et al.  Multi-Valued Logics , 1986, AAAI.

[23]  Peter F. Patel-Schneider,et al.  A Four-Valued Semantics for Terminological Logics , 1989, Artif. Intell..

[24]  Hector J. Levesque,et al.  A Logic of Implicit and Explicit Belief , 1984, AAAI.

[25]  B. Russell.  II.—On Denoting , 1905 .

[26]  Mathias Bauer,et al.  Conditioned Circumscription: Translating Defaults to Circumscription , 1990, GWAI.

[27]  Nuel D. Belnap,et al.  A Useful Four-Valued Logic , 1977 .

[28]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[29]  Terry Winograd,et al.  Understanding natural language , 1974 .

[30]  Jerry R. Hobbs,et al.  An Algorithm for Generating Quantifier Scopings , 1987, CL.

[31]  Alice G. B. ter Meulen.  Studies in modeltheoretic semantics , 1983 .

[32]  Remko Scha,et al.  Multi-Level Plurals and Distributivity , 1988, ACL.

[33]  Hector J. Levesque,et al.  KRYPTON: Integrating Terminology and Assertion , 1983, AAAI.