Obligations and permissions on selfextensional logics.
Andrea De DomenicoAli FarjamiKrishna ManoorkarAlessandra PalmigianoMattia PanettiereXiaolong WangPublished in: CoRR (2024)
Keyphrases
- access control
- expressive power
- modal logic
- deontic logic
- nonmonotonic logics
- agent architecture
- inference rules
- fine grained
- update semantics
- knowledge base
- role based access control
- propositional calculus
- databases
- privacy policies
- computational properties
- higher order
- case based reasoning
- bayesian networks
- data mining
- neural network