3 search results - page 1 / 1 » A Generalization of ACP Using Belnap's Logic |
ENTCS
2006
13 years 4 months ago
2006
ACP is combined with Belnap's four-valued logic via conditional composition (if
IJCAI
2003
13 years 5 months ago
2003
Inconsistencies frequently occur in knowledge about the real-world. Some of these inconsistencies may be more significant than others, and some knowledgebases (sets of formulae) m...
CCS
2007
ACM
13 years 10 months ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...