6618 search results - page 143 / 1324 » Natural Logic for Natural Language |
167
click to vote
ACL
1990
15 years 7 months ago
1990
A user may typically need to combine the strengths of more than one system in order to perform a task. In this paper, we describe a component of the Janus natural language interfa...
147
click to vote
ER
2007
Springer
16 years 18 days ago
2007
Springer
This paper intends to classify, review, and compare the existing languages for the specification of spatial integrity constraints at the conceptual level. We classify these languag...
186
click to vote
ISMVL
1991
IEEE
15 years 10 months ago
1991
IEEE
We suggest a new representation of defeasible entailment and specificity in the framework of default logic. The representation is based on augmenting the underlying classical lan...
221
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Recent progress on nanodevices, such as carbon nanotubes and nanowires, points to promising directions for future circuit design. However, nanofabrication techniques are not yet m...
178
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
Lax logical relations are a categorical generalisation of logical relations; though they preserve product types, they need not preserve exponential types. But, like logical relatio...