Miranda: a non-strict functional language with polymorphic types
Proc. of a conference on Functional programming languages and computer architecture
Negation and control in Prolog
Negation and control in Prolog
Constructing natural language interpreters in a lazy functional language
The Computer Journal - Special issue on Lazy functional programming
A general semantic model of negation in natural language: representation and inference
A general semantic model of negation in natural language: representation and inference
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Speech web: a web of natural-language speech applications
Eighteenth national conference on Artificial intelligence
Realization of natural language interfaces using lazy functional programming
ACM Computing Surveys (CSUR)
An efficient denotational semantics for natural language database queries
NLDB'07 Proceedings of the 12th international conference on Applications of Natural Language to Information Systems
Hi-index | 0.00 |
A novel and efficient implementation of a compositional semantics for a small natural-language query processor has been developed. The approach is based on a set-theoretic version of Montague Semantics in which sets that are constructed as part of denotations of negative constructs are represented by enumerating the members of their complements with respect to the universe of discourse. The semantics accommodates arbitrarily-nested quantifiers and various forms of negation, nouns, transitive and intransitive verbs, conjunction, and disjunction. Queries containing the word "is" and passive verb constructs can be evaluated. However, the approach for these two constructs is ad hoc and inefficient. The approach has been implemented in a syntax-directed evaluator, constructed as an executable specification of an attribute grammar, with a user-independent speech-recognition front-end.