3773 search results - page 68 / 755 » Logical Reasoning |
212
click to vote
ICTAC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Role-based access control (RBAC) is recognized as an excellent model for access control in large-scale networked applications. Formalization of RBAC in a logical approach...
160
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Most existing work on knowledge representation and reasoning assumes that the updating of beliefs is performed off-line, and that reasoning from the beliefs is performed ...
