Sciweavers

681 search results - page 17 / 137
» Parsing as Natural Deduction
Sort
View
TALIP
2002
46views more  TALIP 2002»
14 years 11 months ago
GLR parsing with multiple grammars for natural language queries
Helen Meng, Po-Chui Luk, Kui Xu, Fuliang Weng
81
Voted
COLING
2000
15 years 1 months ago
Chart Parsing and Constraint Programming
In this paper, lmrsing-as-deduction and constraint programming are brought together to outline a procedure for the speeitication of constraint-based chart parsers. Fob lowing the ...
Frank Morawietz
TABLEAUX
1999
Springer
15 years 4 months ago
A Tableau Calculus for Pronoun Resolution
Appeared in: N.V. Murray, editor, Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX’99), Lecture Notes in Artificial Intelligence 1617, Springer, pages 2...
Christof Monz, Maarten de Rijke