The Logic of Obligation as Weakest Permission - (Short Version).

Olivier Roy Albert J. J. Anglberger Norbert Gratzl

Published in: DEON (2012)

Keyphrases

deontic logic
multi agent systems
logic programming
modal logic
classical logic
real time
proof theory
multi valued
search algorithm
automated reasoning
third party
access control
computational properties
role based access control
formal theory
abductive reasoning
natural deduction
database
delay insensitive