681 search results - page 34 / 137 » Parsing as Natural Deduction |
CNL
2009
14 years 10 months ago
2009
Abstract. This paper discusses the semi-formal language of mathematics and presents the Naproche CNL, a controlled natural language for mathematical authoring. Proof Representation...
NAACL
2003
14 years 11 months ago
2003
We report on our work to automatically build a corpus of instructional text annotated with lexical semantics information. We have coupled the parser LCFLEX with a lexicon and onto...
86
Voted
IJCNLP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Partial parsing techniques try to recover syntactic information efficiently and reliably by sacrificing completeness and depth of analysis. One of the difficulties of pa...
EMNLP
2008
14 years 11 months ago
2008
Statistical parsers have become increasingly accurate, to the point where they are useful in many natural language applications. However, estimating parsing accuracy on a wide var...
COLING
1994
14 years 11 months ago
1994
A CYK-table-driven interactive relaxation parsing method of spoken Korean, integrated with the CYK-based morphological analysis is introduced. An extension of the Categorial Gramm...