On Symbolic Heaps Modulo Permission Theories.
Stéphane DemriÉtienne LozesDenis LugiezPublished in: FSTTCS (2017)
Keyphrases
- access control
- third party
- symbolic description
- high level
- security policies
- symbolic representation
- computer vision
- cognitive psychology
- connectionist learning
- data sets
- symbolic reasoning
- connectionist models
- defeasible logic
- similarity measure
- case study
- website
- e learning
- artificial intelligence
- information retrieval