Keyphrases
- logic programming
- access control
- modal logic
- predicate logic
- classical logic
- automated reasoning
- machine learning
- multi valued
- conflict resolution
- security policies
- data model
- bayesian networks
- decision trees
- genetic algorithm
- role based access control
- databases
- formal theory
- abductive reasoning
- deontic logic
- sound and complete axiomatization