381 search results - page 37 / 77 » Two-Variable Logic with Two Order Relations - (Extended Abst... |
117
click to vote
ICCBR
2009
Springer
14 years 11 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...
GRC
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— One of the relations used with granularity is indistinguishability, where distinguishable entities in a finer-grained granule are indistinguishable in a coarser-graine...
JOLLI
2007
15 years 1 months ago
2007
Every pregroup grammar is shown to be strongly equivalent to one which uses basic types and left and right adjoints of basic types only. Therefore a semantical interpretation is i...
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The dominance relationship between two members of the family of Sugeno Weber tnorms is proven by using a quantifer elimination algorithm. Further it is shown that dominan...
102
click to vote
AI
2008
Springer
15 years 1 months ago
2008
Springer
It is well known that classical set theory is not expressive enough to adequately model categorization and prototype theory. Recent work on compositionality and concept determinat...