747 search results - page 3 / 150 » Consequence Relations In DRT |
IMCS
2007
13 years 6 months ago
2007
Purpose – This paper aims to report on the results of an analysis of the computer security problem space, to suggest the areas with highest potential for making progress in the ...
DCG
2000
13 years 6 months ago
2000
We consider rotations A, B of finite order in SO(3), about axes separated by an angle of restricted type, and attempt to classify the possible group relations between A and B. We s...
FFA
2011
13 years 1 months ago
2011
ABSTRACT. We prove the rationality of the generating function associated to the number of equivalence classes of Fqk -points of a constructible equivalence relation defined over t...
WWW
2009
ACM
14 years 7 months ago
2009
ACM
Rich media social networks promote not only creation and consumption of media, but also communication about the posted media item. What causes a conversation to be interesting, th...
MLQ
2000
13 years 6 months ago
2000
The connection between similarity logic and the theory of closure operators is examined. Indeed one proves that the consequence relation defined in [14] can be obtained by composin...