Valerio Genovese, Daniele Rispoli, Dov M. Gabbay, Leendert W. N. van der Torre. Modal Access Control Logic - Axiomatization, Semantics and FOL Theorem Proving. In Thomas Ågotnes, editor, STAIRS 2010 - Proceedings of the Fifth Starting AI Researchers Symposium, Lisbon, Portugal, 16-20 August, 2010. Volume 222 of Frontiers in Artificial Intelligence and Applications, pages 114-126, IOS Press, 2010. [doi]
Abstract is missing.