3 search results - page 1 / 1 » A Generalization of ACP Using Belnap's Logic |
ENTCS
2006
13 years 11 months ago
2006
ACP is combined with Belnap's four-valued logic via conditional composition (if
IJCAI
2003
14 years 8 days 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
14 years 5 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...