Distributed Autoepistemic Logic: Semantics, Complexity, and Applications to Access Control.
Marcos CramerPieter Van HertumBart BogaertsMarc DeneckerPublished in: CoRR (2023)
Keyphrases
- access control
- autoepistemic logic
- default logic
- fine grained
- nonmonotonic reasoning
- default theories
- nonmonotonic logics
- data security
- logic programming
- modal logic
- dynamic access control
- logic programs
- truth maintenance systems
- minimal models
- security policies
- distributed systems
- role based access control
- model theoretic
- classical logic
- directory service
- default reasoning
- rights management
- access control models
- databases
- access control policies
- multi agent
- distributed environment
- artificial intelligence
- deductive databases
- fixed point
- database
- authentication and access control
- rbac model
- access control systems
- data model
- peer to peer
- belief revision
- incomplete information
- decision procedures
- distributed data
- formal semantics