An Implementation of $\mathcal{A}^{xml(T)}$ : An Answer Set Programming Based Formal Language of Authorisation for XML Documents

Sean Policarpio, Yun Bai. An Implementation of $\mathcal{A}^{xml(T)}$ : An Answer Set Programming Based Formal Language of Authorisation for XML Documents. In Abdulkadir Özcan, Jan Zizka, Dhinaharan Nagamalai, editors, Recent Trends in Wireless and Mobile Networks - Third International Conferences, WiMo 2011 and CoNeCo 2011, Ankara, Turkey, June 26-28, 2011. Proceedings. Volume 162 of Communications in Computer and Information Science, pages 378-387, Springer, 2011. [doi]

Abstract

Abstract is missing.