Obligation, Free Choice, and the Logic of Weakest Permissions.
Albert J. J. AnglbergerNorbert GratzlOlivier RoyPublished in: Rev. Symb. Log. (2015)
Keyphrases
- deontic logic
- logic programming
- classical logic
- access control
- abductive reasoning
- logical framework
- proof theory
- multi agent systems
- modal logic
- deductive reasoning
- neural network
- asynchronous circuits
- predicate logic
- digital circuits
- defeasible logic
- probabilistic logic
- automated reasoning
- web services
- artificial intelligence
- machine learning