An efficient compositional semantics for natural-language database queries with arbitrarily-nested quantification and negation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2338, Issue , 2002, Pages 252-267

  Frost, Richard ^a   Boulos, Pierre ^a  

^a UNIVERSITY OF WINDSOR   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

QUERY LANGUAGES; SEMANTICS; SPEECH RECOGNITION;

ATTRIBUTE GRAMMARS; COMPOSITIONAL SEMANTICS; EFFICIENT IMPLEMENTATION; EXECUTABLE SPECIFICATIONS; MONTAGUE SEMANTICS; NATURAL LANGUAGE DATABASE; NATURAL LANGUAGE QUERIES; UNIVERSE OF DISCOURSE;

QUERY PROCESSING;

EID: 84974661106     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-47922-8_21     Document Type: Conference Paper

References (12)

1. Clarke, K. L. (1978) Negation as Failure. In H. Gallaire, and J. Minker, (editors) Logic and Databases. New York: Plenum Press. 254, 266.
2. Dowty, D. R., Wall, R. E. and Peters, S. (1981) Introduction to Montague Semantics. cD. Reidel Publishing Company, Dordrecht, Boston, Lanaster, Tokyo. 255.
3. Frost, R. A. and Chitte, S. (1999) A new approach for providing natural-language speech access to large knowledge bases. Proceedings of the Pacific Association of Computational Linguistics Conference PACLING ‘99, University of Waterloo, August 1999, 82–89. 266.
4. Frost, R. A. (1995) W/AGE The Windsor Attribute Grammar Programming Environment, Schloss Dagstuhl International Workshop on Functional Programming in the Real World.
5. Frost, R. A. and Launchbury, E. J. (1989) Constructing natural language interpreters in a lazy functional language’. The Computer Journal – Special edition on Lazy Functional Programming, 32(2) 108-121. 266.
6. Iwanska, L. (1992) A General Semantic Model of Negation in Natural Language: Representation and Inference. Doctoral Thesis, Computer Science, University of Illinois at Urbana-Champaign. 254, 266.
7. Lapalme, G. and Lavier, F. (1990) Using a functional language for parsing and semantic processing. Publication 715a, Departement d’informatique et recherche operationelle, Universite de Montreal. 266.
8. Montague, R. (1974) in Formal Philosophy: Selected Papers of Richard Montague, edited by R. H. Thomason. Yale University Press, New Haven CT. 254.
9. Naish, L. (1986) Negation and Control in Prolog. Lecture Notes in Computer Science 238. Springer-Verlag. 254, 267.
10. Reiter, R. (1978) Deductive question-answering in relational databases. In H. Gallaire, and J. Minker, (editors) Logic and Databases. New York: Plenum Press. 254, 266.
11. Stoy, J. E. (1977) Denotational Semantics: The Scott-Strachey Approach to Programming language Theory. MIT Press, Cambridge (Mass.) 256.
12. Turner, D. (1985) A lazy functional programming language with polymorphic types. Proc. IFIP Int. Conf. on Functional Programming Languages and Computer Architecture, Nancy, France. Springer Lecture Notes 201. 256