Sean Policarpio

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Ontology Evolution

Truth Maintenance Systems

Top Venues

Publications

Alessandra Mileo, Ahmed Abdelrahman, Sean Policarpio, Manfred Hauswirth
StreamRule: A Nonmonotonic Stream Reasoning System for the Semantic Web. RR (2013)
Yun Bai, Sean Policarpio
On Cloud Computing Security. WiMo/CoNeCo (2011)
Sean Policarpio, Yun Bai
An Implementation of $\mathcal{A}^{xml(T)}$ : An Answer Set Programming Based Formal Language of Authorisation for XML Documents. WiMo/CoNeCo (2011)
Sean Policarpio, Yan Zhang
A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints. Int. J. Secur. Softw. Eng. 2 (1) (2011)
Sean Policarpio, Yan Zhang
A Formal Language for Specifying Complex XML Authorisations with Temporal Constraints. Inscrypt (2009)