TY  - RPRT
TI  - Distributed Autoepistemic Logic: Semantics, Complexity, and Applications to Access Control
AU  - Marcos Cramer
AU  - Pieter Van Hertum
AU  - Bart Bogaerts
AU  - Marc Denecker
PY  - 2023
UR  - https://arxiv.org/abs/2306.02774
ID  - 2306.02774
ER  -