PrivaLog: a Privacy-aware Logic Programming Language.
Joosep JäägerAlisa PankovaPublished in: PPDP (2021)
Keyphrases
- privacy aware
- logic programming language
- logic programming
- constraint logic programming
- personal information
- inference rules
- situation calculus
- privacy preservation
- logic programs
- role based access control
- privacy policies
- location based services
- constraint solving
- query engine
- database systems
- social networking
- model checking
- knowledge base
- data model
- image sequences