Programming in Prolog
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
Natural Language Communication with Computers
Some Observations on Compositional Semantics
Logic of Programs, Workshop
Translating Spanish into logic through logic
Computational Linguistics
Using semantics in non-context-free parsing of montague grammar
Computational Linguistics
Using λ-calculus to represent meanings in logic grammars
ACL '83 Proceedings of the 21st annual meeting on Association for Computational Linguistics
Chart parsing and rule schemata in PSG
ACL '81 Proceedings of the 19th annual meeting on Association for Computational Linguistics
Language As a Cognitive Process: Syntax
Language As a Cognitive Process: Syntax
Hi-index | 0.00 |
This paper reports a completed stage of ongoing research at the University of York. Landsbergen's advocacy of analytical inverses for compositional syntax rules encourages the application of Definite Clause Grammar techniques to the construction of a parser returning Montague analysis trees. A parser MDCG is presented which implements an augmented Friedman - Warren algorithm permitting post referencing, and interfaces with a language of intensional logic translator LILT so as to display the derivational history of corresponding reduced IL formulae. Some familiarity with Montague's PTQ and the basic DCG mechanism is assumed.