3773 search results - page 68 / 755 » Logical Reasoning |
LOPSTR
2004
Springer
15 years 3 months ago
2004
Springer
109
click to vote
ICTAC
2005
Springer
15 years 3 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...
CL
2000
Springer
15 years 2 months ago
2000
Springer
ECAI
2006
Springer
15 years 1 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 ...
DLOG
2007
15 years 3 days ago
2007
