1746 search results - page 47 / 350 » A Constructive Semantics for ALC |
ACL
2001
15 years 5 months ago
2001
For ambiguous sentences, traditional semantics construction produces large numbers of higher-order formulas, which must then be -reduced individually. Underspecified versions can ...
118
click to vote
ACL
1998
15 years 5 months ago
1998
In this paper, we provide an account of how to generate sentences with coordination constructions from clause-sized semantic representations. An algorithm is developed and various...
137
click to vote
LREC
2010
15 years 5 months ago
2010
A research has been carried on and is still in progress aimed at the construction of three specialized lexicons organized as databases of relational type. The three databases cont...
122
click to vote
JOLLI
2002
15 years 3 months ago
2002
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...
127
click to vote
KDD
2001
ACM
16 years 4 months ago
2001
ACM
Many applications dealing with textual information require classification of words into semantic classes (or concepts). However, manually constructing semantic classes is a tediou...