Sciweavers

681 search results - page 17 / 137
» Parsing as Natural Deduction
Sort
View
TALIP
2002
46views more  TALIP 2002»
14 years 9 months ago
GLR parsing with multiple grammars for natural language queries
Helen Meng, Po-Chui Luk, Kui Xu, Fuliang Weng
63
Voted
IWPC
2010
IEEE
14 years 8 months ago
Natural Language Parsing of Program Element Names for Concept Extraction
Surafel Lemma Abebe, Paolo Tonella
COLING
2000
14 years 11 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 1 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