Representation and Reasoning on RBAC: A Nonmonotonic Approach.

Wei Zhang Zuoquan Lin

Published in: KSEM (2013)

Keyphrases

knowledge representation
image representation
multiple representations

truth maintenance systems
bayesian networks
modal logic

automated reasoning
knowledge base
logic programming

nonmonotonic reasoning
reasoning tasks
reasoning process