3891 search results - page 114 / 779 » A logic for strategic reasoning |
157
click to vote
MLQ
2000
15 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...
177
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
Access-control policies have grown from simple matrices to non-trivial specifications written in sophisticated languages. The increasing complexity of these policies demands corres...
175
click to vote
WWW
2009
ACM
16 years 1 months ago
2009
ACM
Most of the approaches for dealing with uncertainty in the Semantic Web rely on the principle that this uncertainty is already asserted. In this paper, we propose a new approach t...
175
click to vote
SGAI
2009
Springer
15 years 11 months ago
2009
Springer
Temporality and uncertainty are important features of many real world systems. Solving problems in such systems requires the use of formal mechanism such as logic systems, statisti...
164
click to vote
AUSAI
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Description logics are powerful knowledge representation systems providing well-founded and computationally tractable classification reasoning. However recognition of in...