3244 search results - page 367 / 649 » Extensions to Description Logics |
222
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We propose a method for inferring parameterized regular types for logic programs as solutions for systems of constraints over sets of finite ground Herbrand terms (set constraint s...
178
click to vote
JAPLL
2007
15 years 6 months ago
2007
History based models, introduced by Parikh and Ramanujam, provide a natural mathematical model of social interactive situations. These models offer a ”low level” description ...
189
click to vote
ICCBR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Retrieval of structured cases using similarity has been studied in CBR but there has been less activity on defining similarity on description logics (DL). In this paper w...
167
click to vote
IANDC
2010
15 years 4 months ago
2010
The paper proposes a novel analysis of quantificational subordination, e.g. Harvey courts a woman at every convention. {She is very pretty. vs. She always comes to the banquet with...
187
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
In this paper we propose an efficient unsupervised texture segmentation method. We introduce the extension of a state-of-the-art segmentation algorithm, which is exclusively based...