6618 search results - page 1 / 1324 » Natural Logic for Natural Language |
TBILLC
2005
Springer
13 years 10 months ago
2005
Springer
We implement the extension of the logical consequence relation to a partial order ≤ on arbitary types built from e (entities) and t (Booleans) that was given in [1], and the deï...
AIML
2008
13 years 6 months ago
2008
Most temporal logics, particularly interval temporal logics, are not expressive enough to capture meanings of natural language constructions, and they are not convenient to represe...
JOLLI
2006
13 years 4 months ago
2006
This paper develops an inference system for natural language within the `Natural Logic' paradigm as advocated by Van Benthem [11], S
ENTCS
2006
13 years 4 months ago
2006
The advent of proof-carrying code has generated significant interest in reasoning about low-level languages. It is widely believed that low-level languages with jumps must be diff...
TBILLC
2007
Springer
13 years 11 months ago
2007
Springer