Understanding sanction under variable observability in a secure, collaborative environment
Expressing and reasoning about conflicting norms in cybersecurity
Two theses of knowledge representation: Language restrictions, taxonomic classification, and the utility of representation services
Proceedings of the 2015 Symposium and Bootcamp on the Science of Security - HotSoS ’15
Artificial Intelligence
Proceedings of the Symposium and Bootcamp on the Science of Security - HotSos ’16
Nirav Ajmeri
Munindar P. Singh
Ramesh S. Patil
Rada Y. Chirkova
Jiaming Jiang
Emily Berglund
Reasoning with spatial plans on the semantic web