Logics and Networks for Human Reasoning. - Steffen Hölldobler; Carroline Dewi Puspa Kencana Ramli (ICANN (2), 2009)

Logic Programs under Three-Valued Lukasiewicz Semantics. - Steffen Hölldobler; Carroline Dewi Puspa Kencana Ramli (ICLP, 2009)

The Logic of XACML - Extended - Carroline Dewi Puspa Kencana Ramli; Hanne Riis Nielson; Flemming Nielson (CoRR, 2011)

XACML 3.0 in Answer Set Programming. - Carroline Dewi Puspa Kencana Ramli; Hanne Riis Nielson; Flemming Nielson (LOPSTR, 2012)

The logic of XACML. - Carroline Dewi Puspa Kencana Ramli; Hanne Riis Nielson; Flemming Nielson (Sci. Comput. Program., 2014)

Detecting Incompleteness, Conflicting and Unreachability XACML Policies using Answer Set Programming. - Carroline Dewi Puspa Kencana Ramli (CoRR, 2015)

Modelling and Analysing Access Control Policies in XACML 3.0. - Carroline Dewi Puspa Kencana Ramli (2015)

A Core Method for the Weak Completion Semantics with Skeptical Abduction. - Emmanuelle-Anna Dietz Saldanha; Steffen Hölldobler; Carroline Dewi Puspa Kencana Ramli; Luis Palacios Medinacelli (J. Artif. Intell. Res., 2018)

A Core Method for the Weak Completion Semantics with Skeptical Abduction (Extended Abstract). - Emmanuelle-Anna Dietz Saldanha; Steffen Hölldobler; Carroline Dewi Puspa Kencana Ramli; Luis Palacios Medinacelli (IJCAI, 2019)