An Evaluation of LOLITA and Related Natural Language Processing Systems (1998)

Cached

Download Links

by Paul Callaghan , Paul Callaghan
Citations:7 - 3 self

Documents Related by Co-Citation

104 Type-Theoretical Grammar – Aarne Ranta - 1995
12 Reasoning by analogy and causality: a model and application – D Long, R Garigliano - 1994
9 M.: The LOLITA system as a contents scanning tool – R Garigliano, R Morgan, Smith - 1993
2 Lego with coercion synthesis. ftp://ftp.cs.man.ac.uk/pub/baileya/- Coercions/LEGO-with-coercions.dvi – A Bailey - 1996
2 report 1.4. http://www.haskell.org – Haskell - 1998
2 Demonstration of the Tomita parsing algorithm. ftp://iecc.com/pub/- file/tomita.tar.gz – Mark Hopkins - 1993
3 NL-OOPS: From Natural Natural Language to Object Oriented Requirements using the Natural Language Processing System LOLITA – L Mich - 1996
2 The LOLITA Project. Springer Verlag. (forthcoming in 3 vols: "The System Core", "Applications", "Philosophy and Methodology – The LOLITA Group
12 Some proof-theoretic and algorithmic aspects of coercive subtyping. Types for proofs and programs – A Jones, Z Luo, S Soloviev - 1998
14 Mathematical Vernacular and Conceptual Well-formedness in Mathematical Language – Zhaohui Luo, Paul Callaghan - 1998
12 de Bruijn. The Mathematical Vernacular, a language for mathematics with typed sets – N G
30 The Machine-checked Literate Formalisation of Algebra in Type Theory – A Bailey - 1999
48 Coercive subtyping – Zhaohui Luo - 1998
41 Typing Algorithm in Type Theory with Inheritance – Amokrane Sa├»bi - 1997
120 Efficient Parsing for Natural Language: a Fast Algorithm for Practical Systems – M Tomita - 1985
5 Natural Language Generation in the LOLITA System: An Engineering Approach – M H Smith - 1996
12 Generation in the LOLITA system: an engineering approach – M Smith, R Garigliano, R Morgan - 1994
9 Language in action: categories, lambdas and dynamic logic – J V Benthem - 1991
9 Constructing programs as executable attribute grammars – R A Frost - 1992