6618 search results - page 292 / 1324 » Natural Logic for Natural Language |
208
click to vote
AMSTERDAM
2009
15 years 4 months ago
2009
An argument by Kratzer (2000) based on Schein (1986, 1993) does not conclusively show that events and thematic roles are necessary ingredients of the logical representation of natu...
161
click to vote
CSL
2004
Springer
16 years 4 days ago
2004
Springer
In the refinement calculus, monotonic predicate transformers are used to model specifications for (imperative) programs. Together with a natural notion of simulation, they form a...
171
click to vote
IANDC
2010
15 years 4 months ago
2010
The Curry-Howard correspondence connects derivations in natural deduction with the lambdacalculus. Predicates are types, derivations are terms. This supports reasoning from assump...
207
click to vote
NLDB
2007
Springer
16 years 26 days ago
2007
Springer
Word sense disambiguation is the task to identify the intended meaning of an ambiguous word in a certain context, one of the central problems in natural language processing. This p...
169
click to vote
COLING
2008
15 years 8 months ago
2008
We present the TARSQI Toolkit (TTK), a modular system for automatic temporal and event annotation of natural language texts. TTK identifies temporal expressions and events in natu...