An Exact Truthmaker Semantics for Permission and Obligation.

Albert J. J. Anglberger Federico L. G. Faroldi Johannes Korbmacher

Published in: DEON (2016)

Keyphrases

formal semantics
access control
logic programming
third party
website
semantic information
databases
keywords
expert systems
logic programs
security policies
conceptual graphs
specification language