1059 search results - page 54 / 212 » Unification-Based Semantic Interpretation |
101
click to vote
ACL
1996
15 years 1 months ago
1996
We present a natural language interface system which is based entirely on trained statistical models. The system consists of three stages of processing: parsing, semantic interpre...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
We show that for Multiplicative Exponential Linear Logic (without weakenings) the syntactical equivalence relation on proofs induced by cut-elimination coincides with the semantic ...
CORR
2000
Springer
14 years 11 months ago
2000
Springer
This paper examines efficient predictive broadcoverage parsing without dynamic programming. In contrast to bottom-up methods, depth-first top-down parsing produces partial parses ...
110
click to vote
ENTCS
2002
14 years 11 months ago
2002
By using intersection types and filter models we formulate a theory of types for a -calculus with record subtyping via a finitary programming logic. Types are interpreted as space...
107
click to vote
ICTCS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...