Transition network grammars for natural language analysis
Communications of the ACM
The predictive analyzer and a path elimination technique
Communications of the ACM
In-Depth Understanding: A Computer Model of Integrated Processing for Narrative Comprehension
In-Depth Understanding: A Computer Model of Integrated Processing for Narrative Comprehension
Theory of Syntactic Recognition for Natural Languages
Theory of Syntactic Recognition for Natural Languages
Understanding Natural Language
Understanding Natural Language
Assimilation of New Information by a Natural Language Understanding System
Assimilation of New Information by a Natural Language Understanding System
Computational Linguistics
Hi-index | 0.00 |
In this paper we present a type inference method for Prolog programs. The new idea is to describe a superset of the success set by associating a type substitution (an assignment of sets of ground terms to variables) with each head of definite clause. ...