Carroline Dewi Puspa Kencana Ramli

According to our database, Carroline Dewi Puspa Kencana Ramli authored at least 9 papers between 2009 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

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

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018

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

2015

Modelling and Analysing Access Control Policies in XACML 3.0.

Carroline Dewi Puspa Kencana Ramli

PhD thesis, 2015

Detecting Incompleteness, Conflicting and Unreachability XACML Policies using Answer Set Programming.

Carroline Dewi Puspa Kencana Ramli

CoRR, 2015

2014

The logic of XACML.

Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson

Sci. Comput. Program., 2014

2012

XACML 3.0 in Answer Set Programming.

Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson

Proceedings of the Logic-Based Program Synthesis and Transformation, 2012

2011

The Logic of XACML - Extended

Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson

CoRR, 2011

2009

Logic Programs under Three-Valued Lukasiewicz Semantics.

Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli

Proceedings of the Logic Programming, 25th International Conference, 2009

Logics and Networks for Human Reasoning.

Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli

Proceedings of the Artificial Neural Networks, 2009