6618 search results - page 56 / 1324 » Natural Logic for Natural Language |
187
click to vote
ISMVL
1993
IEEE
15 years 10 months ago
1993
IEEE
A construction principle for natural deduction systems for arbitrary finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent...
194
click to vote
AIML
2000
15 years 7 months ago
2000
Notions of context for natural language interpretation are factored in terms of three processes: translation, entailment and attunement. The processes are linked by accessibility r...
157
click to vote
SEFM
2009
IEEE
16 years 25 days ago
2009
IEEE
Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive ontologi...
138
click to vote
ACSC
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we tackle the problem of generating natural route descriptions on the basis of input obtained from a commercially available way-finding system. Our framework and ar...