Modal Access Control Logic - Axiomatization, Semantics and FOL Theorem Proving - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Valerio Genovese' in GoogleThis author has not been identified. Look up 'Daniele Rispoli' in GoogleThis author has not been identified. Look up 'Dov M. Gabbay' in GoogleThis author has not been identified. Look up 'Leendert W. N. van der Torre' in Google

runs on WebDSL