A Linear Logic of Authorization and Knowledge.

Deepak Garg Lujo Bauer Kevin D. Bowers Frank Pfenning Michael K. Reiter

Published in: ESORICS (2006)

Keyphrases

linear logic
domain knowledge
knowledge base
knowledge management
machine learning
access control
logic programming
post processing
fixed point