460 search results - page 18 / 92 » On Role Logic |
DEXAW
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper presents a first step towards a security model that defines access control for logical document structures. el benefits from roles to abstract from users and from secur...
91
Voted
AAAI
2007
15 years 2 months ago
2007
When reasoning about actions and sensors in realistic domains, the ability to cope with uncertainty often plays an essential role. Among the approaches dealing with uncertainty, t...
105
Voted
CLIMA
2011
14 years 5 days ago
2011
We propose a logical framework to represent and reason about some important aspects of a theory of institutional action: (1) the distinctions between physical facts and actions and...
124
click to vote
TABLEAUX
2000
Springer
15 years 3 months ago
2000
Springer
mspass is an extension of the first-order theorem prover spass, which can be used as a modal logic theorem prover, a theorem prover for description logics and a theorem prover for ...
99
Voted
DLOG
2008
15 years 2 months ago
2008
We show that reasoning in the temporal conceptual model ERV T , a fragment of ERV T that only allows timestamping is complete for 2-ExpTime. The membership result is based on an em...