A Symbolic Approach to Permission Accounting for Concurrent Reasoning.
Marieke HuismanWojciech MostowskiPublished in: ISPDC (2015)
Keyphrases
- symbolic reasoning
- knowledge base
- knowledge representation
- reasoning process
- qualitative reasoning
- third party
- reasoning systems
- automated reasoning
- symbolic representation
- computer algebra systems
- meta level
- neural network
- probabilistic reasoning
- access control
- security policies
- production rules
- knowledge representation and reasoning
- role based access control
- artificial intelligence